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