maximize objective: + 929x1 + 590x2 + 683x3 + 694x4 + 819x5 + 716x6 + 587x7 + 794x8 + 686x9 + 845x10 + 827x11 + 693x12 + 872x13 + 651x14 + 667x15 + 792x16 + 650x17 + 951x18 + 917x19 + 588x20 + 915x21 + 630x22 + 521x23 + 952x24 + 911x25 + 960x26 + 564x27 + 1026x28 + 774x29 + 934x30 + 970x31 + 887x32 + 558x33 + 824x34 + 468x35 + 500x36 + 832x37 + 979x38 + 540x39 + 823x40 + 693x41 + 534x42 + 1030x43 + 860x44 + 706x45 + 962x46 + 702x47 + 588x48 + 489x49 + 615x50 + 888x51 + 660x52 + 998x53 + 735x54 + 677x55 + 595x56 + 816x57 + 673x58 + 576x59 + 777x60 + 1029x61 + 888x62 + 808x63 + 553x64 + 1073x65 + 971x66 + 543x67 + 650x68 + 937x69 + 828x70 + 465x71 + 885x72 + 774x73 + 924x74 + 617x75 + 971x76 + 956x77 + 983x78 + 846x79 + 920x80 + 991x81 + 643x82 + 558x83 + 793x84 + 759x85 + 590x86 + 508x87 + 676x88 + 620x89 + 580x90 + 590x91 + 818x92 + 882x93 + 1046x94 + 790x95 + 1066x96 + 1006x97 + 856x98 + 703x99 + 768x100 subject to constr1: + 603x1 + 699x2 + 5x3 + 161x4 + 805x5 + 852x6 + 727x7 + 266x8 + 360x9 + 296x10 + 894x11 + 242x12 + 891x13 + 740x14 + 102x15 + 952x16 + 550x17 + 54x18 + 973x19 + 1x20 + 173x21 + 603x22 + 112x23 + 143x24 + 758x25 + 208x26 + 256x27 + 525x28 + 945x29 + 531x30 + 834x31 + 502x32 + 802x33 + 568x34 + 713x35 + 961x36 + 151x37 + 594x38 + 724x39 + 701x40 + 338x41 + 799x42 + 607x43 + 179x44 + 374x45 + 154x46 + 330x47 + 208x48 + 905x49 + 159x50 + 364x51 + 344x52 + 854x53 + 241x54 + 5x55 + 570x56 + 943x57 + 355x58 + 806x59 + 845x60 + 357x61 + 977x62 + 658x63 + 141x64 + 879x65 + 924x66 + 352x67 + 445x68 + 860x69 + 759x70 + 951x71 + 732x72 + 417x73 + 596x74 + 145x75 + 24x76 + 65x77 + 653x78 + 883x79 + 59x80 + 503x81 + 716x82 + 754x83 + 224x84 + 428x85 + 298x86 + 700x87 + 124x88 + 890x89 + 184x90 + 865x91 + 612x92 + 644x93 + 263x94 + 289x95 + 242x96 + 140x97 + 447x98 + 274x99 + 367x100 <=37649 constr2: + 554x1 + 226x2 + 288x3 + 535x4 + 301x5 + 22x6 + 291x7 + 408x8 + 971x9 + 213x10 + 431x11 + 696x12 + 952x13 + 525x14 + 774x15 + 497x16 + 561x17 + 117x18 + 629x19 + 822x20 + 685x21 + 998x22 + 273x23 + 946x24 + 777x25 + 909x26 + 192x27 + 525x28 + 727x29 + 755x30 + 783x31 + 381x32 + 547x33 + 499x34 + 415x35 + 806x36 + 230x37 + 582x38 + 14x39 + 170x40 + 559x41 + 592x42 + 70x43 + 903x44 + 165x45 + 784x46 + 97x47 + 227x48 + 444x49 + 523x50 + 487x51 + 344x52 + 490x53 + 270x54 + 589x55 + 407x56 + 177x57 + 148x58 + 166x59 + 605x60 + 858x61 + 165x62 + 990x63 + 193x64 + 838x65 + 563x66 + 507x67 + 137x68 + 517x69 + 715x70 + 930x71 + 895x72 + 442x73 + 337x74 + 234x75 + 824x76 + 892x77 + 632x78 + 810x79 + 454x80 + 421x81 + 195x82 + 164x83 + 194x84 + 536x85 + 638x86 + 950x87 + 67x88 + 493x89 + 836x90 + 972x91 + 924x92 + 53x93 + 631x94 + 960x95 + 177x96 + 116x97 + 490x98 + 237x99 + 944x100 <=38254 constr3: + 312x1 + 494x2 + 230x3 + 376x4 + 230x5 + 541x6 + 313x7 + 194x8 + 423x9 + 603x10 + 418x11 + 658x12 + 525x13 + 62x14 + 113x15 + 235x16 + 360x17 + 145x18 + 140x19 + 973x20 + 758x21 + 308x22 + 402x23 + 745x24 + 902x25 + 273x26 + 100x27 + 222x28 + 291x29 + 598x30 + 308x31 + 307x32 + 305x33 + 694x34 + 291x35 + 379x36 + 217x37 + 319x38 + 196x39 + 111x40 + 421x41 + 633x42 + 769x43 + 598x44 + 778x45 + 603x46 + 521x47 + 925x48 + 336x49 + 997x50 + 358x51 + 383x52 + 763x53 + 220x54 + 976x55 + 227x56 + 70x57 + 842x58 + 700x59 + 425x60 + 197x61 + 762x62 + 922x63 + 58x64 + 791x65 + 724x66 + 601x67 + 417x68 + 621x69 + 332x70 + 338x71 + 29x72 + 86x73 + 362x74 + 591x75 + 244x76 + 590x77 + 850x78 + 370x79 + 311x80 + 914x81 + 570x82 + 381x83 + 528x84 + 684x85 + 13x86 + 13x87 + 124x88 + 62x89 + 330x90 + 694x91 + 88x92 + 120x93 + 403x94 + 773x95 + 228x96 + 139x97 + 158x98 + 759x99 + 210x100 <=32252 constr4: + 649x1 + 566x2 + 156x3 + 230x4 + 154x5 + 295x6 + 27x7 + 771x8 + 360x9 + 852x10 + 837x11 + 337x12 + 845x13 + 176x14 + 169x15 + 615x16 + 689x17 + 142x18 + 562x19 + 10x20 + 685x21 + 826x22 + 666x23 + 564x24 + 806x25 + 963x26 + 589x27 + 907x28 + 715x29 + 511x30 + 550x31 + 454x32 + 894x33 + 717x34 + 562x35 + 352x36 + 274x37 + 408x38 + 566x39 + 866x40 + 408x41 + 208x42 + 897x43 + 234x44 + 953x45 + 993x46 + 793x47 + 366x48 + 866x49 + 152x50 + 703x51 + 359x52 + 819x53 + 121x54 + 546x55 + 341x56 + 919x57 + 202x58 + 828x59 + 6x60 + 569x61 + 925x62 + 334x63 + 357x64 + 706x65 + 872x66 + 36x67 + 396x68 + 556x69 + 540x70 + 344x71 + 891x72 + 278x73 + 71x74 + 791x75 + 900x76 + 902x77 + 898x78 + 438x79 + 939x80 + 528x81 + 66x82 + 475x83 + 697x84 + 880x85 + 640x86 + 908x87 + 955x88 + 577x89 + 895x90 + 976x91 + 332x92 + 211x93 + 248x94 + 654x95 + 799x96 + 55x97 + 63x98 + 249x99 + 491x100 <=40855 constr5: + 26x1 + 699x2 + 144x3 + 252x4 + 666x5 + 840x6 + 255x7 + 285x8 + 660x9 + 173x10 + 936x11 + 704x12 + 138x13 + 229x14 + 719x15 + 681x16 + 429x17 + 742x18 + 744x19 + 382x20 + 590x21 + 834x22 + 17x23 + 287x24 + 67x25 + 961x26 + 399x27 + 172x28 + 204x29 + 411x30 + 674x31 + 51x32 + 475x33 + 598x34 + 631x35 + 262x36 + 261x37 + 236x38 + 753x39 + 239x40 + 500x41 + 265x42 + 535x43 + 75x44 + 384x45 + 536x46 + 539x47 + 327x48 + 793x49 + 187x50 + 624x51 + 574x52 + 756x53 + 668x54 + 969x55 + 861x56 + 793x57 + 943x58 + 105x59 + 844x60 + 265x61 + 819x62 + 510x63 + 157x64 + 536x65 + 812x66 + 581x67 + 282x68 + 902x69 + 762x70 + 548x71 + 896x72 + 301x73 + 23x74 + 826x75 + 374x76 + 410x77 + 899x78 + 767x79 + 475x80 + 371x81 + 672x82 + 530x83 + 458x84 + 493x85 + 525x86 + 806x87 + 407x88 + 955x89 + 546x90 + 956x91 + 391x92 + 110x93 + 976x94 + 759x95 + 945x96 + 375x97 + 390x98 + 649x99 + 342x100 <=38929 constr6: + 885x1 + 475x2 + 169x3 + 289x4 + 247x5 + 999x6 + 282x7 + 431x8 + 512x9 + 15x10 + 266x11 + 325x12 + 405x13 + 292x14 + 327x15 + 476x16 + 976x17 + 851x18 + 537x19 + 870x20 + 355x21 + 987x22 + 479x23 + 901x24 + 299x25 + 121x26 + 147x27 + 679x28 + 538x29 + 475x30 + 677x31 + 451x32 + 498x33 + 446x34 + 336x35 + 811x36 + 594x37 + 607x38 + 790x39 + 55x40 + 746x41 + 668x42 + 629x43 + 205x44 + 207x45 + 544x46 + 526x47 + 739x48 + 302x49 + 113x50 + 969x51 + 552x52 + 935x53 + 650x54 + 619x55 + 133x56 + 545x57 + 510x58 + 130x59 + 215x60 + 335x61 + 683x62 + 310x63 + 897x64 + 414x65 + 299x66 + 872x67 + 676x68 + 134x69 + 201x70 + 583x71 + 262x72 + 785x73 + 352x74 + 247x75 + 499x76 + 623x77 + 628x78 + 984x79 + 638x80 + 21x81 + 324x82 + 103x83 + 350x84 + 409x85 + 854x86 + 199x87 + 361x88 + 783x89 + 184x90 + 502x91 + 769x92 + 456x93 + 263x94 + 383x95 + 872x96 + 527x97 + 443x98 + 26x99 + 461x100 <=36393 constr7: + 36x1 + 69x2 + 541x3 + 812x4 + 60x5 + 422x6 + 473x7 + 487x8 + 343x9 + 606x10 + 973x11 + 7x12 + 607x13 + 54x14 + 203x15 + 288x16 + 96x17 + 87x18 + 925x19 + 599x20 + 173x21 + 271x22 + 245x23 + 381x24 + 357x25 + 631x26 + 606x27 + 616x28 + 191x29 + 837x30 + 846x31 + 102x32 + 770x33 + 362x34 + 960x35 + 209x36 + 691x37 + 475x38 + 459x39 + 273x40 + 661x41 + 480x42 + 877x43 + 420x44 + 755x45 + 887x46 + 101x47 + 446x48 + 853x49 + 702x50 + 611x51 + 305x52 + 259x53 + 146x54 + 375x55 + 986x56 + 332x57 + 370x58 + 804x59 + 809x60 + 909x61 + 690x62 + 875x63 + 127x64 + 346x65 + 937x66 + 711x67 + 629x68 + 182x69 + 433x70 + 853x71 + 321x72 + 875x73 + 954x74 + 727x75 + 895x76 + 81x77 + 958x78 + 588x79 + 800x80 + 374x81 + 290x82 + 721x83 + 909x84 + 345x85 + 201x86 + 406x87 + 346x88 + 519x89 + 1000x90 + 449x91 + 339x92 + 409x93 + 65x94 + 690x95 + 424x96 + 612x97 + 816x98 + 315x99 + 760x100 <=38402 constr8: + 566x1 + 464x2 + 30x3 + 686x4 + 425x5 + 59x6 + 668x7 + 494x8 + 425x9 + 187x10 + 953x11 + 382x12 + 197x13 + 539x14 + 369x15 + 356x16 + 888x17 + 453x18 + 880x19 + 812x20 + 820x21 + 906x22 + 892x23 + 606x24 + 643x25 + 507x26 + 59x27 + 473x28 + 790x29 + 890x30 + 476x31 + 34x32 + 793x33 + 823x34 + 399x35 + 554x36 + 981x37 + 835x38 + 27x39 + 954x40 + 315x41 + 279x42 + 284x43 + 656x44 + 625x45 + 843x46 + 777x47 + 799x48 + 30x49 + 861x50 + 70x51 + 863x52 + 517x53 + 175x54 + 366x55 + 218x56 + 716x57 + 111x58 + 86x59 + 114x60 + 569x61 + 285x62 + 473x63 + 90x64 + 201x65 + 782x66 + 168x67 + 163x68 + 128x69 + 651x70 + 942x71 + 987x72 + 200x73 + 257x74 + 628x75 + 69x76 + 570x77 + 991x78 + 817x79 + 828x80 + 677x81 + 474x82 + 279x83 + 573x84 + 193x85 + 296x86 + 982x87 + 526x88 + 187x89 + 293x90 + 834x91 + 546x92 + 782x93 + 225x94 + 235x95 + 10x96 + 421x97 + 630x98 + 200x99 + 419x100 <=37186 constr9: + 987x1 + 115x2 + 731x3 + 50x4 + 983x5 + 626x6 + 602x7 + 39x8 + 784x9 + 177x10 + 475x11 + 852x12 + 580x13 + 891x14 + 76x15 + 604x16 + 737x17 + 692x18 + 734x19 + 92x20 + 303x21 + 486x22 + 400x23 + 27x24 + 332x25 + 870x26 + 570x27 + 921x28 + 701x29 + 742x30 + 232x31 + 512x32 + 445x33 + 697x34 + 594x35 + 341x36 + 792x37 + 977x38 + 14x39 + 501x40 + 20x41 + 296x42 + 149x43 + 647x44 + 20x45 + 960x46 + 989x47 + 214x48 + 107x49 + 419x50 + 28x51 + 683x52 + 307x53 + 906x54 + 607x55 + 708x56 + 659x57 + 86x58 + 165x59 + 622x60 + 514x61 + 743x62 + 656x63 + 532x64 + 534x65 + 40x66 + 845x67 + 501x68 + 675x69 + 687x70 + 471x71 + 518x72 + 172x73 + 877x74 + 583x75 + 805x76 + 427x77 + 850x78 + 346x79 + 785x80 + 873x81 + 702x82 + 80x83 + 346x84 + 52x85 + 319x86 + 80x87 + 100x88 + 43x89 + 62x90 + 126x91 + 659x92 + 786x93 + 808x94 + 199x95 + 157x96 + 590x97 + 717x98 + 442x99 + 146x100 <=36543 constr10: + 368x1 + 915x2 + 846x3 + 284x4 + 906x5 + 615x6 + 171x7 + 590x8 + 691x9 + 744x10 + 738x11 + 62x12 + 602x13 + 700x14 + 596x15 + 571x16 + 923x17 + 512x18 + 171x19 + 541x20 + 69x21 + 1000x22 + 898x23 + 318x24 + 367x25 + 898x26 + 318x27 + 892x28 + 486x29 + 474x30 + 225x31 + 172x32 + 832x33 + 837x34 + 971x35 + 45x36 + 493x37 + 375x38 + 183x39 + 778x40 + 155x41 + 915x42 + 486x43 + 613x44 + 774x45 + 974x46 + 318x47 + 820x48 + 921x49 + 586x50 + 496x51 + 957x52 + 159x53 + 195x54 + 580x55 + 560x56 + 328x57 + 292x58 + 197x59 + 137x60 + 701x61 + 687x62 + 916x63 + 378x64 + 178x65 + 950x66 + 245x67 + 947x68 + 509x69 + 188x70 + 308x71 + 817x72 + 851x73 + 346x74 + 173x75 + 599x76 + 333x77 + 483x78 + 406x79 + 302x80 + 573x81 + 663x82 + 166x83 + 173x84 + 811x85 + 648x86 + 146x87 + 394x88 + 429x89 + 518x90 + 587x91 + 116x92 + 18x93 + 899x94 + 113x95 + 846x96 + 278x97 + 533x98 + 29x99 + 188x100 <=38314 constr11: + 603x1 + 487x2 + 577x3 + 970x4 + 499x5 + 110x6 + 417x7 + 306x8 + 903x9 + 892x10 + 438x11 + 433x12 + 23x13 + 415x14 + 326x15 + 70x16 + 824x17 + 759x18 + 453x19 + 266x20 + 351x21 + 657x22 + 201x23 + 645x24 + 527x25 + 358x26 + 297x27 + 863x28 + 620x29 + 115x30 + 715x31 + 97x32 + 725x33 + 639x34 + 904x35 + 639x36 + 275x37 + 830x38 + 560x39 + 615x40 + 341x41 + 496x42 + 564x43 + 142x44 + 175x45 + 297x46 + 616x47 + 654x48 + 302x49 + 326x50 + 236x51 + 833x52 + 996x53 + 340x54 + 15x55 + 900x56 + 924x57 + 945x58 + 595x59 + 693x60 + 684x61 + 847x62 + 191x63 + 363x64 + 437x65 + 412x66 + 614x67 + 271x68 + 44x69 + 379x70 + 978x71 + 766x72 + 110x73 + 992x74 + 353x75 + 259x76 + 317x77 + 317x78 + 939x79 + 526x80 + 725x81 + 87x82 + 649x83 + 263x84 + 190x85 + 984x86 + 37x87 + 953x88 + 207x89 + 707x90 + 784x91 + 575x92 + 406x93 + 594x94 + 376x95 + 496x96 + 66x97 + 743x98 + 150x99 + 217x100 <=37352 constr12: + 357x1 + 948x2 + 777x3 + 590x4 + 514x5 + 547x6 + 484x7 + 433x8 + 266x9 + 500x10 + 928x11 + 878x12 + 110x13 + 178x14 + 186x15 + 932x16 + 980x17 + 20x18 + 770x19 + 396x20 + 914x21 + 93x22 + 448x23 + 959x24 + 411x25 + 771x26 + 151x27 + 137x28 + 316x29 + 967x30 + 830x31 + 879x32 + 990x33 + 745x34 + 859x35 + 281x36 + 625x37 + 425x38 + 822x39 + 216x40 + 685x41 + 653x42 + 783x43 + 798x44 + 776x45 + 902x46 + 223x47 + 960x48 + 102x49 + 201x50 + 983x51 + 253x52 + 955x53 + 254x54 + 659x55 + 571x56 + 474x57 + 114x58 + 963x59 + 286x60 + 428x61 + 125x62 + 855x63 + 327x64 + 871x65 + 67x66 + 856x67 + 622x68 + 891x69 + 595x70 + 39x71 + 440x72 + 998x73 + 673x74 + 895x75 + 662x76 + 883x77 + 500x78 + 553x79 + 675x80 + 212x81 + 62x82 + 403x83 + 836x84 + 548x85 + 207x86 + 528x87 + 581x88 + 363x89 + 376x90 + 221x91 + 231x92 + 712x93 + 352x94 + 73x95 + 915x96 + 920x97 + 153x98 + 666x99 + 989x100 <=41648 constr13: + 529x1 + 192x2 + 991x3 + 609x4 + 317x5 + 935x6 + 457x7 + 974x8 + 663x9 + 74x10 + 80x11 + 613x12 + 190x13 + 156x14 + 95x15 + 352x16 + 445x17 + 439x18 + 352x19 + 363x20 + 302x21 + 629x22 + 365x23 + 692x24 + 554x25 + 25x26 + 211x27 + 897x28 + 210x29 + 404x30 + 679x31 + 117x32 + 130x33 + 753x34 + 413x35 + 274x36 + 442x37 + 904x38 + 389x39 + 366x40 + 420x41 + 203x42 + 588x43 + 590x44 + 373x45 + 354x46 + 83x47 + 67x48 + 236x49 + 302x50 + 306x51 + 806x52 + 900x53 + 656x54 + 331x55 + 676x56 + 177x57 + 383x58 + 110x59 + 346x60 + 803x61 + 395x62 + 552x63 + 640x64 + 286x65 + 213x66 + 386x67 + 893x68 + 94x69 + 291x70 + 410x71 + 294x72 + 531x73 + 325x74 + 740x75 + 94x76 + 480x77 + 312x78 + 655x79 + 907x80 + 122x81 + 317x82 + 680x83 + 6x84 + 523x85 + 633x86 + 318x87 + 89x88 + 109x89 + 603x90 + 26x91 + 471x92 + 917x93 + 559x94 + 740x95 + 708x96 + 501x97 + 213x98 + 942x99 + 433x100 <=32775 constr14: + 983x1 + 360x2 + 969x3 + 806x4 + 674x5 + 816x6 + 617x7 + 892x8 + 991x9 + 935x10 + 594x11 + 90x12 + 840x13 + 707x14 + 408x15 + 804x16 + 693x17 + 449x18 + 791x19 + 426x20 + 182x21 + 259x22 + 326x23 + 526x24 + 223x25 + 879x26 + 892x27 + 139x28 + 511x29 + 256x30 + 920x31 + 837x32 + 743x33 + 696x34 + 10x35 + 845x36 + 603x37 + 988x38 + 875x39 + 194x40 + 306x41 + 214x42 + 717x43 + 726x44 + 661x45 + 561x46 + 306x47 + 478x48 + 153x49 + 543x50 + 942x51 + 7x52 + 604x53 + 98x54 + 259x55 + 976x56 + 618x57 + 51x58 + 688x59 + 571x60 + 429x61 + 550x62 + 577x63 + 27x64 + 925x65 + 131x66 + 509x67 + 645x68 + 909x69 + 19x70 + 122x71 + 414x72 + 513x73 + 158x74 + 104x75 + 753x76 + 1x77 + 670x78 + 72x79 + 821x80 + 567x81 + 443x82 + 530x83 + 47x84 + 816x85 + 30x86 + 953x87 + 957x88 + 148x89 + 396x90 + 840x91 + 6x92 + 669x93 + 936x94 + 817x95 + 898x96 + 842x97 + 279x98 + 705x99 + 332x100 <=40341 constr15: + 488x1 + 554x2 + 541x3 + 18x4 + 925x5 + 326x6 + 562x7 + 465x8 + 44x9 + 227x10 + 48x11 + 601x12 + 824x13 + 158x14 + 508x15 + 820x16 + 169x17 + 135x18 + 952x19 + 421x20 + 87x21 + 714x22 + 787x23 + 802x24 + 185x25 + 726x26 + 423x27 + 321x28 + 188x29 + 615x30 + 567x31 + 396x32 + 309x33 + 339x34 + 197x35 + 604x36 + 5x37 + 63x38 + 164x39 + 287x40 + 815x41 + 591x42 + 922x43 + 794x44 + 730x45 + 248x46 + 860x47 + 724x48 + 15x49 + 894x50 + 911x51 + 224x52 + 162x53 + 124x54 + 2x55 + 376x56 + 72x57 + 326x58 + 524x59 + 377x60 + 885x61 + 320x62 + 95x63 + 379x64 + 410x65 + 357x66 + 105x67 + 822x68 + 441x69 + 496x70 + 14x71 + 467x72 + 640x73 + 755x74 + 800x75 + 351x76 + 783x77 + 592x78 + 601x79 + 753x80 + 82x81 + 490x82 + 830x83 + 501x84 + 485x85 + 530x86 + 916x87 + 576x88 + 195x89 + 83x90 + 664x91 + 659x92 + 540x93 + 900x94 + 784x95 + 723x96 + 905x97 + 689x98 + 90x99 + 526x100 <=35618 constr16: + 377x1 + 769x2 + 944x3 + 77x4 + 457x5 + 414x6 + 664x7 + 738x8 + 238x9 + 86x10 + 709x11 + 25x12 + 866x13 + 203x14 + 663x15 + 62x16 + 464x17 + 621x18 + 299x19 + 538x20 + 488x21 + 42x22 + 266x23 + 965x24 + 217x25 + 643x26 + 627x27 + 690x28 + 745x29 + 887x30 + 392x31 + 13x32 + 877x33 + 883x34 + 49x35 + 621x36 + 969x37 + 664x38 + 379x39 + 322x40 + 199x41 + 179x42 + 725x43 + 717x44 + 472x45 + 18x46 + 936x47 + 994x48 + 355x49 + 100x50 + 109x51 + 758x52 + 961x53 + 349x54 + 635x55 + 304x56 + 668x57 + 156x58 + 415x59 + 673x60 + 650x61 + 365x62 + 363x63 + 627x64 + 694x65 + 317x66 + 226x67 + 355x68 + 721x69 + 538x70 + 688x71 + 287x72 + 530x73 + 566x74 + 156x75 + 133x76 + 75x77 + 855x78 + 362x79 + 825x80 + 639x81 + 527x82 + 338x83 + 860x84 + 460x85 + 852x86 + 723x87 + 196x88 + 333x89 + 527x90 + 670x91 + 120x92 + 717x93 + 245x94 + 538x95 + 848x96 + 570x97 + 104x98 + 562x99 + 735x100 <=37180 constr17: + 631x1 + 931x2 + 984x3 + 720x4 + 784x5 + 263x6 + 768x7 + 938x8 + 387x9 + 497x10 + 229x11 + 58x12 + 555x13 + 175x14 + 476x15 + 292x16 + 907x17 + 566x18 + 826x19 + 369x20 + 341x21 + 701x22 + 406x23 + 376x24 + 344x25 + 511x26 + 262x27 + 972x28 + 403x29 + 827x30 + 178x31 + 969x32 + 85x33 + 444x34 + 235x35 + 991x36 + 199x37 + 608x38 + 362x39 + 386x40 + 960x41 + 200x42 + 8x43 + 479x44 + 423x45 + 172x46 + 41x47 + 630x48 + 758x49 + 675x50 + 887x51 + 295x52 + 811x53 + 101x54 + 671x55 + 143x56 + 701x57 + 386x58 + 830x59 + 967x60 + 776x61 + 87x62 + 994x63 + 465x64 + 377x65 + 308x66 + 128x67 + 138x68 + 705x69 + 182x70 + 233x71 + 558x72 + 418x73 + 317x74 + 516x75 + 774x76 + 627x77 + 124x78 + 49x79 + 506x80 + 307x81 + 228x82 + 267x83 + 118x84 + 247x85 + 472x86 + 243x87 + 414x88 + 867x89 + 191x90 + 884x91 + 777x92 + 266x93 + 803x94 + 122x95 + 919x96 + 341x97 + 227x98 + 161x99 + 714x100 <=35958 constr18: + 685x1 + 355x2 + 407x3 + 430x4 + 226x5 + 903x6 + 216x7 + 144x8 + 399x9 + 194x10 + 246x11 + 215x12 + 691x13 + 513x14 + 669x15 + 262x16 + 145x17 + 341x18 + 464x19 + 77x20 + 922x21 + 180x22 + 942x23 + 858x24 + 367x25 + 680x26 + 705x27 + 154x28 + 112x29 + 770x30 + 12x31 + 16x32 + 212x33 + 46x34 + 474x35 + 569x36 + 382x37 + 950x38 + 222x39 + 766x40 + 964x41 + 396x42 + 942x43 + 111x44 + 583x45 + 912x46 + 215x47 + 127x48 + 153x49 + 21x50 + 103x51 + 147x52 + 554x53 + 548x54 + 940x55 + 106x56 + 497x57 + 669x58 + 688x59 + 820x60 + 667x61 + 673x62 + 705x63 + 778x64 + 44x65 + 728x66 + 218x67 + 137x68 + 960x69 + 315x70 + 756x71 + 790x72 + 1x73 + 922x74 + 410x75 + 672x76 + 494x77 + 515x78 + 598x79 + 321x80 + 680x81 + 143x82 + 263x83 + 930x84 + 988x85 + 349x86 + 160x87 + 929x88 + 62x89 + 810x90 + 207x91 + 691x92 + 52x93 + 839x94 + 681x95 + 481x96 + 167x97 + 656x98 + 224x99 + 117x100 <=34913 constr19: + 639x1 + 558x2 + 691x3 + 345x4 + 109x5 + 356x6 + 953x7 + 436x8 + 240x9 + 810x10 + 469x11 + 195x12 + 748x13 + 51x14 + 9x15 + 625x16 + 54x17 + 111x18 + 296x19 + 406x20 + 392x21 + 160x22 + 429x23 + 137x24 + 389x25 + 108x26 + 724x27 + 813x28 + 483x29 + 103x30 + 340x31 + 157x32 + 868x33 + 870x34 + 10x35 + 767x36 + 347x37 + 763x38 + 604x39 + 601x40 + 246x41 + 220x42 + 50x43 + 775x44 + 375x45 + 482x46 + 437x47 + 24x48 + 890x49 + 994x50 + 388x51 + 667x52 + 271x53 + 558x54 + 323x55 + 884x56 + 101x57 + 953x58 + 802x59 + 975x60 + 354x61 + 660x62 + 142x63 + 192x64 + 701x65 + 379x66 + 114x67 + 904x68 + 456x69 + 991x70 + 427x71 + 425x72 + 470x73 + 34x74 + 982x75 + 899x76 + 800x77 + 116x78 + 371x79 + 278x80 + 935x81 + 328x82 + 894x83 + 511x84 + 401x85 + 165x86 + 281x87 + 254x88 + 452x89 + 781x90 + 226x91 + 837x92 + 828x93 + 936x94 + 469x95 + 56x96 + 268x97 + 382x98 + 979x99 + 580x100 <=35879 constr20: + 869x1 + 743x2 + 518x3 + 290x4 + 946x5 + 242x6 + 553x7 + 545x8 + 880x9 + 256x10 + 666x11 + 597x12 + 470x13 + 838x14 + 148x15 + 481x16 + 944x17 + 388x18 + 798x19 + 157x20 + 242x21 + 401x22 + 189x23 + 320x24 + 407x25 + 90x26 + 195x27 + 172x28 + 232x29 + 806x30 + 532x31 + 523x32 + 11x33 + 435x34 + 164x35 + 173x36 + 777x37 + 775x38 + 626x39 + 735x40 + 229x41 + 150x42 + 443x43 + 851x44 + 613x45 + 190x46 + 367x47 + 98x48 + 282x49 + 956x50 + 27x51 + 634x52 + 648x53 + 324x54 + 299x55 + 15x56 + 517x57 + 834x58 + 917x59 + 787x60 + 865x61 + 284x62 + 46x63 + 45x64 + 921x65 + 804x66 + 222x67 + 643x68 + 907x69 + 655x70 + 251x71 + 935x72 + 385x73 + 438x74 + 317x75 + 738x76 + 486x77 + 215x78 + 878x79 + 859x80 + 721x81 + 380x82 + 224x83 + 317x84 + 612x85 + 390x86 + 276x87 + 260x88 + 572x89 + 361x90 + 502x91 + 46x92 + 975x93 + 847x94 + 673x95 + 362x96 + 935x97 + 137x98 + 276x99 + 626x100 <=36526 constr21: + 584x1 + 610x2 + 817x3 + 351x4 + 570x5 + 474x6 + 402x7 + 544x8 + 119x9 + 146x10 + 426x11 + 2x12 + 20x13 + 188x14 + 836x15 + 662x16 + 920x17 + 448x18 + 719x19 + 366x20 + 374x21 + 486x22 + 612x23 + 918x24 + 746x25 + 160x26 + 445x27 + 666x28 + 469x29 + 739x30 + 173x31 + 411x32 + 360x33 + 305x34 + 903x35 + 400x36 + 234x37 + 927x38 + 839x39 + 150x40 + 546x41 + 383x42 + 99x43 + 208x44 + 92x45 + 461x46 + 112x47 + 21x48 + 195x49 + 210x50 + 340x51 + 621x52 + 482x53 + 738x54 + 336x55 + 961x56 + 595x57 + 126x58 + 577x59 + 429x60 + 235x61 + 465x62 + 794x63 + 878x64 + 396x65 + 267x66 + 427x67 + 474x68 + 745x69 + 255x70 + 271x71 + 101x72 + 638x73 + 724x74 + 169x75 + 669x76 + 375x77 + 598x78 + 260x79 + 570x80 + 598x81 + 554x82 + 805x83 + 288x84 + 841x85 + 500x86 + 865x87 + 864x88 + 849x89 + 209x90 + 326x91 + 794x92 + 98x93 + 956x94 + 210x95 + 499x96 + 155x97 + 496x98 + 422x99 + 710x100 <=35552 constr22: + 925x1 + 697x2 + 832x3 + 227x4 + 108x5 + 907x6 + 715x7 + 786x8 + 927x9 + 480x10 + 288x11 + 77x12 + 127x13 + 531x14 + 584x15 + 609x16 + 385x17 + 637x18 + 816x19 + 907x20 + 603x21 + 882x22 + 435x23 + 419x24 + 841x25 + 403x26 + 831x27 + 874x28 + 405x29 + 89x30 + 871x31 + 218x32 + 56x33 + 46x34 + 691x35 + 953x36 + 970x37 + 836x38 + 306x39 + 933x40 + 795x41 + 842x42 + 699x43 + 206x44 + 856x45 + 122x46 + 566x47 + 567x48 + 740x49 + 332x50 + 605x51 + 730x52 + 28x53 + 248x54 + 690x55 + 166x56 + 8x57 + 14x58 + 23x59 + 426x60 + 754x61 + 846x62 + 335x63 + 87x64 + 568x65 + 646x66 + 512x67 + 135x68 + 314x69 + 46x70 + 781x71 + 463x72 + 715x73 + 133x74 + 494x75 + 677x76 + 927x77 + 178x78 + 286x79 + 585x80 + 449x81 + 322x82 + 912x83 + 29x84 + 361x85 + 276x86 + 824x87 + 109x88 + 759x89 + 318x90 + 419x91 + 941x92 + 114x93 + 501x94 + 22x95 + 845x96 + 887x97 + 319x98 + 455x99 + 149x100 <=37787 constr23: + 299x1 + 10x2 + 702x3 + 472x4 + 343x5 + 424x6 + 704x7 + 570x8 + 22x9 + 248x10 + 626x11 + 832x12 + 512x13 + 358x14 + 144x15 + 164x16 + 451x17 + 941x18 + 920x19 + 598x20 + 782x21 + 322x22 + 682x23 + 562x24 + 238x25 + 657x26 + 252x27 + 299x28 + 125x29 + 747x30 + 711x31 + 499x32 + 389x33 + 366x34 + 435x35 + 263x36 + 560x37 + 499x38 + 91x39 + 92x40 + 428x41 + 286x42 + 879x43 + 221x44 + 153x45 + 208x46 + 510x47 + 319x48 + 915x49 + 316x50 + 936x51 + 426x52 + 150x53 + 427x54 + 437x55 + 792x56 + 949x57 + 615x58 + 296x59 + 467x60 + 312x61 + 626x62 + 968x63 + 817x64 + 656x65 + 925x66 + 68x67 + 118x68 + 700x69 + 231x70 + 444x71 + 277x72 + 506x73 + 180x74 + 456x75 + 638x76 + 748x77 + 497x78 + 177x79 + 270x80 + 976x81 + 640x82 + 249x83 + 362x84 + 390x85 + 440x86 + 876x87 + 193x88 + 607x89 + 314x90 + 235x91 + 804x92 + 937x93 + 899x94 + 644x95 + 791x96 + 941x97 + 125x98 + 731x99 + 292x100 <=36526 constr24: + 485x1 + 276x2 + 54x3 + 516x4 + 918x5 + 217x6 + 411x7 + 644x8 + 898x9 + 328x10 + 347x11 + 153x12 + 162x13 + 857x14 + 347x15 + 916x16 + 22x17 + 330x18 + 918x19 + 755x20 + 180x21 + 623x22 + 565x23 + 814x24 + 713x25 + 367x26 + 489x27 + 236x28 + 459x29 + 110x30 + 502x31 + 553x32 + 394x33 + 305x34 + 471x35 + 560x36 + 634x37 + 549x38 + 681x39 + 615x40 + 122x41 + 126x42 + 250x43 + 464x44 + 305x45 + 544x46 + 830x47 + 809x48 + 182x49 + 544x50 + 212x51 + 224x52 + 940x53 + 584x54 + 893x55 + 672x56 + 503x57 + 845x58 + 912x59 + 98x60 + 193x61 + 656x62 + 573x63 + 108x64 + 827x65 + 542x66 + 744x67 + 754x68 + 997x69 + 337x70 + 82x71 + 63x72 + 164x73 + 330x74 + 78x75 + 522x76 + 846x77 + 677x78 + 481x79 + 737x80 + 766x81 + 546x82 + 206x83 + 774x84 + 232x85 + 637x86 + 12x87 + 532x88 + 395x89 + 397x90 + 424x91 + 608x92 + 505x93 + 477x94 + 250x95 + 143x96 + 641x97 + 996x98 + 953x99 + 35x100 <=36505 constr25: + 119x1 + 604x2 + 541x3 + 549x4 + 456x5 + 700x6 + 57x7 + 313x8 + 759x9 + 935x10 + 660x11 + 140x12 + 358x13 + 889x14 + 612x15 + 407x16 + 702x17 + 621x18 + 521x19 + 288x20 + 165x21 + 944x22 + 731x23 + 893x24 + 523x25 + 682x26 + 251x27 + 816x28 + 610x29 + 994x30 + 137x31 + 697x32 + 184x33 + 6x34 + 171x35 + 302x36 + 118x37 + 13x38 + 905x39 + 571x40 + 862x41 + 398x42 + 145x43 + 666x44 + 927x45 + 909x46 + 101x47 + 713x48 + 608x49 + 80x50 + 974x51 + 582x52 + 278x53 + 885x54 + 566x55 + 675x56 + 981x57 + 553x58 + 641x59 + 33x60 + 968x61 + 344x62 + 906x63 + 165x64 + 985x65 + 673x66 + 660x67 + 837x68 + 959x69 + 61x70 + 143x71 + 2x72 + 274x73 + 779x74 + 358x75 + 475x76 + 736x77 + 188x78 + 146x79 + 877x80 + 509x81 + 191x82 + 497x83 + 260x84 + 652x85 + 941x86 + 164x87 + 32x88 + 153x89 + 305x90 + 899x91 + 672x92 + 170x93 + 711x94 + 593x95 + 919x96 + 848x97 + 362x98 + 343x99 + 337x100 <=38711 constr26: + 10x1 + 491x2 + 482x3 + 60x4 + 724x5 + 261x6 + 68x7 + 399x8 + 665x9 + 401x10 + 483x11 + 747x12 + 501x13 + 65x14 + 403x15 + 379x16 + 897x17 + 383x18 + 555x19 + 869x20 + 918x21 + 19x22 + 154x23 + 590x24 + 824x25 + 239x26 + 33x27 + 335x28 + 943x29 + 771x30 + 742x31 + 498x32 + 455x33 + 431x34 + 203x35 + 99x36 + 474x37 + 660x38 + 690x39 + 550x40 + 50x41 + 233x42 + 807x43 + 923x44 + 289x45 + 447x46 + 347x47 + 740x48 + 76x49 + 499x50 + 964x51 + 219x52 + 460x53 + 247x54 + 342x55 + 84x56 + 762x57 + 391x58 + 88x59 + 846x60 + 741x61 + 227x62 + 182x63 + 992x64 + 702x65 + 330x66 + 546x67 + 597x68 + 93x69 + 193x70 + 289x71 + 711x72 + 220x73 + 390x74 + 847x75 + 205x76 + 647x77 + 784x78 + 402x79 + 117x80 + 174x81 + 594x82 + 415x83 + 704x84 + 267x85 + 403x86 + 119x87 + 728x88 + 505x89 + 415x90 + 119x91 + 778x92 + 554x93 + 763x94 + 178x95 + 698x96 + 615x97 + 651x98 + 550x99 + 323x100 <=34540 constr27: + 758x1 + 244x2 + 41x3 + 948x4 + 885x5 + 664x6 + 362x7 + 681x8 + 657x9 + 156x10 + 984x11 + 31x12 + 629x13 + 60x14 + 195x15 + 309x16 + 899x17 + 609x18 + 716x19 + 307x20 + 260x21 + 112x22 + 981x23 + 283x24 + 231x25 + 275x26 + 584x27 + 474x28 + 978x29 + 179x30 + 217x31 + 173x32 + 716x33 + 900x34 + 770x35 + 763x36 + 751x37 + 94x38 + 842x39 + 567x40 + 238x41 + 580x42 + 157x43 + 210x44 + 874x45 + 71x46 + 321x47 + 610x48 + 293x49 + 385x50 + 782x51 + 45x52 + 690x53 + 297x54 + 563x55 + 107x56 + 994x57 + 129x58 + 441x59 + 454x60 + 32x61 + 945x62 + 344x63 + 939x64 + 751x65 + 113x66 + 411x67 + 174x68 + 441x69 + 40x70 + 805x71 + 671x72 + 846x73 + 472x74 + 400x75 + 590x76 + 958x77 + 54x78 + 73x79 + 543x80 + 615x81 + 882x82 + 77x83 + 446x84 + 149x85 + 339x86 + 249x87 + 121x88 + 69x89 + 559x90 + 132x91 + 912x92 + 704x93 + 301x94 + 230x95 + 701x96 + 488x97 + 540x98 + 549x99 + 867x100 <=35294 constr28: + 803x1 + 879x2 + 500x3 + 393x4 + 546x5 + 415x6 + 770x7 + 387x8 + 920x9 + 982x10 + 530x11 + 868x12 + 179x13 + 725x14 + 240x15 + 222x16 + 445x17 + 389x18 + 687x19 + 557x20 + 823x21 + 501x22 + 922x23 + 166x24 + 146x25 + 384x26 + 433x27 + 435x28 + 389x29 + 468x30 + 416x31 + 812x32 + 69x33 + 307x34 + 438x35 + 260x36 + 704x37 + 161x38 + 738x39 + 721x40 + 256x41 + 922x42 + 965x43 + 473x44 + 64x45 + 400x46 + 560x47 + 293x48 + 304x49 + 151x50 + 20x51 + 934x52 + 160x53 + 522x54 + 723x55 + 978x56 + 894x57 + 114x58 + 242x59 + 173x60 + 688x61 + 121x62 + 587x63 + 415x64 + 1000x65 + 498x66 + 164x67 + 394x68 + 226x69 + 631x70 + 425x71 + 992x72 + 383x73 + 183x74 + 450x75 + 374x76 + 727x77 + 102x78 + 205x79 + 90x80 + 448x81 + 578x82 + 889x83 + 974x84 + 521x85 + 358x86 + 327x87 + 850x88 + 13x89 + 961x90 + 209x91 + 75x92 + 992x93 + 356x94 + 823x95 + 597x96 + 971x97 + 718x98 + 718x99 + 506x100 <=37813 constr29: + 159x1 + 376x2 + 295x3 + 575x4 + 403x5 + 95x6 + 553x7 + 107x8 + 622x9 + 885x10 + 454x11 + 487x12 + 980x13 + 710x14 + 734x15 + 916x16 + 952x17 + 682x18 + 405x19 + 31x20 + 949x21 + 648x22 + 453x23 + 197x24 + 677x25 + 501x26 + 460x27 + 719x28 + 118x29 + 15x30 + 635x31 + 899x32 + 319x33 + 653x34 + 228x35 + 56x36 + 646x37 + 306x38 + 873x39 + 408x40 + 351x41 + 45x42 + 772x43 + 99x44 + 228x45 + 370x46 + 722x47 + 127x48 + 343x49 + 566x50 + 46x51 + 441x52 + 608x53 + 748x54 + 519x55 + 346x56 + 263x57 + 747x58 + 249x59 + 883x60 + 497x61 + 220x62 + 716x63 + 774x64 + 595x65 + 117x66 + 447x67 + 994x68 + 359x69 + 783x70 + 203x71 + 532x72 + 281x73 + 206x74 + 199x75 + 517x76 + 512x77 + 398x78 + 518x79 + 568x80 + 117x81 + 248x82 + 146x83 + 512x84 + 349x85 + 319x86 + 519x87 + 532x88 + 503x89 + 222x90 + 591x91 + 938x92 + 84x93 + 950x94 + 25x95 + 620x96 + 713x97 + 592x98 + 361x99 + 924x100 <=35516 constr30: + 246x1 + 206x2 + 670x3 + 401x4 + 852x5 + 466x6 + 422x7 + 311x8 + 1000x9 + 419x10 + 586x11 + 96x12 + 770x13 + 139x14 + 784x15 + 420x16 + 220x17 + 969x18 + 524x19 + 50x20 + 291x21 + 687x22 + 230x23 + 404x24 + 79x25 + 604x26 + 890x27 + 587x28 + 707x29 + 71x30 + 722x31 + 896x32 + 467x33 + 112x34 + 363x35 + 221x36 + 880x37 + 318x38 + 546x39 + 23x40 + 157x41 + 376x42 + 117x43 + 853x44 + 870x45 + 276x46 + 457x47 + 549x48 + 726x49 + 625x50 + 175x51 + 323x52 + 293x53 + 373x54 + 557x55 + 849x56 + 139x57 + 902x58 + 366x59 + 884x60 + 448x61 + 409x62 + 697x63 + 860x64 + 103x65 + 52x66 + 402x67 + 866x68 + 413x69 + 428x70 + 19x71 + 175x72 + 62x73 + 461x74 + 800x75 + 880x76 + 594x77 + 405x78 + 701x79 + 491x80 + 825x81 + 464x82 + 536x83 + 369x84 + 780x85 + 145x86 + 614x87 + 513x88 + 71x89 + 45x90 + 542x91 + 848x92 + 112x93 + 471x94 + 31x95 + 586x96 + 224x97 + 595x98 + 635x99 + 262x100 <=34838 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 end