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