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