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