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