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