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