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