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