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