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