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