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