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