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