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