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