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