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