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