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