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