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