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