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