maximize 
objective: + 736x1 + 911x2 + 946x3 + 753x4 + 668x5 + 828x6 + 934x7 + 522x8 + 938x9 + 743x10 + 725x11 + 900x12 + 865x13 + 686x14 + 650x15 + 1102x16 + 902x17 + 850x18 + 1024x19 + 897x20 + 986x21 + 631x22 + 885x23 + 863x24 + 1001x25 + 512x26 + 633x27 + 697x28 + 920x29 + 790x30 + 651x31 + 877x32 + 746x33 + 477x34 + 465x35 + 745x36 + 949x37 + 723x38 + 813x39 + 530x40 + 743x41 + 860x42 + 882x43 + 985x44 + 566x45 + 1022x46 + 895x47 + 686x48 + 515x49 + 775x50 + 603x51 + 961x52 + 632x53 + 948x54 + 883x55 + 766x56 + 863x57 + 591x58 + 662x59 + 997x60 + 670x61 + 807x62 + 855x63 + 782x64 + 698x65 + 889x66 + 795x67 + 566x68 + 788x69 + 844x70 + 871x71 + 907x72 + 845x73 + 676x74 + 792x75 + 850x76 + 929x77 + 483x78 + 762x79 + 1011x80 + 940x81 + 666x82 + 761x83 + 861x84 + 506x85 + 798x86 + 963x87 + 1022x88 + 1051x89 + 967x90 + 644x91 + 601x92 + 571x93 + 563x94 + 742x95 + 741x96 + 770x97 + 636x98 + 726x99 + 665x100 + 476x101 + 999x102 + 610x103 + 834x104 + 1007x105 + 585x106 + 727x107 + 795x108 + 972x109 + 653x110 + 565x111 + 843x112 + 951x113 + 462x114 + 900x115 + 839x116 + 653x117 + 729x118 + 502x119 + 954x120 + 763x121 + 1012x122 + 554x123 + 543x124 + 816x125 + 621x126 + 920x127 + 635x128 + 490x129 + 799x130 + 635x131 + 754x132 + 616x133 + 581x134 + 646x135 + 725x136 + 907x137 + 628x138 + 610x139 + 716x140 + 780x141 + 592x142 + 522x143 + 590x144 + 1105x145 + 987x146 + 683x147 + 674x148 + 973x149 + 562x150 + 1005x151 + 576x152 + 674x153 + 821x154 + 883x155 + 675x156 + 912x157 + 1063x158 + 730x159 + 779x160 + 912x161 + 728x162 + 864x163 + 594x164 + 849x165 + 1038x166 + 686x167 + 942x168 + 792x169 + 577x170 + 680x171 + 462x172 + 960x173 + 548x174 + 811x175 + 570x176 + 817x177 + 592x178 + 713x179 + 600x180 + 896x181 + 859x182 + 1024x183 + 603x184 + 988x185 + 623x186 + 472x187 + 634x188 + 755x189 + 806x190 + 503x191 + 581x192 + 955x193 + 788x194 + 831x195 + 505x196 + 646x197 + 906x198 + 763x199 + 841x200 + 1024x201 + 655x202 + 781x203 + 963x204 + 676x205 + 604x206 + 851x207 + 582x208 + 660x209 + 586x210 + 558x211 + 562x212 + 484x213 + 769x214 + 768x215 + 976x216 + 683x217 + 725x218 + 946x219 + 797x220 + 612x221 + 770x222 + 542x223 + 555x224 + 752x225 + 888x226 + 571x227 + 530x228 + 554x229 + 629x230 + 1015x231 + 645x232 + 465x233 + 759x234 + 972x235 + 949x236 + 695x237 + 672x238 + 844x239 + 642x240 + 887x241 + 917x242 + 685x243 + 926x244 + 794x245 + 697x246 + 684x247 + 690x248 + 786x249 + 560x250 
subject to 
constr1: + 906x1 + 300x2 + 276x3 + 764x4 + 669x5 + 269x6 + 174x7 + 200x8 + 301x9 + 304x10 + 541x11 + 194x12 + 894x13 + 880x14 + 20x15 + 880x16 + 230x17 + 156x18 + 885x19 + 244x20 + 320x21 + 904x22 + 545x23 + 265x24 + 64x25 + 148x26 + 939x27 + 653x28 + 674x29 + 815x30 + 999x31 + 259x32 + 537x33 + 217x34 + 334x35 + 525x36 + 208x37 + 787x38 + 166x39 + 524x40 + 778x41 + 319x42 + 515x43 + 951x44 + 395x45 + 447x46 + 129x47 + 237x48 + 658x49 + 631x50 + 684x51 + 835x52 + 973x53 + 57x54 + 621x55 + 764x56 + 251x57 + 500x58 + 878x59 + 19x60 + 991x61 + 468x62 + 679x63 + 225x64 + 898x65 + 920x66 + 488x67 + 688x68 + 357x69 + 110x70 + 725x71 + 748x72 + 177x73 + 822x74 + 688x75 + 68x76 + 758x77 + 665x78 + 258x79 + 603x80 + 469x81 + 200x82 + 456x83 + 639x84 + 183x85 + 652x86 + 357x87 + 503x88 + 810x89 + 528x90 + 338x91 + 644x92 + 487x93 + 48x94 + 872x95 + 542x96 + 565x97 + 305x98 + 290x99 + 339x100 + 187x101 + 149x102 + 203x103 + 840x104 + 943x105 + 349x106 + 547x107 + 152x108 + 601x109 + 533x110 + 369x111 + 524x112 + 863x113 + 6x114 + 199x115 + 360x116 + 223x117 + 190x118 + 591x119 + 178x120 + 734x121 + 632x122 + 105x123 + 673x124 + 363x125 + 531x126 + 874x127 + 633x128 + 131x129 + 299x130 + 420x131 + 408x132 + 402x133 + 930x134 + 696x135 + 992x136 + 150x137 + 628x138 + 940x139 + 418x140 + 708x141 + 701x142 + 396x143 + 535x144 + 127x145 + 226x146 + 737x147 + 615x148 + 996x149 + 218x150 + 909x151 + 941x152 + 334x153 + 707x154 + 90x155 + 856x156 + 987x157 + 5x158 + 493x159 + 74x160 + 507x161 + 863x162 + 614x163 + 358x164 + 875x165 + 587x166 + 508x167 + 316x168 + 582x169 + 954x170 + 306x171 + 157x172 + 798x173 + 694x174 + 716x175 + 789x176 + 29x177 + 68x178 + 24x179 + 18x180 + 111x181 + 998x182 + 333x183 + 633x184 + 939x185 + 146x186 + 261x187 + 251x188 + 429x189 + 437x190 + 209x191 + 434x192 + 389x193 + 149x194 + 968x195 + 494x196 + 182x197 + 672x198 + 919x199 + 381x200 + 878x201 + 352x202 + 679x203 + 190x204 + 991x205 + 459x206 + 450x207 + 732x208 + 426x209 + 468x210 + 67x211 + 27x212 + 575x213 + 603x214 + 400x215 + 548x216 + 428x217 + 373x218 + 481x219 + 521x220 + 628x221 + 444x222 + 782x223 + 199x224 + 258x225 + 108x226 + 474x227 + 422x228 + 761x229 + 851x230 + 953x231 + 674x232 + 158x233 + 878x234 + 450x235 + 951x236 + 576x237 + 514x238 + 460x239 + 430x240 + 189x241 + 89x242 + 538x243 + 169x244 + 796x245 + 289x246 + 622x247 + 904x248 + 466x249 + 308x250 <=61942 
constr2: + 672x1 + 330x2 + 917x3 + 521x4 + 179x5 + 315x6 + 378x7 + 957x8 + 179x9 + 360x10 + 991x11 + 434x12 + 73x13 + 675x14 + 863x15 + 315x16 + 138x17 + 174x18 + 473x19 + 564x20 + 819x21 + 401x22 + 743x23 + 932x24 + 397x25 + 45x26 + 351x27 + 192x28 + 720x29 + 140x30 + 268x31 + 134x32 + 648x33 + 718x34 + 874x35 + 46x36 + 810x37 + 645x38 + 564x39 + 640x40 + 261x41 + 291x42 + 181x43 + 613x44 + 793x45 + 552x46 + 984x47 + 480x48 + 552x49 + 669x50 + 72x51 + 425x52 + 575x53 + 927x54 + 759x55 + 189x56 + 731x57 + 93x58 + 752x59 + 23x60 + 388x61 + 385x62 + 67x63 + 764x64 + 50x65 + 30x66 + 171x67 + 505x68 + 129x69 + 45x70 + 416x71 + 133x72 + 719x73 + 807x74 + 509x75 + 462x76 + 759x77 + 857x78 + 762x79 + 685x80 + 397x81 + 83x82 + 632x83 + 256x84 + 520x85 + 136x86 + 766x87 + 851x88 + 758x89 + 291x90 + 909x91 + 214x92 + 67x93 + 453x94 + 878x95 + 909x96 + 111x97 + 680x98 + 415x99 + 802x100 + 266x101 + 523x102 + 551x103 + 907x104 + 680x105 + 36x106 + 855x107 + 163x108 + 669x109 + 671x110 + 756x111 + 737x112 + 503x113 + 833x114 + 110x115 + 938x116 + 422x117 + 914x118 + 3x119 + 871x120 + 748x121 + 686x122 + 137x123 + 7x124 + 405x125 + 850x126 + 805x127 + 778x128 + 957x129 + 158x130 + 382x131 + 955x132 + 323x133 + 312x134 + 672x135 + 467x136 + 98x137 + 250x138 + 266x139 + 85x140 + 657x141 + 457x142 + 311x143 + 245x144 + 991x145 + 709x146 + 100x147 + 159x148 + 489x149 + 839x150 + 334x151 + 233x152 + 103x153 + 934x154 + 681x155 + 824x156 + 562x157 + 303x158 + 201x159 + 539x160 + 5x161 + 255x162 + 249x163 + 626x164 + 686x165 + 562x166 + 964x167 + 277x168 + 819x169 + 186x170 + 654x171 + 403x172 + 605x173 + 903x174 + 554x175 + 9x176 + 877x177 + 41x178 + 362x179 + 254x180 + 441x181 + 173x182 + 336x183 + 720x184 + 581x185 + 459x186 + 192x187 + 434x188 + 369x189 + 460x190 + 969x191 + 464x192 + 103x193 + 604x194 + 895x195 + 824x196 + 641x197 + 883x198 + 698x199 + 600x200 + 980x201 + 491x202 + 172x203 + 14x204 + 599x205 + 153x206 + 165x207 + 164x208 + 2x209 + 995x210 + 359x211 + 977x212 + 206x213 + 870x214 + 672x215 + 310x216 + 768x217 + 61x218 + 483x219 + 20x220 + 172x221 + 425x222 + 30x223 + 480x224 + 619x225 + 907x226 + 297x227 + 508x228 + 757x229 + 338x230 + 931x231 + 197x232 + 150x233 + 813x234 + 299x235 + 390x236 + 472x237 + 503x238 + 609x239 + 39x240 + 100x241 + 813x242 + 651x243 + 189x244 + 223x245 + 569x246 + 791x247 + 776x248 + 606x249 + 309x250 <=60635 
constr3: + 308x1 + 879x2 + 290x3 + 222x4 + 623x5 + 84x6 + 585x7 + 406x8 + 902x9 + 215x10 + 811x11 + 679x12 + 965x13 + 323x14 + 415x15 + 944x16 + 756x17 + 883x18 + 32x19 + 242x20 + 597x21 + 994x22 + 428x23 + 271x24 + 271x25 + 101x26 + 606x27 + 903x28 + 388x29 + 625x30 + 400x31 + 377x32 + 283x33 + 187x34 + 18x35 + 636x36 + 772x37 + 36x38 + 89x39 + 716x40 + 558x41 + 129x42 + 553x43 + 347x44 + 427x45 + 500x46 + 528x47 + 676x48 + 126x49 + 260x50 + 527x51 + 344x52 + 698x53 + 653x54 + 442x55 + 519x56 + 882x57 + 639x58 + 746x59 + 886x60 + 248x61 + 623x62 + 582x63 + 979x64 + 726x65 + 768x66 + 862x67 + 298x68 + 518x69 + 55x70 + 347x71 + 221x72 + 514x73 + 81x74 + 712x75 + 4x76 + 491x77 + 278x78 + 65x79 + 178x80 + 930x81 + 634x82 + 253x83 + 939x84 + 727x85 + 903x86 + 885x87 + 711x88 + 317x89 + 772x90 + 706x91 + 760x92 + 938x93 + 339x94 + 872x95 + 203x96 + 128x97 + 557x98 + 69x99 + 136x100 + 221x101 + 662x102 + 167x103 + 913x104 + 186x105 + 249x106 + 992x107 + 700x108 + 349x109 + 169x110 + 426x111 + 385x112 + 623x113 + 301x114 + 178x115 + 146x116 + 821x117 + 361x118 + 863x119 + 141x120 + 111x121 + 419x122 + 832x123 + 220x124 + 275x125 + 300x126 + 118x127 + 903x128 + 838x129 + 907x130 + 862x131 + 462x132 + 256x133 + 873x134 + 717x135 + 88x136 + 157x137 + 223x138 + 73x139 + 242x140 + 746x141 + 487x142 + 675x143 + 840x144 + 757x145 + 132x146 + 246x147 + 5x148 + 595x149 + 674x150 + 839x151 + 875x152 + 897x153 + 845x154 + 906x155 + 882x156 + 394x157 + 300x158 + 64x159 + 8x160 + 451x161 + 282x162 + 674x163 + 44x164 + 319x165 + 431x166 + 756x167 + 347x168 + 947x169 + 243x170 + 378x171 + 358x172 + 209x173 + 38x174 + 932x175 + 162x176 + 125x177 + 416x178 + 913x179 + 781x180 + 522x181 + 756x182 + 637x183 + 817x184 + 10x185 + 962x186 + 457x187 + 354x188 + 983x189 + 393x190 + 510x191 + 55x192 + 420x193 + 25x194 + 450x195 + 107x196 + 587x197 + 418x198 + 638x199 + 896x200 + 709x201 + 894x202 + 773x203 + 464x204 + 283x205 + 127x206 + 445x207 + 500x208 + 383x209 + 88x210 + 75x211 + 657x212 + 321x213 + 244x214 + 672x215 + 709x216 + 722x217 + 562x218 + 222x219 + 860x220 + 747x221 + 899x222 + 80x223 + 115x224 + 603x225 + 361x226 + 340x227 + 561x228 + 91x229 + 567x230 + 610x231 + 481x232 + 994x233 + 408x234 + 401x235 + 433x236 + 599x237 + 321x238 + 286x239 + 615x240 + 121x241 + 430x242 + 372x243 + 504x244 + 264x245 + 813x246 + 954x247 + 64x248 + 402x249 + 316x250 <=60596 
constr4: + 447x1 + 153x2 + 941x3 + 403x4 + 830x5 + 100x6 + 560x7 + 162x8 + 937x9 + 8x10 + 343x11 + 953x12 + 975x13 + 685x14 + 594x15 + 897x16 + 78x17 + 824x18 + 37x19 + 453x20 + 887x21 + 572x22 + 334x23 + 368x24 + 419x25 + 188x26 + 408x27 + 629x28 + 617x29 + 771x30 + 657x31 + 777x32 + 821x33 + 136x34 + 838x35 + 985x36 + 103x37 + 226x38 + 250x39 + 179x40 + 881x41 + 271x42 + 712x43 + 374x44 + 399x45 + 165x46 + 862x47 + 120x48 + 363x49 + 653x50 + 30x51 + 851x52 + 807x53 + 738x54 + 947x55 + 711x56 + 810x57 + 189x58 + 360x59 + 893x60 + 623x61 + 485x62 + 960x63 + 145x64 + 776x65 + 401x66 + 29x67 + 221x68 + 373x69 + 550x70 + 801x71 + 277x72 + 716x73 + 327x74 + 278x75 + 127x76 + 672x77 + 879x78 + 158x79 + 950x80 + 562x81 + 856x82 + 561x83 + 875x84 + 664x85 + 89x86 + 290x87 + 914x88 + 112x89 + 513x90 + 513x91 + 765x92 + 522x93 + 238x94 + 718x95 + 499x96 + 720x97 + 996x98 + 890x99 + 719x100 + 935x101 + 662x102 + 974x103 + 968x104 + 34x105 + 374x106 + 976x107 + 539x108 + 875x109 + 861x110 + 937x111 + 907x112 + 953x113 + 593x114 + 631x115 + 612x116 + 968x117 + 137x118 + 91x119 + 314x120 + 868x121 + 553x122 + 42x123 + 972x124 + 531x125 + 598x126 + 740x127 + 264x128 + 37x129 + 961x130 + 46x131 + 582x132 + 748x133 + 532x134 + 1000x135 + 411x136 + 99x137 + 302x138 + 990x139 + 204x140 + 289x141 + 982x142 + 359x143 + 390x144 + 258x145 + 480x146 + 791x147 + 415x148 + 825x149 + 3x150 + 781x151 + 359x152 + 599x153 + 694x154 + 908x155 + 204x156 + 154x157 + 206x158 + 1x159 + 816x160 + 319x161 + 185x162 + 977x163 + 178x164 + 294x165 + 895x166 + 976x167 + 880x168 + 687x169 + 454x170 + 57x171 + 671x172 + 944x173 + 418x174 + 985x175 + 912x176 + 475x177 + 518x178 + 378x179 + 667x180 + 393x181 + 805x182 + 656x183 + 144x184 + 802x185 + 239x186 + 622x187 + 178x188 + 256x189 + 773x190 + 646x191 + 106x192 + 670x193 + 83x194 + 642x195 + 605x196 + 947x197 + 327x198 + 933x199 + 292x200 + 246x201 + 862x202 + 464x203 + 295x204 + 537x205 + 417x206 + 774x207 + 401x208 + 278x209 + 466x210 + 47x211 + 250x212 + 498x213 + 577x214 + 717x215 + 415x216 + 715x217 + 180x218 + 712x219 + 345x220 + 827x221 + 82x222 + 986x223 + 735x224 + 402x225 + 991x226 + 321x227 + 525x228 + 212x229 + 245x230 + 304x231 + 914x232 + 272x233 + 246x234 + 516x235 + 690x236 + 356x237 + 300x238 + 391x239 + 664x240 + 849x241 + 4x242 + 935x243 + 770x244 + 786x245 + 350x246 + 363x247 + 257x248 + 19x249 + 966x250 <=66622 
constr5: + 27x1 + 719x2 + 220x3 + 991x4 + 501x5 + 951x6 + 34x7 + 933x8 + 79x9 + 795x10 + 882x11 + 831x12 + 456x13 + 960x14 + 700x15 + 782x16 + 68x17 + 201x18 + 281x19 + 457x20 + 131x21 + 87x22 + 117x23 + 268x24 + 265x25 + 867x26 + 498x27 + 764x28 + 163x29 + 409x30 + 138x31 + 267x32 + 198x33 + 509x34 + 75x35 + 428x36 + 72x37 + 114x38 + 368x39 + 621x40 + 763x41 + 70x42 + 643x43 + 647x44 + 925x45 + 455x46 + 676x47 + 335x48 + 993x49 + 436x50 + 16x51 + 354x52 + 459x53 + 539x54 + 914x55 + 546x56 + 277x57 + 214x58 + 234x59 + 995x60 + 316x61 + 789x62 + 241x63 + 373x64 + 874x65 + 954x66 + 464x67 + 159x68 + 746x69 + 231x70 + 338x71 + 991x72 + 774x73 + 503x74 + 8x75 + 788x76 + 112x77 + 607x78 + 855x79 + 456x80 + 250x81 + 266x82 + 929x83 + 526x84 + 6x85 + 167x86 + 120x87 + 887x88 + 996x89 + 212x90 + 955x91 + 828x92 + 727x93 + 358x94 + 470x95 + 867x96 + 254x97 + 327x98 + 746x99 + 954x100 + 972x101 + 191x102 + 466x103 + 900x104 + 527x105 + 510x106 + 385x107 + 958x108 + 888x109 + 735x110 + 868x111 + 153x112 + 815x113 + 596x114 + 444x115 + 45x116 + 572x117 + 65x118 + 823x119 + 490x120 + 765x121 + 754x122 + 211x123 + 350x124 + 467x125 + 28x126 + 642x127 + 949x128 + 91x129 + 628x130 + 411x131 + 491x132 + 901x133 + 761x134 + 174x135 + 659x136 + 758x137 + 3x138 + 6x139 + 862x140 + 758x141 + 808x142 + 789x143 + 890x144 + 913x145 + 290x146 + 344x147 + 128x148 + 358x149 + 442x150 + 319x151 + 11x152 + 945x153 + 539x154 + 915x155 + 721x156 + 8x157 + 54x158 + 620x159 + 43x160 + 152x161 + 121x162 + 306x163 + 220x164 + 318x165 + 822x166 + 632x167 + 268x168 + 220x169 + 157x170 + 159x171 + 114x172 + 393x173 + 905x174 + 200x175 + 819x176 + 623x177 + 11x178 + 7x179 + 989x180 + 499x181 + 153x182 + 880x183 + 562x184 + 911x185 + 221x186 + 339x187 + 173x188 + 455x189 + 877x190 + 710x191 + 797x192 + 758x193 + 333x194 + 871x195 + 893x196 + 174x197 + 438x198 + 750x199 + 183x200 + 681x201 + 645x202 + 332x203 + 564x204 + 402x205 + 756x206 + 894x207 + 13x208 + 274x209 + 153x210 + 704x211 + 686x212 + 532x213 + 400x214 + 58x215 + 175x216 + 896x217 + 488x218 + 810x219 + 242x220 + 616x221 + 513x222 + 191x223 + 244x224 + 12x225 + 289x226 + 137x227 + 404x228 + 589x229 + 17x230 + 881x231 + 549x232 + 763x233 + 170x234 + 533x235 + 203x236 + 24x237 + 967x238 + 408x239 + 767x240 + 977x241 + 369x242 + 762x243 + 882x244 + 392x245 + 797x246 + 540x247 + 107x248 + 843x249 + 62x250 <=61239 
constr6: + 554x1 + 305x2 + 465x3 + 393x4 + 87x5 + 175x6 + 338x7 + 45x8 + 266x9 + 114x10 + 852x11 + 614x12 + 658x13 + 964x14 + 341x15 + 934x16 + 130x17 + 23x18 + 667x19 + 258x20 + 484x21 + 832x22 + 165x23 + 350x24 + 871x25 + 241x26 + 952x27 + 840x28 + 832x29 + 300x30 + 552x31 + 621x32 + 386x33 + 40x34 + 613x35 + 830x36 + 630x37 + 766x38 + 873x39 + 152x40 + 472x41 + 64x42 + 650x43 + 630x44 + 615x45 + 182x46 + 300x47 + 399x48 + 154x49 + 160x50 + 444x51 + 535x52 + 843x53 + 115x54 + 53x55 + 510x56 + 77x57 + 571x58 + 251x59 + 907x60 + 109x61 + 620x62 + 304x63 + 878x64 + 714x65 + 969x66 + 369x67 + 248x68 + 27x69 + 185x70 + 376x71 + 891x72 + 637x73 + 525x74 + 608x75 + 417x76 + 337x77 + 482x78 + 618x79 + 757x80 + 927x81 + 518x82 + 331x83 + 276x84 + 181x85 + 741x86 + 105x87 + 530x88 + 790x89 + 681x90 + 497x91 + 252x92 + 522x93 + 154x94 + 234x95 + 808x96 + 73x97 + 915x98 + 679x99 + 950x100 + 232x101 + 521x102 + 856x103 + 342x104 + 927x105 + 145x106 + 749x107 + 902x108 + 616x109 + 992x110 + 519x111 + 234x112 + 128x113 + 842x114 + 6x115 + 378x116 + 474x117 + 295x118 + 874x119 + 353x120 + 472x121 + 521x122 + 763x123 + 11x124 + 737x125 + 679x126 + 423x127 + 653x128 + 57x129 + 542x130 + 887x131 + 425x132 + 171x133 + 84x134 + 872x135 + 80x136 + 175x137 + 108x138 + 266x139 + 662x140 + 916x141 + 369x142 + 546x143 + 84x144 + 564x145 + 179x146 + 16x147 + 616x148 + 834x149 + 282x150 + 928x151 + 189x152 + 20x153 + 813x154 + 592x155 + 202x156 + 624x157 + 657x158 + 342x159 + 610x160 + 152x161 + 819x162 + 808x163 + 505x164 + 982x165 + 340x166 + 232x167 + 946x168 + 733x169 + 207x170 + 518x171 + 921x172 + 517x173 + 187x174 + 27x175 + 524x176 + 868x177 + 185x178 + 374x179 + 879x180 + 653x181 + 661x182 + 385x183 + 507x184 + 850x185 + 348x186 + 161x187 + 487x188 + 265x189 + 10x190 + 944x191 + 450x192 + 904x193 + 16x194 + 122x195 + 134x196 + 775x197 + 744x198 + 601x199 + 740x200 + 154x201 + 769x202 + 497x203 + 782x204 + 835x205 + 176x206 + 307x207 + 801x208 + 801x209 + 284x210 + 730x211 + 703x212 + 67x213 + 80x214 + 384x215 + 742x216 + 42x217 + 759x218 + 349x219 + 642x220 + 250x221 + 113x222 + 732x223 + 899x224 + 519x225 + 15x226 + 446x227 + 439x228 + 175x229 + 136x230 + 891x231 + 597x232 + 508x233 + 193x234 + 900x235 + 462x236 + 333x237 + 55x238 + 282x239 + 428x240 + 945x241 + 277x242 + 132x243 + 272x244 + 883x245 + 411x246 + 378x247 + 892x248 + 732x249 + 748x250 <=60232 
constr7: + 133x1 + 93x2 + 612x3 + 494x4 + 995x5 + 486x6 + 262x7 + 999x8 + 563x9 + 893x10 + 478x11 + 884x12 + 565x13 + 78x14 + 764x15 + 721x16 + 591x17 + 825x18 + 685x19 + 1000x20 + 630x21 + 645x22 + 781x23 + 730x24 + 99x25 + 881x26 + 191x27 + 678x28 + 73x29 + 686x30 + 184x31 + 325x32 + 960x33 + 910x34 + 895x35 + 441x36 + 804x37 + 467x38 + 222x39 + 688x40 + 122x41 + 615x42 + 261x43 + 973x44 + 103x45 + 847x46 + 482x47 + 665x48 + 65x49 + 383x50 + 770x51 + 571x52 + 122x53 + 259x54 + 78x55 + 53x56 + 479x57 + 707x58 + 750x59 + 130x60 + 261x61 + 348x62 + 486x63 + 336x64 + 911x65 + 278x66 + 851x67 + 858x68 + 319x69 + 361x70 + 685x71 + 947x72 + 778x73 + 374x74 + 306x75 + 145x76 + 306x77 + 224x78 + 814x79 + 639x80 + 986x81 + 223x82 + 675x83 + 857x84 + 467x85 + 504x86 + 498x87 + 261x88 + 129x89 + 573x90 + 367x91 + 470x92 + 981x93 + 901x94 + 390x95 + 167x96 + 1x97 + 724x98 + 441x99 + 642x100 + 645x101 + 721x102 + 924x103 + 406x104 + 516x105 + 514x106 + 838x107 + 530x108 + 989x109 + 864x110 + 503x111 + 565x112 + 723x113 + 154x114 + 538x115 + 560x116 + 771x117 + 945x118 + 530x119 + 370x120 + 233x121 + 184x122 + 988x123 + 554x124 + 825x125 + 330x126 + 168x127 + 810x128 + 414x129 + 497x130 + 135x131 + 912x132 + 277x133 + 59x134 + 411x135 + 3x136 + 255x137 + 331x138 + 361x139 + 15x140 + 521x141 + 384x142 + 191x143 + 969x144 + 739x145 + 23x146 + 165x147 + 378x148 + 82x149 + 113x150 + 326x151 + 772x152 + 445x153 + 356x154 + 371x155 + 230x156 + 706x157 + 419x158 + 988x159 + 559x160 + 199x161 + 421x162 + 613x163 + 172x164 + 424x165 + 918x166 + 906x167 + 49x168 + 619x169 + 464x170 + 819x171 + 105x172 + 821x173 + 199x174 + 341x175 + 685x176 + 738x177 + 631x178 + 342x179 + 694x180 + 71x181 + 566x182 + 790x183 + 164x184 + 824x185 + 321x186 + 950x187 + 498x188 + 16x189 + 911x190 + 378x191 + 16x192 + 643x193 + 200x194 + 533x195 + 918x196 + 149x197 + 643x198 + 297x199 + 392x200 + 865x201 + 202x202 + 668x203 + 598x204 + 825x205 + 687x206 + 241x207 + 385x208 + 521x209 + 890x210 + 595x211 + 581x212 + 122x213 + 593x214 + 258x215 + 544x216 + 823x217 + 422x218 + 899x219 + 351x220 + 233x221 + 120x222 + 457x223 + 155x224 + 899x225 + 185x226 + 526x227 + 566x228 + 461x229 + 2x230 + 64x231 + 952x232 + 649x233 + 713x234 + 803x235 + 144x236 + 486x237 + 21x238 + 842x239 + 507x240 + 360x241 + 592x242 + 661x243 + 797x244 + 476x245 + 282x246 + 890x247 + 754x248 + 68x249 + 884x250 <=63247 
constr8: + 371x1 + 932x2 + 624x3 + 547x4 + 171x5 + 186x6 + 518x7 + 609x8 + 736x9 + 221x10 + 527x11 + 331x12 + 47x13 + 722x14 + 561x15 + 276x16 + 866x17 + 150x18 + 380x19 + 108x20 + 618x21 + 100x22 + 390x23 + 408x24 + 557x25 + 328x26 + 388x27 + 448x28 + 205x29 + 705x30 + 887x31 + 579x32 + 727x33 + 609x34 + 930x35 + 499x36 + 358x37 + 228x38 + 525x39 + 352x40 + 211x41 + 209x42 + 691x43 + 461x44 + 677x45 + 764x46 + 596x47 + 588x48 + 472x49 + 944x50 + 26x51 + 114x52 + 471x53 + 285x54 + 451x55 + 123x56 + 433x57 + 844x58 + 363x59 + 172x60 + 549x61 + 614x62 + 935x63 + 258x64 + 837x65 + 438x66 + 289x67 + 774x68 + 916x69 + 170x70 + 807x71 + 405x72 + 46x73 + 548x74 + 922x75 + 721x76 + 516x77 + 216x78 + 447x79 + 457x80 + 212x81 + 542x82 + 32x83 + 240x84 + 363x85 + 21x86 + 784x87 + 705x88 + 258x89 + 403x90 + 992x91 + 30x92 + 393x93 + 535x94 + 876x95 + 19x96 + 782x97 + 395x98 + 781x99 + 205x100 + 403x101 + 970x102 + 956x103 + 641x104 + 11x105 + 173x106 + 668x107 + 702x108 + 179x109 + 285x110 + 908x111 + 570x112 + 656x113 + 416x114 + 791x115 + 414x116 + 380x117 + 268x118 + 260x119 + 465x120 + 672x121 + 357x122 + 420x123 + 397x124 + 800x125 + 62x126 + 471x127 + 675x128 + 850x129 + 216x130 + 341x131 + 583x132 + 900x133 + 430x134 + 661x135 + 348x136 + 384x137 + 245x138 + 463x139 + 261x140 + 177x141 + 252x142 + 243x143 + 264x144 + 346x145 + 495x146 + 478x147 + 827x148 + 667x149 + 362x150 + 224x151 + 364x152 + 59x153 + 440x154 + 270x155 + 378x156 + 196x157 + 162x158 + 951x159 + 85x160 + 841x161 + 22x162 + 385x163 + 502x164 + 152x165 + 885x166 + 850x167 + 389x168 + 423x169 + 610x170 + 94x171 + 518x172 + 80x173 + 467x174 + 347x175 + 755x176 + 804x177 + 393x178 + 53x179 + 937x180 + 264x181 + 712x182 + 651x183 + 242x184 + 779x185 + 78x186 + 486x187 + 805x188 + 595x189 + 803x190 + 645x191 + 287x192 + 995x193 + 620x194 + 418x195 + 47x196 + 493x197 + 47x198 + 81x199 + 813x200 + 822x201 + 806x202 + 894x203 + 321x204 + 118x205 + 820x206 + 52x207 + 371x208 + 524x209 + 648x210 + 797x211 + 461x212 + 572x213 + 29x214 + 917x215 + 818x216 + 168x217 + 685x218 + 333x219 + 309x220 + 375x221 + 97x222 + 584x223 + 434x224 + 63x225 + 578x226 + 727x227 + 37x228 + 852x229 + 396x230 + 85x231 + 548x232 + 558x233 + 56x234 + 753x235 + 317x236 + 812x237 + 805x238 + 591x239 + 855x240 + 747x241 + 787x242 + 470x243 + 618x244 + 277x245 + 96x246 + 103x247 + 693x248 + 769x249 + 63x250 <=58962 
constr9: + 554x1 + 787x2 + 502x3 + 924x4 + 737x5 + 325x6 + 7x7 + 616x8 + 849x9 + 86x10 + 981x11 + 252x12 + 987x13 + 97x14 + 48x15 + 808x16 + 343x17 + 115x18 + 579x19 + 760x20 + 363x21 + 64x22 + 386x23 + 491x24 + 687x25 + 886x26 + 732x27 + 771x28 + 920x29 + 347x30 + 408x31 + 3x32 + 214x33 + 863x34 + 305x35 + 5x36 + 935x37 + 641x38 + 530x39 + 143x40 + 407x41 + 307x42 + 296x43 + 8x44 + 853x45 + 685x46 + 682x47 + 430x48 + 119x49 + 355x50 + 889x51 + 21x52 + 169x53 + 501x54 + 399x55 + 662x56 + 544x57 + 10x58 + 881x59 + 214x60 + 481x61 + 907x62 + 812x63 + 986x64 + 696x65 + 425x66 + 472x67 + 363x68 + 714x69 + 942x70 + 7x71 + 21x72 + 41x73 + 308x74 + 269x75 + 127x76 + 147x77 + 344x78 + 597x79 + 746x80 + 553x81 + 940x82 + 879x83 + 298x84 + 512x85 + 15x86 + 187x87 + 894x88 + 226x89 + 461x90 + 492x91 + 191x92 + 138x93 + 383x94 + 756x95 + 178x96 + 97x97 + 392x98 + 748x99 + 630x100 + 11x101 + 668x102 + 864x103 + 340x104 + 176x105 + 192x106 + 964x107 + 145x108 + 732x109 + 522x110 + 137x111 + 269x112 + 206x113 + 39x114 + 973x115 + 376x116 + 761x117 + 638x118 + 126x119 + 698x120 + 164x121 + 512x122 + 693x123 + 776x124 + 801x125 + 892x126 + 922x127 + 205x128 + 136x129 + 645x130 + 307x131 + 206x132 + 393x133 + 138x134 + 196x135 + 571x136 + 788x137 + 632x138 + 341x139 + 670x140 + 176x141 + 314x142 + 158x143 + 965x144 + 653x145 + 316x146 + 259x147 + 576x148 + 987x149 + 746x150 + 568x151 + 578x152 + 111x153 + 395x154 + 971x155 + 575x156 + 624x157 + 973x158 + 36x159 + 842x160 + 245x161 + 631x162 + 78x163 + 867x164 + 669x165 + 321x166 + 378x167 + 178x168 + 636x169 + 492x170 + 415x171 + 846x172 + 448x173 + 393x174 + 956x175 + 492x176 + 487x177 + 930x178 + 113x179 + 825x180 + 894x181 + 362x182 + 841x183 + 958x184 + 602x185 + 678x186 + 944x187 + 806x188 + 159x189 + 272x190 + 500x191 + 393x192 + 713x193 + 759x194 + 189x195 + 158x196 + 974x197 + 529x198 + 691x199 + 81x200 + 264x201 + 899x202 + 100x203 + 194x204 + 148x205 + 382x206 + 803x207 + 194x208 + 387x209 + 306x210 + 807x211 + 819x212 + 355x213 + 159x214 + 17x215 + 183x216 + 189x217 + 584x218 + 515x219 + 756x220 + 589x221 + 318x222 + 224x223 + 10x224 + 308x225 + 237x226 + 288x227 + 229x228 + 685x229 + 25x230 + 232x231 + 585x232 + 1x233 + 551x234 + 131x235 + 769x236 + 578x237 + 251x238 + 483x239 + 637x240 + 514x241 + 132x242 + 205x243 + 631x244 + 714x245 + 921x246 + 143x247 + 355x248 + 745x249 + 674x250 <=59318 
constr10: + 251x1 + 18x2 + 34x3 + 519x4 + 329x5 + 605x6 + 885x7 + 465x8 + 686x9 + 306x10 + 273x11 + 882x12 + 231x13 + 521x14 + 494x15 + 565x16 + 835x17 + 931x18 + 676x19 + 613x20 + 451x21 + 542x22 + 115x23 + 359x24 + 995x25 + 635x26 + 641x27 + 311x28 + 709x29 + 196x30 + 390x31 + 468x32 + 778x33 + 22x34 + 551x35 + 698x36 + 912x37 + 547x38 + 316x39 + 178x40 + 521x41 + 380x42 + 682x43 + 124x44 + 969x45 + 337x46 + 408x47 + 400x48 + 670x49 + 416x50 + 314x51 + 431x52 + 213x53 + 854x54 + 222x55 + 205x56 + 529x57 + 745x58 + 283x59 + 642x60 + 714x61 + 953x62 + 330x63 + 285x64 + 846x65 + 738x66 + 60x67 + 256x68 + 43x69 + 819x70 + 26x71 + 305x72 + 520x73 + 587x74 + 721x75 + 582x76 + 398x77 + 473x78 + 190x79 + 702x80 + 682x81 + 728x82 + 531x83 + 615x84 + 408x85 + 972x86 + 116x87 + 611x88 + 678x89 + 248x90 + 413x91 + 338x92 + 366x93 + 490x94 + 792x95 + 174x96 + 801x97 + 973x98 + 951x99 + 777x100 + 539x101 + 701x102 + 686x103 + 574x104 + 771x105 + 64x106 + 670x107 + 41x108 + 750x109 + 289x110 + 72x111 + 920x112 + 745x113 + 980x114 + 768x115 + 654x116 + 259x117 + 448x118 + 165x119 + 788x120 + 980x121 + 200x122 + 745x123 + 6x124 + 384x125 + 664x126 + 549x127 + 447x128 + 345x129 + 607x130 + 483x131 + 724x132 + 192x133 + 857x134 + 56x135 + 208x136 + 953x137 + 90x138 + 903x139 + 861x140 + 697x141 + 137x142 + 607x143 + 997x144 + 393x145 + 818x146 + 632x147 + 916x148 + 128x149 + 594x150 + 983x151 + 974x152 + 561x153 + 265x154 + 391x155 + 64x156 + 394x157 + 785x158 + 860x159 + 679x160 + 775x161 + 360x162 + 845x163 + 138x164 + 466x165 + 639x166 + 681x167 + 696x168 + 644x169 + 176x170 + 271x171 + 585x172 + 887x173 + 522x174 + 594x175 + 143x176 + 451x177 + 964x178 + 131x179 + 720x180 + 885x181 + 339x182 + 277x183 + 906x184 + 143x185 + 411x186 + 398x187 + 341x188 + 834x189 + 87x190 + 370x191 + 943x192 + 748x193 + 489x194 + 167x195 + 11x196 + 641x197 + 392x198 + 121x199 + 254x200 + 474x201 + 748x202 + 251x203 + 871x204 + 944x205 + 635x206 + 922x207 + 291x208 + 871x209 + 513x210 + 978x211 + 427x212 + 379x213 + 370x214 + 996x215 + 584x216 + 268x217 + 447x218 + 446x219 + 856x220 + 49x221 + 489x222 + 673x223 + 575x224 + 742x225 + 88x226 + 673x227 + 446x228 + 669x229 + 843x230 + 719x231 + 130x232 + 436x233 + 998x234 + 261x235 + 484x236 + 772x237 + 892x238 + 726x239 + 180x240 + 966x241 + 793x242 + 748x243 + 349x244 + 203x245 + 62x246 + 878x247 + 735x248 + 378x249 + 948x250 <=66062 
constr11: + 152x1 + 663x2 + 664x3 + 367x4 + 449x5 + 942x6 + 902x7 + 791x8 + 826x9 + 892x10 + 709x11 + 248x12 + 139x13 + 603x14 + 115x15 + 420x16 + 349x17 + 843x18 + 411x19 + 397x20 + 463x21 + 272x22 + 638x23 + 45x24 + 722x25 + 910x26 + 619x27 + 177x28 + 747x29 + 888x30 + 735x31 + 634x32 + 531x33 + 771x34 + 973x35 + 553x36 + 161x37 + 373x38 + 892x39 + 373x40 + 722x41 + 981x42 + 203x43 + 711x44 + 830x45 + 913x46 + 989x47 + 888x48 + 498x49 + 10x50 + 949x51 + 943x52 + 68x53 + 64x54 + 384x55 + 508x56 + 579x57 + 645x58 + 940x59 + 771x60 + 906x61 + 530x62 + 732x63 + 225x64 + 304x65 + 531x66 + 553x67 + 568x68 + 289x69 + 996x70 + 40x71 + 843x72 + 858x73 + 456x74 + 30x75 + 864x76 + 487x77 + 334x78 + 827x79 + 808x80 + 628x81 + 930x82 + 681x83 + 776x84 + 102x85 + 12x86 + 828x87 + 261x88 + 399x89 + 507x90 + 918x91 + 746x92 + 747x93 + 719x94 + 817x95 + 49x96 + 518x97 + 713x98 + 420x99 + 619x100 + 402x101 + 667x102 + 498x103 + 351x104 + 665x105 + 942x106 + 45x107 + 259x108 + 663x109 + 632x110 + 61x111 + 894x112 + 756x113 + 891x114 + 113x115 + 66x116 + 604x117 + 907x118 + 417x119 + 994x120 + 199x121 + 791x122 + 745x123 + 1000x124 + 679x125 + 701x126 + 102x127 + 275x128 + 998x129 + 195x130 + 334x131 + 601x132 + 315x133 + 505x134 + 778x135 + 587x136 + 976x137 + 943x138 + 618x139 + 601x140 + 621x141 + 376x142 + 180x143 + 465x144 + 906x145 + 364x146 + 491x147 + 972x148 + 934x149 + 734x150 + 961x151 + 395x152 + 395x153 + 978x154 + 429x155 + 651x156 + 126x157 + 293x158 + 756x159 + 837x160 + 127x161 + 737x162 + 263x163 + 405x164 + 629x165 + 663x166 + 983x167 + 541x168 + 558x169 + 379x170 + 787x171 + 585x172 + 249x173 + 558x174 + 798x175 + 146x176 + 428x177 + 934x178 + 273x179 + 38x180 + 701x181 + 741x182 + 627x183 + 526x184 + 338x185 + 124x186 + 346x187 + 437x188 + 366x189 + 270x190 + 305x191 + 281x192 + 529x193 + 980x194 + 687x195 + 68x196 + 495x197 + 788x198 + 347x199 + 47x200 + 812x201 + 745x202 + 874x203 + 363x204 + 380x205 + 273x206 + 356x207 + 863x208 + 381x209 + 296x210 + 425x211 + 569x212 + 832x213 + 976x214 + 943x215 + 756x216 + 244x217 + 237x218 + 456x219 + 621x220 + 625x221 + 209x222 + 637x223 + 454x224 + 693x225 + 980x226 + 526x227 + 319x228 + 385x229 + 258x230 + 925x231 + 544x232 + 841x233 + 954x234 + 405x235 + 239x236 + 237x237 + 810x238 + 421x239 + 154x240 + 986x241 + 332x242 + 356x243 + 19x244 + 808x245 + 214x246 + 492x247 + 294x248 + 802x249 + 364x250 <=68965 
constr12: + 623x1 + 620x2 + 519x3 + 646x4 + 234x5 + 45x6 + 811x7 + 137x8 + 212x9 + 111x10 + 252x11 + 479x12 + 132x13 + 705x14 + 613x15 + 566x16 + 349x17 + 974x18 + 989x19 + 488x20 + 923x21 + 90x22 + 869x23 + 728x24 + 987x25 + 302x26 + 124x27 + 727x28 + 524x29 + 347x30 + 563x31 + 42x32 + 223x33 + 536x34 + 375x35 + 684x36 + 167x37 + 276x38 + 473x39 + 498x40 + 848x41 + 315x42 + 136x43 + 891x44 + 978x45 + 112x46 + 569x47 + 484x48 + 954x49 + 318x50 + 659x51 + 357x52 + 845x53 + 815x54 + 822x55 + 124x56 + 908x57 + 17x58 + 829x59 + 53x60 + 341x61 + 35x62 + 551x63 + 846x64 + 303x65 + 699x66 + 610x67 + 620x68 + 404x69 + 981x70 + 906x71 + 224x72 + 820x73 + 795x74 + 323x75 + 663x76 + 597x77 + 119x78 + 244x79 + 29x80 + 677x81 + 409x82 + 520x83 + 799x84 + 67x85 + 313x86 + 572x87 + 274x88 + 760x89 + 220x90 + 218x91 + 526x92 + 609x93 + 247x94 + 655x95 + 538x96 + 729x97 + 356x98 + 118x99 + 550x100 + 969x101 + 295x102 + 267x103 + 427x104 + 487x105 + 799x106 + 192x107 + 459x108 + 951x109 + 381x110 + 647x111 + 632x112 + 180x113 + 606x114 + 931x115 + 854x116 + 60x117 + 641x118 + 711x119 + 40x120 + 87x121 + 423x122 + 211x123 + 675x124 + 350x125 + 709x126 + 699x127 + 756x128 + 36x129 + 211x130 + 422x131 + 66x132 + 245x133 + 890x134 + 422x135 + 259x136 + 880x137 + 799x138 + 132x139 + 975x140 + 358x141 + 698x142 + 417x143 + 143x144 + 872x145 + 957x146 + 965x147 + 900x148 + 122x149 + 389x150 + 536x151 + 703x152 + 481x153 + 827x154 + 673x155 + 595x156 + 717x157 + 687x158 + 906x159 + 252x160 + 967x161 + 424x162 + 984x163 + 23x164 + 746x165 + 582x166 + 99x167 + 823x168 + 313x169 + 724x170 + 785x171 + 403x172 + 499x173 + 870x174 + 899x175 + 216x176 + 905x177 + 735x178 + 317x179 + 39x180 + 675x181 + 527x182 + 510x183 + 886x184 + 206x185 + 782x186 + 324x187 + 344x188 + 383x189 + 52x190 + 436x191 + 428x192 + 780x193 + 844x194 + 892x195 + 542x196 + 38x197 + 955x198 + 193x199 + 800x200 + 304x201 + 421x202 + 415x203 + 966x204 + 415x205 + 770x206 + 532x207 + 996x208 + 103x209 + 594x210 + 163x211 + 871x212 + 737x213 + 22x214 + 498x215 + 630x216 + 270x217 + 170x218 + 899x219 + 8x220 + 218x221 + 748x222 + 82x223 + 562x224 + 705x225 + 237x226 + 714x227 + 702x228 + 587x229 + 666x230 + 536x231 + 821x232 + 350x233 + 730x234 + 229x235 + 616x236 + 200x237 + 412x238 + 997x239 + 898x240 + 337x241 + 184x242 + 232x243 + 30x244 + 450x245 + 986x246 + 995x247 + 87x248 + 657x249 + 486x250 <=64213 
constr13: + 150x1 + 171x2 + 383x3 + 255x4 + 107x5 + 583x6 + 415x7 + 597x8 + 340x9 + 921x10 + 447x11 + 442x12 + 129x13 + 863x14 + 924x15 + 875x16 + 60x17 + 571x18 + 615x19 + 46x20 + 69x21 + 827x22 + 385x23 + 608x24 + 572x25 + 874x26 + 784x27 + 300x28 + 738x29 + 824x30 + 327x31 + 986x32 + 917x33 + 450x34 + 166x35 + 893x36 + 104x37 + 762x38 + 630x39 + 371x40 + 439x41 + 805x42 + 731x43 + 619x44 + 835x45 + 246x46 + 240x47 + 304x48 + 218x49 + 541x50 + 708x51 + 527x52 + 996x53 + 495x54 + 70x55 + 122x56 + 709x57 + 564x58 + 529x59 + 914x60 + 790x61 + 987x62 + 983x63 + 311x64 + 58x65 + 189x66 + 679x67 + 823x68 + 904x69 + 556x70 + 207x71 + 927x72 + 701x73 + 994x74 + 984x75 + 301x76 + 991x77 + 242x78 + 955x79 + 921x80 + 338x81 + 807x82 + 191x83 + 552x84 + 891x85 + 261x86 + 888x87 + 974x88 + 29x89 + 219x90 + 142x91 + 390x92 + 455x93 + 902x94 + 771x95 + 859x96 + 442x97 + 764x98 + 930x99 + 740x100 + 203x101 + 997x102 + 48x103 + 90x104 + 901x105 + 162x106 + 268x107 + 200x108 + 564x109 + 234x110 + 469x111 + 551x112 + 834x113 + 72x114 + 832x115 + 351x116 + 569x117 + 902x118 + 78x119 + 797x120 + 396x121 + 528x122 + 903x123 + 823x124 + 902x125 + 9x126 + 113x127 + 416x128 + 263x129 + 278x130 + 983x131 + 412x132 + 170x133 + 532x134 + 498x135 + 602x136 + 296x137 + 171x138 + 312x139 + 333x140 + 459x141 + 719x142 + 694x143 + 9x144 + 906x145 + 609x146 + 527x147 + 998x148 + 247x149 + 306x150 + 858x151 + 982x152 + 761x153 + 603x154 + 916x155 + 149x156 + 234x157 + 629x158 + 339x159 + 989x160 + 497x161 + 636x162 + 30x163 + 983x164 + 69x165 + 259x166 + 645x167 + 201x168 + 462x169 + 221x170 + 668x171 + 19x172 + 211x173 + 72x174 + 214x175 + 495x176 + 538x177 + 418x178 + 995x179 + 867x180 + 772x181 + 705x182 + 186x183 + 840x184 + 325x185 + 660x186 + 949x187 + 608x188 + 956x189 + 962x190 + 823x191 + 42x192 + 134x193 + 702x194 + 623x195 + 829x196 + 867x197 + 384x198 + 553x199 + 542x200 + 293x201 + 474x202 + 248x203 + 186x204 + 60x205 + 87x206 + 357x207 + 201x208 + 499x209 + 531x210 + 86x211 + 944x212 + 232x213 + 282x214 + 232x215 + 605x216 + 607x217 + 570x218 + 290x219 + 281x220 + 507x221 + 624x222 + 383x223 + 960x224 + 257x225 + 140x226 + 369x227 + 471x228 + 932x229 + 227x230 + 494x231 + 969x232 + 400x233 + 120x234 + 788x235 + 66x236 + 879x237 + 666x238 + 427x239 + 240x240 + 877x241 + 707x242 + 239x243 + 980x244 + 44x245 + 566x246 + 370x247 + 501x248 + 143x249 + 78x250 <=64294 
constr14: + 659x1 + 783x2 + 960x3 + 806x4 + 809x5 + 117x6 + 655x7 + 341x8 + 542x9 + 964x10 + 569x11 + 525x12 + 483x13 + 283x14 + 244x15 + 312x16 + 152x17 + 427x18 + 708x19 + 361x20 + 240x21 + 178x22 + 775x23 + 971x24 + 485x25 + 568x26 + 96x27 + 964x28 + 257x29 + 902x30 + 22x31 + 816x32 + 832x33 + 338x34 + 90x35 + 653x36 + 870x37 + 507x38 + 747x39 + 729x40 + 468x41 + 204x42 + 481x43 + 894x44 + 514x45 + 738x46 + 75x47 + 769x48 + 563x49 + 181x50 + 289x51 + 70x52 + 52x53 + 505x54 + 81x55 + 379x56 + 986x57 + 138x58 + 675x59 + 534x60 + 453x61 + 178x62 + 883x63 + 287x64 + 177x65 + 242x66 + 305x67 + 117x68 + 79x69 + 649x70 + 194x71 + 226x72 + 837x73 + 855x74 + 5x75 + 62x76 + 786x77 + 744x78 + 621x79 + 708x80 + 839x81 + 473x82 + 465x83 + 871x84 + 326x85 + 468x86 + 236x87 + 482x88 + 724x89 + 196x90 + 469x91 + 442x92 + 335x93 + 80x94 + 383x95 + 652x96 + 958x97 + 559x98 + 950x99 + 333x100 + 154x101 + 447x102 + 678x103 + 246x104 + 695x105 + 725x106 + 948x107 + 172x108 + 242x109 + 468x110 + 465x111 + 305x112 + 387x113 + 358x114 + 545x115 + 188x116 + 808x117 + 699x118 + 231x119 + 329x120 + 45x121 + 781x122 + 103x123 + 272x124 + 413x125 + 119x126 + 961x127 + 407x128 + 262x129 + 729x130 + 1x131 + 550x132 + 560x133 + 797x134 + 199x135 + 470x136 + 452x137 + 159x138 + 750x139 + 945x140 + 572x141 + 462x142 + 207x143 + 303x144 + 974x145 + 124x146 + 475x147 + 95x148 + 680x149 + 287x150 + 539x151 + 232x152 + 651x153 + 5x154 + 832x155 + 722x156 + 248x157 + 194x158 + 377x159 + 7x160 + 771x161 + 265x162 + 136x163 + 432x164 + 737x165 + 748x166 + 308x167 + 609x168 + 106x169 + 803x170 + 252x171 + 821x172 + 903x173 + 270x174 + 232x175 + 408x176 + 194x177 + 203x178 + 367x179 + 542x180 + 104x181 + 774x182 + 255x183 + 766x184 + 839x185 + 356x186 + 617x187 + 366x188 + 840x189 + 958x190 + 409x191 + 173x192 + 523x193 + 678x194 + 902x195 + 219x196 + 565x197 + 570x198 + 805x199 + 105x200 + 482x201 + 147x202 + 765x203 + 511x204 + 106x205 + 357x206 + 939x207 + 890x208 + 301x209 + 796x210 + 268x211 + 362x212 + 982x213 + 162x214 + 188x215 + 4x216 + 266x217 + 323x218 + 49x219 + 660x220 + 397x221 + 453x222 + 614x223 + 425x224 + 920x225 + 624x226 + 80x227 + 566x228 + 436x229 + 993x230 + 811x231 + 428x232 + 300x233 + 750x234 + 930x235 + 984x236 + 262x237 + 873x238 + 585x239 + 445x240 + 609x241 + 709x242 + 858x243 + 802x244 + 428x245 + 138x246 + 233x247 + 50x248 + 178x249 + 768x250 <=60087 
constr15: + 888x1 + 710x2 + 174x3 + 941x4 + 106x5 + 474x6 + 952x7 + 63x8 + 552x9 + 778x10 + 717x11 + 896x12 + 997x13 + 10x14 + 873x15 + 476x16 + 626x17 + 480x18 + 732x19 + 196x20 + 905x21 + 106x22 + 20x23 + 288x24 + 754x25 + 687x26 + 64x27 + 310x28 + 70x29 + 735x30 + 416x31 + 325x32 + 599x33 + 498x34 + 565x35 + 912x36 + 548x37 + 601x38 + 740x39 + 259x40 + 134x41 + 502x42 + 754x43 + 383x44 + 516x45 + 620x46 + 335x47 + 798x48 + 598x49 + 190x50 + 778x51 + 389x52 + 419x53 + 633x54 + 336x55 + 484x56 + 739x57 + 257x58 + 187x59 + 743x60 + 628x61 + 156x62 + 716x63 + 1x64 + 510x65 + 121x66 + 777x67 + 237x68 + 853x69 + 814x70 + 461x71 + 317x72 + 41x73 + 803x74 + 98x75 + 783x76 + 607x77 + 450x78 + 951x79 + 954x80 + 293x81 + 652x82 + 713x83 + 436x84 + 504x85 + 514x86 + 411x87 + 785x88 + 998x89 + 632x90 + 373x91 + 491x92 + 691x93 + 441x94 + 102x95 + 572x96 + 116x97 + 90x98 + 154x99 + 781x100 + 20x101 + 848x102 + 185x103 + 108x104 + 961x105 + 857x106 + 45x107 + 38x108 + 62x109 + 260x110 + 577x111 + 26x112 + 792x113 + 583x114 + 753x115 + 778x116 + 248x117 + 36x118 + 462x119 + 752x120 + 114x121 + 811x122 + 870x123 + 996x124 + 521x125 + 214x126 + 262x127 + 191x128 + 617x129 + 30x130 + 87x131 + 326x132 + 298x133 + 777x134 + 41x135 + 416x136 + 911x137 + 488x138 + 866x139 + 854x140 + 154x141 + 305x142 + 429x143 + 701x144 + 110x145 + 514x146 + 394x147 + 77x148 + 57x149 + 216x150 + 601x151 + 551x152 + 144x153 + 675x154 + 974x155 + 153x156 + 705x157 + 826x158 + 172x159 + 8x160 + 846x161 + 445x162 + 178x163 + 882x164 + 254x165 + 863x166 + 285x167 + 257x168 + 147x169 + 399x170 + 43x171 + 390x172 + 243x173 + 338x174 + 314x175 + 435x176 + 663x177 + 923x178 + 108x179 + 151x180 + 662x181 + 870x182 + 228x183 + 888x184 + 471x185 + 751x186 + 885x187 + 850x188 + 608x189 + 430x190 + 239x191 + 89x192 + 802x193 + 487x194 + 233x195 + 608x196 + 240x197 + 402x198 + 301x199 + 255x200 + 19x201 + 407x202 + 798x203 + 422x204 + 472x205 + 839x206 + 634x207 + 525x208 + 36x209 + 635x210 + 807x211 + 39x212 + 268x213 + 541x214 + 407x215 + 306x216 + 719x217 + 681x218 + 83x219 + 359x220 + 616x221 + 673x222 + 625x223 + 961x224 + 885x225 + 651x226 + 38x227 + 888x228 + 857x229 + 187x230 + 761x231 + 875x232 + 122x233 + 744x234 + 332x235 + 23x236 + 1x237 + 624x238 + 916x239 + 337x240 + 980x241 + 121x242 + 915x243 + 469x244 + 174x245 + 503x246 + 490x247 + 117x248 + 145x249 + 983x250 <=60093 
constr16: + 488x1 + 944x2 + 201x3 + 933x4 + 689x5 + 64x6 + 200x7 + 386x8 + 887x9 + 562x10 + 793x11 + 274x12 + 1x13 + 883x14 + 141x15 + 753x16 + 822x17 + 879x18 + 543x19 + 700x20 + 279x21 + 313x22 + 648x23 + 967x24 + 296x25 + 625x26 + 689x27 + 361x28 + 957x29 + 545x30 + 405x31 + 593x32 + 764x33 + 790x34 + 82x35 + 616x36 + 310x37 + 839x38 + 483x39 + 715x40 + 517x41 + 390x42 + 518x43 + 751x44 + 413x45 + 585x46 + 470x47 + 659x48 + 650x49 + 672x50 + 361x51 + 107x52 + 669x53 + 964x54 + 127x55 + 171x56 + 94x57 + 612x58 + 679x59 + 150x60 + 184x61 + 815x62 + 857x63 + 561x64 + 551x65 + 536x66 + 763x67 + 930x68 + 802x69 + 868x70 + 405x71 + 80x72 + 408x73 + 357x74 + 523x75 + 665x76 + 285x77 + 660x78 + 901x79 + 566x80 + 713x81 + 233x82 + 504x83 + 151x84 + 924x85 + 106x86 + 906x87 + 613x88 + 124x89 + 757x90 + 256x91 + 700x92 + 66x93 + 989x94 + 728x95 + 45x96 + 464x97 + 742x98 + 837x99 + 509x100 + 227x101 + 969x102 + 502x103 + 495x104 + 16x105 + 598x106 + 845x107 + 865x108 + 192x109 + 325x110 + 625x111 + 761x112 + 115x113 + 154x114 + 267x115 + 862x116 + 710x117 + 164x118 + 408x119 + 751x120 + 716x121 + 308x122 + 387x123 + 108x124 + 933x125 + 437x126 + 711x127 + 622x128 + 97x129 + 960x130 + 375x131 + 783x132 + 851x133 + 869x134 + 319x135 + 696x136 + 774x137 + 473x138 + 311x139 + 695x140 + 376x141 + 866x142 + 538x143 + 573x144 + 168x145 + 643x146 + 802x147 + 305x148 + 49x149 + 328x150 + 153x151 + 759x152 + 636x153 + 201x154 + 520x155 + 733x156 + 632x157 + 902x158 + 368x159 + 747x160 + 17x161 + 894x162 + 538x163 + 216x164 + 992x165 + 296x166 + 191x167 + 997x168 + 552x169 + 798x170 + 294x171 + 226x172 + 900x173 + 413x174 + 169x175 + 50x176 + 928x177 + 669x178 + 742x179 + 807x180 + 559x181 + 400x182 + 670x183 + 621x184 + 934x185 + 364x186 + 192x187 + 896x188 + 442x189 + 128x190 + 427x191 + 221x192 + 999x193 + 473x194 + 501x195 + 234x196 + 795x197 + 586x198 + 999x199 + 820x200 + 39x201 + 309x202 + 956x203 + 99x204 + 187x205 + 396x206 + 213x207 + 583x208 + 195x209 + 886x210 + 806x211 + 194x212 + 982x213 + 483x214 + 351x215 + 739x216 + 96x217 + 645x218 + 186x219 + 717x220 + 933x221 + 468x222 + 87x223 + 796x224 + 332x225 + 312x226 + 457x227 + 59x228 + 69x229 + 380x230 + 414x231 + 541x232 + 290x233 + 967x234 + 473x235 + 146x236 + 487x237 + 553x238 + 535x239 + 677x240 + 977x241 + 336x242 + 963x243 + 552x244 + 119x245 + 521x246 + 986x247 + 159x248 + 588x249 + 813x250 <=65820 
constr17: + 839x1 + 812x2 + 567x3 + 344x4 + 876x5 + 263x6 + 281x7 + 715x8 + 685x9 + 875x10 + 676x11 + 388x12 + 116x13 + 114x14 + 179x15 + 883x16 + 107x17 + 998x18 + 942x19 + 996x20 + 166x21 + 20x22 + 490x23 + 586x24 + 500x25 + 697x26 + 666x27 + 994x28 + 74x29 + 41x30 + 616x31 + 859x32 + 806x33 + 60x34 + 634x35 + 486x36 + 563x37 + 903x38 + 780x39 + 674x40 + 713x41 + 436x42 + 73x43 + 396x44 + 418x45 + 905x46 + 249x47 + 393x48 + 605x49 + 784x50 + 521x51 + 603x52 + 539x53 + 644x54 + 462x55 + 356x56 + 722x57 + 14x58 + 143x59 + 990x60 + 972x61 + 659x62 + 597x63 + 463x64 + 455x65 + 606x66 + 780x67 + 461x68 + 11x69 + 36x70 + 814x71 + 637x72 + 390x73 + 452x74 + 380x75 + 27x76 + 495x77 + 395x78 + 788x79 + 57x80 + 29x81 + 896x82 + 785x83 + 328x84 + 21x85 + 460x86 + 829x87 + 55x88 + 484x89 + 847x90 + 430x91 + 134x92 + 514x93 + 699x94 + 692x95 + 761x96 + 547x97 + 554x98 + 246x99 + 373x100 + 325x101 + 166x102 + 40x103 + 277x104 + 580x105 + 668x106 + 773x107 + 673x108 + 532x109 + 943x110 + 827x111 + 51x112 + 995x113 + 222x114 + 420x115 + 729x116 + 380x117 + 797x118 + 502x119 + 313x120 + 195x121 + 804x122 + 767x123 + 657x124 + 164x125 + 498x126 + 267x127 + 809x128 + 554x129 + 343x130 + 168x131 + 703x132 + 704x133 + 444x134 + 624x135 + 648x136 + 465x137 + 555x138 + 252x139 + 103x140 + 809x141 + 558x142 + 840x143 + 847x144 + 903x145 + 913x146 + 707x147 + 904x148 + 553x149 + 862x150 + 371x151 + 916x152 + 278x153 + 756x154 + 986x155 + 327x156 + 553x157 + 967x158 + 203x159 + 656x160 + 499x161 + 838x162 + 970x163 + 697x164 + 53x165 + 831x166 + 175x167 + 800x168 + 711x169 + 154x170 + 249x171 + 387x172 + 540x173 + 896x174 + 42x175 + 766x176 + 402x177 + 386x178 + 518x179 + 21x180 + 875x181 + 441x182 + 66x183 + 407x184 + 173x185 + 840x186 + 279x187 + 984x188 + 713x189 + 435x190 + 284x191 + 965x192 + 726x193 + 239x194 + 204x195 + 677x196 + 907x197 + 7x198 + 581x199 + 700x200 + 838x201 + 697x202 + 716x203 + 903x204 + 111x205 + 189x206 + 160x207 + 119x208 + 228x209 + 552x210 + 85x211 + 854x212 + 619x213 + 268x214 + 429x215 + 714x216 + 945x217 + 688x218 + 430x219 + 76x220 + 613x221 + 646x222 + 110x223 + 928x224 + 828x225 + 705x226 + 550x227 + 338x228 + 506x229 + 995x230 + 402x231 + 309x232 + 845x233 + 448x234 + 732x235 + 866x236 + 538x237 + 852x238 + 827x239 + 442x240 + 900x241 + 589x242 + 1000x243 + 948x244 + 224x245 + 655x246 + 274x247 + 990x248 + 601x249 + 964x250 <=67463 
constr18: + 814x1 + 588x2 + 621x3 + 152x4 + 952x5 + 889x6 + 484x7 + 893x8 + 744x9 + 144x10 + 491x11 + 164x12 + 941x13 + 201x14 + 589x15 + 934x16 + 275x17 + 796x18 + 308x19 + 182x20 + 956x21 + 423x22 + 186x23 + 166x24 + 679x25 + 456x26 + 763x27 + 868x28 + 394x29 + 73x30 + 238x31 + 291x32 + 937x33 + 807x34 + 271x35 + 456x36 + 828x37 + 648x38 + 854x39 + 27x40 + 418x41 + 631x42 + 134x43 + 602x44 + 16x45 + 714x46 + 637x47 + 948x48 + 376x49 + 286x50 + 773x51 + 586x52 + 665x53 + 439x54 + 943x55 + 758x56 + 434x57 + 65x58 + 243x59 + 745x60 + 326x61 + 261x62 + 735x63 + 861x64 + 894x65 + 397x66 + 37x67 + 639x68 + 961x69 + 694x70 + 955x71 + 291x72 + 260x73 + 944x74 + 409x75 + 204x76 + 114x77 + 870x78 + 413x79 + 778x80 + 658x81 + 766x82 + 222x83 + 122x84 + 819x85 + 856x86 + 42x87 + 27x88 + 632x89 + 839x90 + 72x91 + 6x92 + 580x93 + 537x94 + 757x95 + 828x96 + 604x97 + 558x98 + 23x99 + 733x100 + 319x101 + 970x102 + 515x103 + 364x104 + 854x105 + 994x106 + 695x107 + 515x108 + 235x109 + 847x110 + 358x111 + 975x112 + 875x113 + 206x114 + 111x115 + 955x116 + 490x117 + 196x118 + 908x119 + 206x120 + 3x121 + 842x122 + 363x123 + 789x124 + 109x125 + 805x126 + 519x127 + 374x128 + 652x129 + 794x130 + 268x131 + 809x132 + 613x133 + 107x134 + 885x135 + 727x136 + 839x137 + 300x138 + 765x139 + 263x140 + 354x141 + 813x142 + 159x143 + 588x144 + 369x145 + 181x146 + 294x147 + 904x148 + 727x149 + 202x150 + 212x151 + 487x152 + 170x153 + 283x154 + 92x155 + 108x156 + 145x157 + 729x158 + 486x159 + 180x160 + 143x161 + 217x162 + 677x163 + 660x164 + 229x165 + 427x166 + 129x167 + 355x168 + 753x169 + 456x170 + 101x171 + 983x172 + 889x173 + 622x174 + 361x175 + 929x176 + 845x177 + 571x178 + 30x179 + 431x180 + 552x181 + 770x182 + 483x183 + 861x184 + 276x185 + 368x186 + 169x187 + 324x188 + 592x189 + 358x190 + 976x191 + 189x192 + 611x193 + 244x194 + 161x195 + 422x196 + 829x197 + 474x198 + 400x199 + 953x200 + 955x201 + 358x202 + 815x203 + 628x204 + 766x205 + 52x206 + 523x207 + 573x208 + 368x209 + 328x210 + 44x211 + 345x212 + 502x213 + 325x214 + 960x215 + 49x216 + 667x217 + 915x218 + 677x219 + 980x220 + 866x221 + 194x222 + 560x223 + 611x224 + 881x225 + 826x226 + 960x227 + 110x228 + 519x229 + 942x230 + 865x231 + 25x232 + 164x233 + 204x234 + 418x235 + 566x236 + 659x237 + 101x238 + 454x239 + 361x240 + 56x241 + 941x242 + 162x243 + 870x244 + 784x245 + 137x246 + 507x247 + 35x248 + 205x249 + 811x250 <=63981 
constr19: + 93x1 + 965x2 + 127x3 + 735x4 + 820x5 + 380x6 + 906x7 + 59x8 + 19x9 + 621x10 + 681x11 + 521x12 + 245x13 + 803x14 + 462x15 + 572x16 + 358x17 + 740x18 + 910x19 + 691x20 + 817x21 + 629x22 + 926x23 + 40x24 + 680x25 + 878x26 + 352x27 + 472x28 + 469x29 + 835x30 + 652x31 + 16x32 + 835x33 + 583x34 + 439x35 + 92x36 + 660x37 + 1000x38 + 764x39 + 39x40 + 449x41 + 499x42 + 837x43 + 50x44 + 43x45 + 782x46 + 751x47 + 36x48 + 20x49 + 744x50 + 608x51 + 965x52 + 756x53 + 440x54 + 586x55 + 27x56 + 989x57 + 48x58 + 669x59 + 817x60 + 973x61 + 424x62 + 590x63 + 795x64 + 719x65 + 481x66 + 682x67 + 138x68 + 305x69 + 168x70 + 824x71 + 239x72 + 995x73 + 935x74 + 89x75 + 361x76 + 547x77 + 723x78 + 64x79 + 550x80 + 419x81 + 351x82 + 122x83 + 988x84 + 504x85 + 427x86 + 236x87 + 605x88 + 721x89 + 780x90 + 639x91 + 812x92 + 468x93 + 579x94 + 732x95 + 714x96 + 960x97 + 725x98 + 639x99 + 431x100 + 690x101 + 612x102 + 118x103 + 897x104 + 336x105 + 698x106 + 678x107 + 670x108 + 598x109 + 650x110 + 25x111 + 370x112 + 972x113 + 380x114 + 722x115 + 510x116 + 540x117 + 718x118 + 436x119 + 854x120 + 141x121 + 52x122 + 909x123 + 553x124 + 953x125 + 571x126 + 615x127 + 719x128 + 478x129 + 489x130 + 608x131 + 685x132 + 607x133 + 860x134 + 502x135 + 863x136 + 320x137 + 740x138 + 356x139 + 953x140 + 52x141 + 82x142 + 619x143 + 286x144 + 566x145 + 133x146 + 193x147 + 277x148 + 897x149 + 633x150 + 338x151 + 623x152 + 144x153 + 254x154 + 569x155 + 825x156 + 677x157 + 937x158 + 669x159 + 289x160 + 58x161 + 597x162 + 627x163 + 602x164 + 865x165 + 863x166 + 424x167 + 56x168 + 732x169 + 893x170 + 387x171 + 339x172 + 84x173 + 36x174 + 652x175 + 236x176 + 186x177 + 955x178 + 295x179 + 184x180 + 926x181 + 827x182 + 222x183 + 366x184 + 331x185 + 123x186 + 986x187 + 635x188 + 671x189 + 173x190 + 615x191 + 208x192 + 188x193 + 754x194 + 410x195 + 808x196 + 56x197 + 142x198 + 691x199 + 164x200 + 452x201 + 332x202 + 939x203 + 411x204 + 886x205 + 560x206 + 829x207 + 154x208 + 287x209 + 374x210 + 996x211 + 815x212 + 460x213 + 685x214 + 424x215 + 613x216 + 701x217 + 578x218 + 967x219 + 910x220 + 824x221 + 111x222 + 69x223 + 869x224 + 754x225 + 776x226 + 947x227 + 382x228 + 786x229 + 481x230 + 241x231 + 20x232 + 62x233 + 418x234 + 228x235 + 977x236 + 435x237 + 965x238 + 678x239 + 586x240 + 189x241 + 29x242 + 776x243 + 514x244 + 186x245 + 854x246 + 175x247 + 659x248 + 191x249 + 885x250 <=66387 
constr20: + 65x1 + 36x2 + 966x3 + 542x4 + 7x5 + 966x6 + 815x7 + 127x8 + 440x9 + 861x10 + 522x11 + 624x12 + 65x13 + 222x14 + 853x15 + 86x16 + 142x17 + 229x18 + 794x19 + 292x20 + 87x21 + 379x22 + 917x23 + 977x24 + 555x25 + 242x26 + 273x27 + 480x28 + 765x29 + 176x30 + 368x31 + 954x32 + 809x33 + 317x34 + 324x35 + 755x36 + 229x37 + 733x38 + 56x39 + 686x40 + 527x41 + 931x42 + 206x43 + 346x44 + 283x45 + 980x46 + 207x47 + 226x48 + 313x49 + 351x50 + 739x51 + 845x52 + 768x53 + 454x54 + 895x55 + 618x56 + 996x57 + 949x58 + 976x59 + 201x60 + 145x61 + 141x62 + 968x63 + 809x64 + 933x65 + 47x66 + 832x67 + 837x68 + 126x69 + 777x70 + 639x71 + 910x72 + 897x73 + 42x74 + 334x75 + 223x76 + 606x77 + 269x78 + 212x79 + 299x80 + 116x81 + 216x82 + 904x83 + 959x84 + 560x85 + 569x86 + 945x87 + 999x88 + 741x89 + 277x90 + 799x91 + 457x92 + 554x93 + 832x94 + 664x95 + 659x96 + 918x97 + 444x98 + 978x99 + 606x100 + 988x101 + 10x102 + 356x103 + 903x104 + 911x105 + 25x106 + 722x107 + 257x108 + 876x109 + 441x110 + 356x111 + 652x112 + 137x113 + 150x114 + 166x115 + 699x116 + 665x117 + 254x118 + 598x119 + 49x120 + 637x121 + 785x122 + 799x123 + 650x124 + 130x125 + 139x126 + 759x127 + 288x128 + 988x129 + 643x130 + 803x131 + 140x132 + 158x133 + 648x134 + 630x135 + 184x136 + 671x137 + 704x138 + 667x139 + 782x140 + 987x141 + 152x142 + 528x143 + 579x144 + 703x145 + 635x146 + 959x147 + 161x148 + 874x149 + 948x150 + 475x151 + 576x152 + 811x153 + 793x154 + 815x155 + 978x156 + 599x157 + 717x158 + 30x159 + 128x160 + 39x161 + 772x162 + 666x163 + 783x164 + 108x165 + 211x166 + 125x167 + 386x168 + 490x169 + 55x170 + 553x171 + 327x172 + 732x173 + 595x174 + 320x175 + 417x176 + 581x177 + 910x178 + 498x179 + 169x180 + 570x181 + 555x182 + 442x183 + 35x184 + 297x185 + 470x186 + 776x187 + 137x188 + 746x189 + 830x190 + 580x191 + 26x192 + 479x193 + 879x194 + 407x195 + 377x196 + 901x197 + 364x198 + 370x199 + 485x200 + 960x201 + 279x202 + 779x203 + 987x204 + 960x205 + 569x206 + 955x207 + 222x208 + 53x209 + 832x210 + 88x211 + 114x212 + 499x213 + 891x214 + 227x215 + 995x216 + 405x217 + 278x218 + 89x219 + 553x220 + 788x221 + 46x222 + 754x223 + 175x224 + 228x225 + 700x226 + 187x227 + 24x228 + 731x229 + 2x230 + 292x231 + 409x232 + 577x233 + 799x234 + 65x235 + 820x236 + 181x237 + 177x238 + 593x239 + 89x240 + 373x241 + 783x242 + 976x243 + 813x244 + 763x245 + 772x246 + 493x247 + 440x248 + 657x249 + 299x250 <=64931 
constr21: + 947x1 + 448x2 + 227x3 + 774x4 + 527x5 + 415x6 + 342x7 + 196x8 + 950x9 + 860x10 + 76x11 + 397x12 + 524x13 + 429x14 + 117x15 + 654x16 + 380x17 + 680x18 + 428x19 + 366x20 + 27x21 + 603x22 + 7x23 + 533x24 + 35x25 + 649x26 + 292x27 + 623x28 + 304x29 + 698x30 + 547x31 + 604x32 + 397x33 + 774x34 + 464x35 + 724x36 + 44x37 + 465x38 + 461x39 + 245x40 + 191x41 + 983x42 + 82x43 + 125x44 + 329x45 + 466x46 + 331x47 + 878x48 + 11x49 + 383x50 + 165x51 + 381x52 + 984x53 + 388x54 + 393x55 + 305x56 + 616x57 + 504x58 + 372x59 + 939x60 + 661x61 + 744x62 + 548x63 + 953x64 + 199x65 + 749x66 + 187x67 + 682x68 + 848x69 + 927x70 + 593x71 + 185x72 + 654x73 + 519x74 + 715x75 + 835x76 + 908x77 + 783x78 + 413x79 + 495x80 + 495x81 + 546x82 + 144x83 + 543x84 + 129x85 + 252x86 + 484x87 + 315x88 + 928x89 + 752x90 + 188x91 + 752x92 + 427x93 + 435x94 + 109x95 + 26x96 + 202x97 + 851x98 + 516x99 + 735x100 + 187x101 + 46x102 + 562x103 + 271x104 + 940x105 + 861x106 + 304x107 + 245x108 + 628x109 + 829x110 + 298x111 + 375x112 + 223x113 + 281x114 + 781x115 + 477x116 + 221x117 + 882x118 + 136x119 + 931x120 + 890x121 + 33x122 + 213x123 + 470x124 + 707x125 + 274x126 + 420x127 + 728x128 + 37x129 + 825x130 + 859x131 + 347x132 + 174x133 + 185x134 + 631x135 + 520x136 + 128x137 + 664x138 + 537x139 + 613x140 + 489x141 + 164x142 + 666x143 + 152x144 + 300x145 + 428x146 + 780x147 + 414x148 + 28x149 + 79x150 + 22x151 + 441x152 + 510x153 + 253x154 + 813x155 + 37x156 + 700x157 + 878x158 + 114x159 + 882x160 + 585x161 + 910x162 + 520x163 + 983x164 + 856x165 + 350x166 + 274x167 + 562x168 + 619x169 + 313x170 + 158x171 + 338x172 + 196x173 + 228x174 + 636x175 + 376x176 + 685x177 + 626x178 + 973x179 + 122x180 + 647x181 + 290x182 + 716x183 + 894x184 + 813x185 + 42x186 + 181x187 + 702x188 + 311x189 + 511x190 + 567x191 + 303x192 + 581x193 + 612x194 + 859x195 + 713x196 + 450x197 + 662x198 + 473x199 + 23x200 + 828x201 + 992x202 + 576x203 + 588x204 + 84x205 + 572x206 + 610x207 + 825x208 + 354x209 + 12x210 + 320x211 + 209x212 + 878x213 + 844x214 + 75x215 + 257x216 + 142x217 + 600x218 + 869x219 + 551x220 + 75x221 + 317x222 + 667x223 + 193x224 + 10x225 + 696x226 + 132x227 + 683x228 + 107x229 + 656x230 + 422x231 + 214x232 + 491x233 + 77x234 + 253x235 + 835x236 + 426x237 + 701x238 + 890x239 + 195x240 + 532x241 + 450x242 + 837x243 + 587x244 + 688x245 + 181x246 + 394x247 + 649x248 + 858x249 + 89x250 <=59760 
constr22: + 557x1 + 514x2 + 1000x3 + 551x4 + 974x5 + 744x6 + 639x7 + 661x8 + 418x9 + 340x10 + 843x11 + 750x12 + 287x13 + 903x14 + 593x15 + 279x16 + 550x17 + 928x18 + 125x19 + 159x20 + 597x21 + 636x22 + 298x23 + 604x24 + 667x25 + 9x26 + 445x27 + 925x28 + 947x29 + 721x30 + 872x31 + 163x32 + 213x33 + 822x34 + 191x35 + 654x36 + 560x37 + 66x38 + 788x39 + 33x40 + 159x41 + 972x42 + 379x43 + 933x44 + 214x45 + 778x46 + 205x47 + 271x48 + 114x49 + 481x50 + 790x51 + 441x52 + 988x53 + 221x54 + 213x55 + 633x56 + 316x57 + 298x58 + 686x59 + 43x60 + 749x61 + 734x62 + 345x63 + 47x64 + 237x65 + 244x66 + 456x67 + 642x68 + 705x69 + 729x70 + 330x71 + 605x72 + 386x73 + 172x74 + 67x75 + 152x76 + 321x77 + 215x78 + 648x79 + 757x80 + 259x81 + 720x82 + 196x83 + 156x84 + 365x85 + 15x86 + 692x87 + 194x88 + 343x89 + 813x90 + 882x91 + 616x92 + 560x93 + 177x94 + 524x95 + 388x96 + 85x97 + 922x98 + 1x99 + 178x100 + 664x101 + 756x102 + 385x103 + 433x104 + 26x105 + 602x106 + 194x107 + 461x108 + 473x109 + 351x110 + 794x111 + 400x112 + 352x113 + 940x114 + 215x115 + 24x116 + 705x117 + 233x118 + 864x119 + 206x120 + 739x121 + 525x122 + 138x123 + 907x124 + 580x125 + 531x126 + 673x127 + 939x128 + 36x129 + 538x130 + 205x131 + 343x132 + 439x133 + 323x134 + 160x135 + 532x136 + 529x137 + 768x138 + 984x139 + 261x140 + 510x141 + 937x142 + 65x143 + 433x144 + 889x145 + 438x146 + 960x147 + 948x148 + 264x149 + 547x150 + 712x151 + 86x152 + 250x153 + 703x154 + 957x155 + 294x156 + 984x157 + 891x158 + 609x159 + 876x160 + 804x161 + 843x162 + 841x163 + 561x164 + 237x165 + 598x166 + 111x167 + 719x168 + 773x169 + 709x170 + 526x171 + 904x172 + 944x173 + 949x174 + 671x175 + 584x176 + 725x177 + 188x178 + 175x179 + 409x180 + 970x181 + 853x182 + 700x183 + 282x184 + 818x185 + 924x186 + 83x187 + 31x188 + 462x189 + 113x190 + 163x191 + 943x192 + 852x193 + 197x194 + 391x195 + 671x196 + 9x197 + 437x198 + 15x199 + 74x200 + 695x201 + 305x202 + 843x203 + 317x204 + 103x205 + 355x206 + 836x207 + 540x208 + 774x209 + 400x210 + 770x211 + 303x212 + 263x213 + 968x214 + 149x215 + 970x216 + 908x217 + 373x218 + 589x219 + 254x220 + 140x221 + 205x222 + 256x223 + 843x224 + 843x225 + 960x226 + 967x227 + 90x228 + 917x229 + 617x230 + 431x231 + 404x232 + 592x233 + 276x234 + 896x235 + 77x236 + 219x237 + 739x238 + 871x239 + 558x240 + 842x241 + 657x242 + 60x243 + 637x244 + 559x245 + 395x246 + 91x247 + 125x248 + 881x249 + 537x250 <=63514 
constr23: + 250x1 + 981x2 + 660x3 + 632x4 + 519x5 + 81x6 + 963x7 + 636x8 + 848x9 + 418x10 + 863x11 + 137x12 + 935x13 + 782x14 + 350x15 + 111x16 + 276x17 + 408x18 + 268x19 + 678x20 + 800x21 + 854x22 + 331x23 + 311x24 + 290x25 + 68x26 + 250x27 + 93x28 + 412x29 + 684x30 + 687x31 + 440x32 + 11x33 + 106x34 + 100x35 + 313x36 + 209x37 + 120x38 + 58x39 + 266x40 + 714x41 + 903x42 + 728x43 + 916x44 + 656x45 + 312x46 + 754x47 + 440x48 + 743x49 + 645x50 + 970x51 + 435x52 + 272x53 + 443x54 + 231x55 + 90x56 + 878x57 + 900x58 + 168x59 + 481x60 + 19x61 + 382x62 + 871x63 + 250x64 + 215x65 + 942x66 + 285x67 + 623x68 + 293x69 + 994x70 + 265x71 + 425x72 + 950x73 + 368x74 + 833x75 + 101x76 + 274x77 + 593x78 + 644x79 + 129x80 + 994x81 + 541x82 + 21x83 + 962x84 + 415x85 + 70x86 + 896x87 + 490x88 + 872x89 + 549x90 + 657x91 + 892x92 + 61x93 + 685x94 + 873x95 + 136x96 + 143x97 + 144x98 + 784x99 + 92x100 + 596x101 + 924x102 + 153x103 + 833x104 + 803x105 + 286x106 + 544x107 + 753x108 + 252x109 + 955x110 + 220x111 + 185x112 + 125x113 + 424x114 + 325x115 + 435x116 + 675x117 + 743x118 + 268x119 + 384x120 + 255x121 + 542x122 + 805x123 + 887x124 + 316x125 + 318x126 + 653x127 + 872x128 + 706x129 + 17x130 + 603x131 + 8x132 + 421x133 + 705x134 + 576x135 + 978x136 + 994x137 + 312x138 + 366x139 + 393x140 + 70x141 + 523x142 + 42x143 + 920x144 + 631x145 + 574x146 + 761x147 + 182x148 + 287x149 + 502x150 + 652x151 + 643x152 + 179x153 + 824x154 + 371x155 + 947x156 + 272x157 + 276x158 + 835x159 + 772x160 + 753x161 + 513x162 + 495x163 + 273x164 + 160x165 + 855x166 + 751x167 + 420x168 + 106x169 + 680x170 + 851x171 + 230x172 + 529x173 + 924x174 + 262x175 + 415x176 + 712x177 + 846x178 + 723x179 + 756x180 + 496x181 + 346x182 + 944x183 + 51x184 + 965x185 + 218x186 + 397x187 + 775x188 + 504x189 + 813x190 + 403x191 + 291x192 + 299x193 + 927x194 + 956x195 + 321x196 + 454x197 + 391x198 + 22x199 + 328x200 + 892x201 + 267x202 + 527x203 + 927x204 + 212x205 + 508x206 + 160x207 + 892x208 + 432x209 + 745x210 + 273x211 + 395x212 + 104x213 + 308x214 + 400x215 + 624x216 + 565x217 + 430x218 + 361x219 + 227x220 + 836x221 + 915x222 + 629x223 + 349x224 + 992x225 + 973x226 + 922x227 + 966x228 + 30x229 + 361x230 + 557x231 + 637x232 + 807x233 + 604x234 + 826x235 + 836x236 + 720x237 + 196x238 + 72x239 + 113x240 + 793x241 + 190x242 + 757x243 + 29x244 + 231x245 + 219x246 + 636x247 + 986x248 + 865x249 + 274x250 <=63605 
constr24: + 489x1 + 151x2 + 413x3 + 363x4 + 448x5 + 779x6 + 185x7 + 473x8 + 609x9 + 482x10 + 97x11 + 309x12 + 652x13 + 659x14 + 939x15 + 561x16 + 996x17 + 765x18 + 204x19 + 99x20 + 229x21 + 141x22 + 728x23 + 678x24 + 957x25 + 41x26 + 244x27 + 336x28 + 860x29 + 601x30 + 924x31 + 982x32 + 979x33 + 315x34 + 395x35 + 440x36 + 622x37 + 947x38 + 629x39 + 667x40 + 137x41 + 364x42 + 950x43 + 42x44 + 427x45 + 474x46 + 545x47 + 195x48 + 957x49 + 443x50 + 368x51 + 131x52 + 689x53 + 648x54 + 575x55 + 889x56 + 403x57 + 503x58 + 63x59 + 251x60 + 104x61 + 702x62 + 731x63 + 132x64 + 8x65 + 944x66 + 28x67 + 152x68 + 270x69 + 527x70 + 477x71 + 140x72 + 906x73 + 29x74 + 902x75 + 864x76 + 362x77 + 2x78 + 49x79 + 674x80 + 373x81 + 820x82 + 701x83 + 698x84 + 867x85 + 611x86 + 302x87 + 847x88 + 829x89 + 944x90 + 161x91 + 748x92 + 64x93 + 664x94 + 376x95 + 482x96 + 961x97 + 412x98 + 42x99 + 540x100 + 103x101 + 30x102 + 816x103 + 124x104 + 291x105 + 347x106 + 48x107 + 113x108 + 65x109 + 771x110 + 273x111 + 277x112 + 883x113 + 306x114 + 707x115 + 472x116 + 770x117 + 540x118 + 348x119 + 991x120 + 484x121 + 578x122 + 257x123 + 178x124 + 724x125 + 95x126 + 419x127 + 136x128 + 732x129 + 393x130 + 717x131 + 139x132 + 427x133 + 40x134 + 367x135 + 499x136 + 878x137 + 880x138 + 804x139 + 851x140 + 968x141 + 310x142 + 748x143 + 701x144 + 105x145 + 692x146 + 441x147 + 855x148 + 304x149 + 325x150 + 17x151 + 874x152 + 56x153 + 311x154 + 928x155 + 854x156 + 964x157 + 515x158 + 587x159 + 80x160 + 658x161 + 870x162 + 652x163 + 286x164 + 440x165 + 445x166 + 553x167 + 488x168 + 458x169 + 875x170 + 835x171 + 175x172 + 326x173 + 522x174 + 863x175 + 754x176 + 630x177 + 530x178 + 279x179 + 45x180 + 659x181 + 157x182 + 782x183 + 696x184 + 977x185 + 502x186 + 229x187 + 120x188 + 487x189 + 445x190 + 472x191 + 944x192 + 819x193 + 660x194 + 464x195 + 509x196 + 400x197 + 974x198 + 198x199 + 500x200 + 102x201 + 804x202 + 356x203 + 908x204 + 829x205 + 615x206 + 948x207 + 124x208 + 257x209 + 525x210 + 78x211 + 738x212 + 156x213 + 764x214 + 586x215 + 768x216 + 655x217 + 199x218 + 537x219 + 351x220 + 127x221 + 244x222 + 371x223 + 8x224 + 39x225 + 657x226 + 552x227 + 136x228 + 921x229 + 426x230 + 759x231 + 519x232 + 324x233 + 59x234 + 904x235 + 676x236 + 452x237 + 101x238 + 267x239 + 378x240 + 300x241 + 603x242 + 549x243 + 360x244 + 244x245 + 482x246 + 701x247 + 283x248 + 706x249 + 139x250 <=61330 
constr25: + 11x1 + 348x2 + 538x3 + 111x4 + 747x5 + 898x6 + 582x7 + 519x8 + 636x9 + 990x10 + 980x11 + 136x12 + 164x13 + 480x14 + 610x15 + 489x16 + 263x17 + 60x18 + 530x19 + 333x20 + 947x21 + 268x22 + 277x23 + 382x24 + 884x25 + 133x26 + 425x27 + 720x28 + 641x29 + 849x30 + 26x31 + 48x32 + 827x33 + 15x34 + 506x35 + 552x36 + 697x37 + 652x38 + 224x39 + 821x40 + 917x41 + 392x42 + 913x43 + 50x44 + 203x45 + 128x46 + 194x47 + 396x48 + 767x49 + 215x50 + 760x51 + 733x52 + 588x53 + 356x54 + 918x55 + 165x56 + 364x57 + 777x58 + 332x59 + 420x60 + 11x61 + 185x62 + 647x63 + 40x64 + 482x65 + 215x66 + 869x67 + 375x68 + 252x69 + 423x70 + 181x71 + 363x72 + 682x73 + 229x74 + 648x75 + 648x76 + 375x77 + 159x78 + 514x79 + 470x80 + 306x81 + 483x82 + 431x83 + 31x84 + 655x85 + 616x86 + 229x87 + 944x88 + 749x89 + 974x90 + 189x91 + 368x92 + 661x93 + 124x94 + 185x95 + 450x96 + 255x97 + 78x98 + 132x99 + 762x100 + 844x101 + 10x102 + 181x103 + 865x104 + 4x105 + 47x106 + 473x107 + 784x108 + 37x109 + 76x110 + 755x111 + 694x112 + 552x113 + 9x114 + 725x115 + 26x116 + 315x117 + 441x118 + 891x119 + 936x120 + 886x121 + 738x122 + 348x123 + 187x124 + 534x125 + 450x126 + 392x127 + 302x128 + 443x129 + 225x130 + 624x131 + 899x132 + 610x133 + 95x134 + 391x135 + 735x136 + 738x137 + 724x138 + 732x139 + 316x140 + 23x141 + 105x142 + 541x143 + 668x144 + 960x145 + 665x146 + 115x147 + 358x148 + 601x149 + 30x150 + 328x151 + 275x152 + 175x153 + 46x154 + 217x155 + 805x156 + 279x157 + 987x158 + 299x159 + 76x160 + 661x161 + 315x162 + 727x163 + 576x164 + 550x165 + 467x166 + 261x167 + 606x168 + 524x169 + 636x170 + 201x171 + 243x172 + 29x173 + 275x174 + 544x175 + 217x176 + 770x177 + 890x178 + 202x179 + 204x180 + 784x181 + 305x182 + 940x183 + 787x184 + 729x185 + 137x186 + 100x187 + 455x188 + 944x189 + 742x190 + 148x191 + 941x192 + 542x193 + 730x194 + 26x195 + 659x196 + 599x197 + 105x198 + 910x199 + 29x200 + 787x201 + 657x202 + 944x203 + 797x204 + 686x205 + 37x206 + 340x207 + 851x208 + 7x209 + 549x210 + 944x211 + 114x212 + 465x213 + 224x214 + 639x215 + 287x216 + 51x217 + 517x218 + 357x219 + 439x220 + 975x221 + 372x222 + 385x223 + 520x224 + 37x225 + 655x226 + 857x227 + 315x228 + 861x229 + 791x230 + 201x231 + 12x232 + 735x233 + 385x234 + 153x235 + 122x236 + 562x237 + 717x238 + 249x239 + 308x240 + 14x241 + 74x242 + 662x243 + 642x244 + 715x245 + 467x246 + 241x247 + 975x248 + 590x249 + 951x250 <=57815 
constr26: + 244x1 + 671x2 + 526x3 + 644x4 + 740x5 + 356x6 + 578x7 + 1x8 + 220x9 + 321x10 + 841x11 + 262x12 + 743x13 + 251x14 + 663x15 + 988x16 + 612x17 + 362x18 + 90x19 + 524x20 + 871x21 + 707x22 + 152x23 + 392x24 + 732x25 + 483x26 + 774x27 + 59x28 + 842x29 + 43x30 + 881x31 + 938x32 + 840x33 + 598x34 + 381x35 + 439x36 + 611x37 + 219x38 + 686x39 + 178x40 + 939x41 + 219x42 + 978x43 + 598x44 + 353x45 + 666x46 + 347x47 + 596x48 + 697x49 + 270x50 + 406x51 + 545x52 + 710x53 + 928x54 + 564x55 + 160x56 + 194x57 + 333x58 + 747x59 + 368x60 + 514x61 + 603x62 + 12x63 + 4x64 + 355x65 + 740x66 + 723x67 + 53x68 + 144x69 + 797x70 + 665x71 + 392x72 + 198x73 + 395x74 + 345x75 + 526x76 + 589x77 + 562x78 + 884x79 + 135x80 + 911x81 + 668x82 + 812x83 + 286x84 + 14x85 + 4x86 + 179x87 + 834x88 + 375x89 + 496x90 + 674x91 + 482x92 + 537x93 + 224x94 + 88x95 + 710x96 + 52x97 + 458x98 + 208x99 + 662x100 + 225x101 + 232x102 + 370x103 + 579x104 + 541x105 + 72x106 + 949x107 + 655x108 + 452x109 + 769x110 + 385x111 + 494x112 + 120x113 + 918x114 + 246x115 + 57x116 + 311x117 + 189x118 + 12x119 + 366x120 + 269x121 + 117x122 + 297x123 + 528x124 + 935x125 + 929x126 + 229x127 + 808x128 + 90x129 + 414x130 + 357x131 + 785x132 + 951x133 + 894x134 + 137x135 + 172x136 + 104x137 + 778x138 + 734x139 + 705x140 + 223x141 + 737x142 + 514x143 + 592x144 + 474x145 + 756x146 + 812x147 + 890x148 + 32x149 + 429x150 + 559x151 + 435x152 + 923x153 + 106x154 + 995x155 + 356x156 + 171x157 + 894x158 + 409x159 + 385x160 + 455x161 + 114x162 + 90x163 + 895x164 + 394x165 + 534x166 + 390x167 + 635x168 + 614x169 + 345x170 + 509x171 + 811x172 + 852x173 + 673x174 + 256x175 + 382x176 + 791x177 + 916x178 + 317x179 + 627x180 + 891x181 + 587x182 + 637x183 + 522x184 + 745x185 + 985x186 + 773x187 + 619x188 + 223x189 + 55x190 + 319x191 + 722x192 + 489x193 + 829x194 + 565x195 + 272x196 + 370x197 + 896x198 + 339x199 + 928x200 + 929x201 + 982x202 + 18x203 + 990x204 + 804x205 + 938x206 + 843x207 + 776x208 + 709x209 + 511x210 + 666x211 + 58x212 + 39x213 + 751x214 + 78x215 + 66x216 + 270x217 + 577x218 + 345x219 + 392x220 + 41x221 + 732x222 + 732x223 + 131x224 + 665x225 + 207x226 + 273x227 + 379x228 + 135x229 + 412x230 + 741x231 + 43x232 + 728x233 + 127x234 + 939x235 + 602x236 + 519x237 + 578x238 + 290x239 + 718x240 + 997x241 + 958x242 + 769x243 + 551x244 + 371x245 + 697x246 + 32x247 + 844x248 + 92x249 + 546x250 <=62608 
constr27: + 359x1 + 393x2 + 555x3 + 470x4 + 211x5 + 955x6 + 512x7 + 200x8 + 171x9 + 793x10 + 225x11 + 202x12 + 606x13 + 931x14 + 50x15 + 134x16 + 819x17 + 191x18 + 645x19 + 403x20 + 165x21 + 415x22 + 480x23 + 744x24 + 101x25 + 124x26 + 761x27 + 890x28 + 670x29 + 288x30 + 697x31 + 861x32 + 558x33 + 455x34 + 131x35 + 268x36 + 97x37 + 267x38 + 916x39 + 833x40 + 621x41 + 738x42 + 616x43 + 75x44 + 494x45 + 112x46 + 65x47 + 122x48 + 439x49 + 644x50 + 806x51 + 836x52 + 125x53 + 572x54 + 876x55 + 661x56 + 140x57 + 439x58 + 55x59 + 248x60 + 477x61 + 166x62 + 399x63 + 793x64 + 158x65 + 57x66 + 651x67 + 814x68 + 752x69 + 635x70 + 662x71 + 432x72 + 615x73 + 549x74 + 260x75 + 61x76 + 52x77 + 300x78 + 227x79 + 515x80 + 681x81 + 498x82 + 138x83 + 61x84 + 769x85 + 156x86 + 730x87 + 341x88 + 694x89 + 40x90 + 78x91 + 381x92 + 423x93 + 973x94 + 868x95 + 221x96 + 776x97 + 24x98 + 969x99 + 716x100 + 856x101 + 658x102 + 590x103 + 167x104 + 616x105 + 211x106 + 853x107 + 114x108 + 640x109 + 773x110 + 425x111 + 882x112 + 593x113 + 936x114 + 216x115 + 646x116 + 322x117 + 401x118 + 946x119 + 489x120 + 812x121 + 585x122 + 630x123 + 352x124 + 564x125 + 470x126 + 369x127 + 331x128 + 427x129 + 364x130 + 918x131 + 806x132 + 640x133 + 970x134 + 900x135 + 509x136 + 184x137 + 588x138 + 298x139 + 105x140 + 475x141 + 540x142 + 836x143 + 789x144 + 926x145 + 487x146 + 594x147 + 919x148 + 487x149 + 33x150 + 788x151 + 343x152 + 405x153 + 376x154 + 488x155 + 913x156 + 739x157 + 681x158 + 63x159 + 610x160 + 296x161 + 429x162 + 538x163 + 605x164 + 816x165 + 392x166 + 152x167 + 770x168 + 120x169 + 656x170 + 245x171 + 435x172 + 20x173 + 104x174 + 530x175 + 878x176 + 832x177 + 863x178 + 567x179 + 361x180 + 289x181 + 276x182 + 112x183 + 521x184 + 321x185 + 366x186 + 402x187 + 505x188 + 572x189 + 357x190 + 396x191 + 387x192 + 734x193 + 218x194 + 382x195 + 87x196 + 185x197 + 319x198 + 266x199 + 567x200 + 319x201 + 806x202 + 549x203 + 118x204 + 523x205 + 2x206 + 636x207 + 932x208 + 864x209 + 120x210 + 174x211 + 139x212 + 535x213 + 156x214 + 366x215 + 406x216 + 809x217 + 618x218 + 101x219 + 254x220 + 704x221 + 283x222 + 945x223 + 60x224 + 262x225 + 148x226 + 904x227 + 382x228 + 330x229 + 637x230 + 218x231 + 586x232 + 382x233 + 311x234 + 809x235 + 396x236 + 322x237 + 266x238 + 410x239 + 199x240 + 742x241 + 193x242 + 129x243 + 413x244 + 585x245 + 655x246 + 358x247 + 990x248 + 53x249 + 77x250 <=58519 
constr28: + 57x1 + 514x2 + 862x3 + 507x4 + 414x5 + 335x6 + 567x7 + 442x8 + 145x9 + 377x10 + 851x11 + 195x12 + 416x13 + 357x14 + 308x15 + 786x16 + 603x17 + 196x18 + 998x19 + 192x20 + 236x21 + 839x22 + 352x23 + 667x24 + 422x25 + 495x26 + 816x27 + 789x28 + 23x29 + 570x30 + 635x31 + 567x32 + 182x33 + 324x34 + 255x35 + 572x36 + 795x37 + 755x38 + 737x39 + 278x40 + 512x41 + 344x42 + 670x43 + 409x44 + 788x45 + 943x46 + 266x47 + 32x48 + 713x49 + 670x50 + 921x51 + 339x52 + 786x53 + 781x54 + 753x55 + 774x56 + 719x57 + 153x58 + 387x59 + 840x60 + 123x61 + 744x62 + 542x63 + 328x64 + 900x65 + 644x66 + 178x67 + 519x68 + 512x69 + 400x70 + 261x71 + 174x72 + 231x73 + 548x74 + 720x75 + 422x76 + 925x77 + 248x78 + 591x79 + 193x80 + 668x81 + 122x82 + 778x83 + 996x84 + 396x85 + 560x86 + 398x87 + 857x88 + 730x89 + 380x90 + 11x91 + 350x92 + 241x93 + 722x94 + 691x95 + 711x96 + 842x97 + 658x98 + 176x99 + 188x100 + 45x101 + 726x102 + 99x103 + 530x104 + 429x105 + 940x106 + 491x107 + 875x108 + 709x109 + 248x110 + 19x111 + 829x112 + 973x113 + 80x114 + 506x115 + 482x116 + 458x117 + 711x118 + 681x119 + 141x120 + 840x121 + 550x122 + 719x123 + 56x124 + 392x125 + 247x126 + 173x127 + 181x128 + 618x129 + 239x130 + 648x131 + 378x132 + 698x133 + 190x134 + 73x135 + 932x136 + 282x137 + 623x138 + 486x139 + 975x140 + 450x141 + 992x142 + 455x143 + 843x144 + 106x145 + 761x146 + 896x147 + 383x148 + 491x149 + 453x150 + 626x151 + 498x152 + 177x153 + 801x154 + 24x155 + 565x156 + 346x157 + 903x158 + 705x159 + 850x160 + 811x161 + 178x162 + 938x163 + 923x164 + 438x165 + 159x166 + 178x167 + 538x168 + 870x169 + 695x170 + 298x171 + 124x172 + 982x173 + 831x174 + 738x175 + 788x176 + 756x177 + 836x178 + 453x179 + 9x180 + 609x181 + 695x182 + 960x183 + 911x184 + 845x185 + 188x186 + 757x187 + 374x188 + 301x189 + 578x190 + 481x191 + 245x192 + 749x193 + 259x194 + 15x195 + 916x196 + 291x197 + 464x198 + 571x199 + 156x200 + 784x201 + 172x202 + 231x203 + 984x204 + 799x205 + 957x206 + 109x207 + 632x208 + 355x209 + 897x210 + 768x211 + 240x212 + 283x213 + 30x214 + 811x215 + 781x216 + 157x217 + 688x218 + 302x219 + 83x220 + 283x221 + 769x222 + 21x223 + 471x224 + 967x225 + 418x226 + 327x227 + 184x228 + 408x229 + 83x230 + 350x231 + 244x232 + 130x233 + 292x234 + 211x235 + 19x236 + 455x237 + 634x238 + 439x239 + 918x240 + 311x241 + 992x242 + 450x243 + 382x244 + 576x245 + 819x246 + 940x247 + 84x248 + 703x249 + 267x250 <=63312 
constr29: + 60x1 + 484x2 + 906x3 + 738x4 + 84x5 + 816x6 + 747x7 + 815x8 + 409x9 + 349x10 + 764x11 + 296x12 + 11x13 + 136x14 + 914x15 + 217x16 + 416x17 + 423x18 + 628x19 + 662x20 + 73x21 + 375x22 + 8x23 + 393x24 + 658x25 + 305x26 + 146x27 + 725x28 + 578x29 + 515x30 + 979x31 + 815x32 + 983x33 + 168x34 + 147x35 + 359x36 + 830x37 + 143x38 + 575x39 + 298x40 + 277x41 + 996x42 + 465x43 + 685x44 + 681x45 + 513x46 + 426x47 + 561x48 + 38x49 + 650x50 + 359x51 + 449x52 + 218x53 + 843x54 + 806x55 + 757x56 + 336x57 + 378x58 + 775x59 + 252x60 + 54x61 + 811x62 + 763x63 + 139x64 + 37x65 + 456x66 + 574x67 + 39x68 + 284x69 + 269x70 + 916x71 + 404x72 + 571x73 + 741x74 + 973x75 + 444x76 + 960x77 + 238x78 + 392x79 + 630x80 + 588x81 + 885x82 + 512x83 + 708x84 + 787x85 + 273x86 + 41x87 + 499x88 + 981x89 + 464x90 + 73x91 + 512x92 + 167x93 + 892x94 + 38x95 + 39x96 + 281x97 + 699x98 + 116x99 + 563x100 + 709x101 + 818x102 + 211x103 + 356x104 + 877x105 + 999x106 + 809x107 + 532x108 + 313x109 + 56x110 + 821x111 + 415x112 + 130x113 + 647x114 + 79x115 + 990x116 + 91x117 + 266x118 + 257x119 + 955x120 + 872x121 + 692x122 + 774x123 + 617x124 + 349x125 + 558x126 + 764x127 + 3x128 + 248x129 + 747x130 + 827x131 + 481x132 + 466x133 + 133x134 + 410x135 + 602x136 + 632x137 + 611x138 + 622x139 + 748x140 + 907x141 + 55x142 + 393x143 + 133x144 + 977x145 + 881x146 + 876x147 + 383x148 + 74x149 + 838x150 + 277x151 + 381x152 + 538x153 + 454x154 + 207x155 + 288x156 + 969x157 + 488x158 + 877x159 + 439x160 + 796x161 + 710x162 + 52x163 + 187x164 + 386x165 + 599x166 + 906x167 + 742x168 + 526x169 + 216x170 + 186x171 + 503x172 + 543x173 + 971x174 + 533x175 + 918x176 + 761x177 + 331x178 + 847x179 + 815x180 + 385x181 + 348x182 + 831x183 + 257x184 + 594x185 + 637x186 + 525x187 + 84x188 + 795x189 + 243x190 + 56x191 + 444x192 + 333x193 + 196x194 + 799x195 + 376x196 + 165x197 + 552x198 + 835x199 + 136x200 + 334x201 + 488x202 + 334x203 + 970x204 + 956x205 + 955x206 + 639x207 + 596x208 + 128x209 + 236x210 + 760x211 + 519x212 + 71x213 + 270x214 + 926x215 + 520x216 + 441x217 + 395x218 + 542x219 + 101x220 + 762x221 + 494x222 + 191x223 + 873x224 + 282x225 + 79x226 + 899x227 + 120x228 + 436x229 + 672x230 + 773x231 + 529x232 + 313x233 + 825x234 + 26x235 + 167x236 + 283x237 + 504x238 + 856x239 + 982x240 + 817x241 + 102x242 + 743x243 + 101x244 + 117x245 + 25x246 + 545x247 + 256x248 + 262x249 + 141x250 <=61812 
constr30: + 595x1 + 507x2 + 206x3 + 99x4 + 376x5 + 198x6 + 619x7 + 725x8 + 778x9 + 723x10 + 999x11 + 54x12 + 576x13 + 120x14 + 807x15 + 891x16 + 814x17 + 948x18 + 595x19 + 993x20 + 536x21 + 44x22 + 41x23 + 926x24 + 820x25 + 403x26 + 370x27 + 616x28 + 114x29 + 547x30 + 258x31 + 558x32 + 452x33 + 542x34 + 400x35 + 488x36 + 989x37 + 883x38 + 337x39 + 302x40 + 987x41 + 401x42 + 821x43 + 371x44 + 308x45 + 333x46 + 174x47 + 848x48 + 610x49 + 707x50 + 828x51 + 216x52 + 7x53 + 438x54 + 570x55 + 511x56 + 303x57 + 408x58 + 150x59 + 457x60 + 799x61 + 392x62 + 180x63 + 284x64 + 169x65 + 55x66 + 15x67 + 509x68 + 76x69 + 312x70 + 748x71 + 172x72 + 902x73 + 603x74 + 270x75 + 14x76 + 473x77 + 280x78 + 560x79 + 886x80 + 150x81 + 443x82 + 391x83 + 75x84 + 573x85 + 45x86 + 492x87 + 847x88 + 631x89 + 636x90 + 642x91 + 309x92 + 745x93 + 247x94 + 868x95 + 528x96 + 930x97 + 428x98 + 892x99 + 123x100 + 199x101 + 862x102 + 946x103 + 29x104 + 258x105 + 919x106 + 883x107 + 416x108 + 623x109 + 993x110 + 893x111 + 926x112 + 834x113 + 157x114 + 324x115 + 354x116 + 49x117 + 199x118 + 910x119 + 727x120 + 606x121 + 679x122 + 966x123 + 348x124 + 609x125 + 489x126 + 107x127 + 458x128 + 46x129 + 351x130 + 38x131 + 475x132 + 124x133 + 524x134 + 46x135 + 994x136 + 921x137 + 479x138 + 363x139 + 729x140 + 446x141 + 961x142 + 188x143 + 919x144 + 582x145 + 527x146 + 833x147 + 487x148 + 925x149 + 622x150 + 480x151 + 439x152 + 850x153 + 970x154 + 177x155 + 629x156 + 717x157 + 484x158 + 304x159 + 809x160 + 887x161 + 119x162 + 629x163 + 514x164 + 364x165 + 585x166 + 709x167 + 522x168 + 809x169 + 482x170 + 583x171 + 145x172 + 445x173 + 895x174 + 942x175 + 82x176 + 746x177 + 699x178 + 65x179 + 16x180 + 432x181 + 561x182 + 107x183 + 302x184 + 885x185 + 244x186 + 195x187 + 89x188 + 142x189 + 986x190 + 116x191 + 510x192 + 948x193 + 565x194 + 474x195 + 379x196 + 639x197 + 184x198 + 921x199 + 262x200 + 740x201 + 201x202 + 46x203 + 807x204 + 566x205 + 658x206 + 969x207 + 127x208 + 197x209 + 960x210 + 793x211 + 134x212 + 313x213 + 648x214 + 782x215 + 597x216 + 53x217 + 309x218 + 645x219 + 776x220 + 700x221 + 506x222 + 982x223 + 289x224 + 549x225 + 127x226 + 853x227 + 316x228 + 645x229 + 446x230 + 378x231 + 662x232 + 352x233 + 746x234 + 728x235 + 740x236 + 191x237 + 340x238 + 104x239 + 494x240 + 241x241 + 366x242 + 963x243 + 680x244 + 754x245 + 740x246 + 282x247 + 636x248 + 524x249 + 277x250 <=63352 
binaries 
x1 
x2 
x3 
x4 
x5 
x6 
x7 
x8 
x9 
x10 
x11 
x12 
x13 
x14 
x15 
x16 
x17 
x18 
x19 
x20 
x21 
x22 
x23 
x24 
x25 
x26 
x27 
x28 
x29 
x30 
x31 
x32 
x33 
x34 
x35 
x36 
x37 
x38 
x39 
x40 
x41 
x42 
x43 
x44 
x45 
x46 
x47 
x48 
x49 
x50 
x51 
x52 
x53 
x54 
x55 
x56 
x57 
x58 
x59 
x60 
x61 
x62 
x63 
x64 
x65 
x66 
x67 
x68 
x69 
x70 
x71 
x72 
x73 
x74 
x75 
x76 
x77 
x78 
x79 
x80 
x81 
x82 
x83 
x84 
x85 
x86 
x87 
x88 
x89 
x90 
x91 
x92 
x93 
x94 
x95 
x96 
x97 
x98 
x99 
x100 
x101 
x102 
x103 
x104 
x105 
x106 
x107 
x108 
x109 
x110 
x111 
x112 
x113 
x114 
x115 
x116 
x117 
x118 
x119 
x120 
x121 
x122 
x123 
x124 
x125 
x126 
x127 
x128 
x129 
x130 
x131 
x132 
x133 
x134 
x135 
x136 
x137 
x138 
x139 
x140 
x141 
x142 
x143 
x144 
x145 
x146 
x147 
x148 
x149 
x150 
x151 
x152 
x153 
x154 
x155 
x156 
x157 
x158 
x159 
x160 
x161 
x162 
x163 
x164 
x165 
x166 
x167 
x168 
x169 
x170 
x171 
x172 
x173 
x174 
x175 
x176 
x177 
x178 
x179 
x180 
x181 
x182 
x183 
x184 
x185 
x186 
x187 
x188 
x189 
x190 
x191 
x192 
x193 
x194 
x195 
x196 
x197 
x198 
x199 
x200 
x201 
x202 
x203 
x204 
x205 
x206 
x207 
x208 
x209 
x210 
x211 
x212 
x213 
x214 
x215 
x216 
x217 
x218 
x219 
x220 
x221 
x222 
x223 
x224 
x225 
x226 
x227 
x228 
x229 
x230 
x231 
x232 
x233 
x234 
x235 
x236 
x237 
x238 
x239 
x240 
x241 
x242 
x243 
x244 
x245 
x246 
x247 
x248 
x249 
x250 
end