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