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