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