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