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