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