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