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