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