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