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