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