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