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