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