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