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