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