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