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