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