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