#  NLP written by GAMS Convert at 01/12/18 13:30:02
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#         94       93        1        0        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        136      136        0        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#        622      398      224        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x1;
var x2 := 1;
var x3 := 0.769605263157895, >= 0.769605263157895, <= 1;
var x4 := 0.995217391304348, >= 0.995217391304348, <= 1;
var x5 := 0.995555555555556, >= 0.995555555555556, <= 1;
var x6 := 0.992666666666667, >= 0.992666666666667, <= 1;
var x7 := 1, >= 0.993721719457014, <= 1;
var x8 := 0.609477392422885, >= 0.166666666666667, <= 1;
var x9 := 1, >= 0.829898754450936, <= 1;
var x10 := 0.990909090909091, >= 0.990909090909091, <= 1;
var x11 := 0.75704303034117, >= 0.0909090909090909, <= 1;
var x12 := 1, >= 0.558008742888922, <= 1;
var x13 := 0.620380485461038, >= 0.24, <= 1;
var x14 := 0.7425, >= 0, <= 1;
var x15 := 0.99, >= 0.99, <= 1;
var x16 := 1, >= 0.195259734937315, <= 1;
var x17 := 0.99, >= 0.99, <= 1;
var x18 := 0.99, >= 0.99, <= 1;
var x19 := 0.99, >= 0.99, <= 1;
var x20 := 1, >= 0.799456530248838, <= 1;
var x21 := 0.99, >= 0.99, <= 1;
var x22 := 0.82722772047243, >= 0, <= 1;
var x23 := 1, >= 0.154691754638671, <= 1;
var x24 := 0.454439898473329, >= 0.1, <= 1;
var x25 := 1, >= 0.1, <= 1;
var x26 := 0.962110681567005, >= 0, <= 1;
var x27 := 0.990153846153846, >= 0.990153846153846, <= 1;
var x28 := 1, >= 0.466666666666667, <= 1;
var x29 := 0.739627645250665, >= 0.454545454545455, <= 1;
var x30 := 1, >= 0.99005, <= 1;
var x31 := 1, >= 0.03, <= 1;
var x32 := -0.0697674418604651, >= -0.0790697674418604, <= -0.0697674418604651;
var x33 := 1, >= 0.1, <= 1;
var x34 := 1, >= 0.5, <= 1;
var x35 := 0.947739811219519, >= 0.947739811219519, <= 1;
var x36 := 1, >= 0.06015625, <= 1;
var x37 >= 0, <= 1;
var x38 := 0.99, >= 0.99, <= 1;
var x39 := 0.996111111111111, >= 0.996111111111111, <= 1;
var x40 := 1, >= 0, <= 1;
var x41 := 0.991111111111111, >= 0.991111111111111, <= 1;
var x42 := 1, >= 0.325, <= 1;
var x43 := 1, >= 0.121457489878542, <= 1;
var x44 := -1;
var x45 := 1;
var x46 := 26.4979299926163;
var x47 := 46.2412972809146;
var x48 := 35.0058586276389;
var x49 := 48.1108759451632;
var x50 := 972.417172849226;
var x51 := 850.971904032363;
var x52 := 162.731354097068;
var x53 := 98.996614722071;
var x54 := 10.9657631196244;
var x55 := 69.2369063745458;
var x56 := 41.268395873387;
var x57 := 33.9038699315052;
var x58 := 32.2122519448854;
var x59 := 30.3581513052414;
var x60 := 25.9497772261976;
var x61 := 1000;
var x62 := 626.515389156456;
var x63 := 211.859237363438;
var x64 := 130.563745077337;
var x65 := 1000;
var x66 := 775.463290420516;
var x67 := 67.1141014135916;
var x68 := 13.0703096228338;
var x69 := 45.7750821130056;
var x70 := 69.8013678011098;
var x71 := 68.7410092326304;
var x72 := 17.6407470715443;
var x73 := 39.3054946452578;
var x74 := 15.3358035549739;
var x75 := 3.9296524789746;
var x76 := 73.4594298739173;
var x77 := 19.7717275861156;
var x78 := 8.19148713473384;
var x79 := 59.5799324356918;
var x80 := 958.823093506976;
var x81 := 3.11046968904601;
var x82 := 867.663123649993;
var x83 := 9015.22493475262;
var x84 := 9.07228738195361;
var x85 := 34.5674547737145;
var x86 := 62.5049603369898;
var x87 := 255.87261501992;
var x88 := 82.7387357279696;
var x89 := -1;
var x90 := 1;
var x91 := 3.27706661645498;
var x92 := 3.83387327935368;
var x93 := 3.55551543684249;
var x94 := 3.8735082626785;
var x95 := 0.00102836522011441, >= 0.001;
var x96 := 0.00117512692870525, >= 0.001;
var x97 := 0.0783906708173649, >= 0.001;
var x98 := 0.100505499919625, >= 0.001;
var x99 := 0.0911929237473551, >= 0.001;
var x100 := 0.0144431640921241, >= 0.001;
var x101 := 0.0242316178963688, >= 0.001;
var x102 := 0.0294951579869869, >= 0.001;
var x103 := 0.031044088494985, >= 0.001;
var x104 := 0.0329400822186101, >= 0.001;
var x105 := 0.0385359762930879, >= 0.001;
var x106 := 0.001, >= 0.001;
var x107 := 0.00159612998708046, >= 0.001;
var x108 := 0.0687030943199246, >= 0.001;
var x109 := 0.0875162500710887, >= 0.001;
var x110 := 0.001, >= 0.001;
var x111 := 6.65346064483662;
var x112 := 4.20639417709323;
var x113 := 2.57034321693739;
var x114 := 3.82373988439852;
var x115 := 4.24565360558077;
var x116 := 0.120612424621861, >= 0.001;
var x117 := 2.87021140067644;
var x118 := 3.67136432195874;
var x119 := 0.0652068863829224, >= 0.001;
var x120 := 1.36855099422937;
var x121 := 4.29673327932026;
var x122 := 2.98425301758911;
var x123 := 0.122077955266603, >= 0.001;
var x124 := 4.08731881327462;
var x125 := 30.9648686983648, >= 0.001;
var x126 := 1.13477374020468;
var x127 := 6.76580353293355;
var x128 := 9.10667008649116;
var x129 := 2.2052244243886;
var x130 := 3.54291262593276;
var x131 := 4.13524591898493;
var x132 := 5.54467972305837;
var x133 := 4.41568788085814;
var x134 >= 0, <= 1;
var x135 >= 0, <= 1;

minimize obj:  - 0.00277058963688652*x46 - 0.00193837893369775*x47
     - 0.00220047178114988*x48 - 0.00180514212786544*x49
     - 5.19262105700267E-5*x50 - 4.41651830845582E-5*x51
     - 0.00138597026650268*x52 - 0.000854469636677801*x53
     - 0.000673659295060009*x54 - 0.000773222141927398*x55
     - 0.000796808114183878*x56 - 0.00108341997984622*x57
     - 0.00103738281594038*x58 - 0.0011586251707379*x59
     - 0.00105806546907058*x60 - 5.67747426883499E-5*x61
     - 4.74857483397795E-5*x62 - 0.00111997985828223*x63
     - 0.000780409535511951*x64 - 0.000825031318188839*x65
     - 0.000277553576166808*x66 - 0.000275387748704053*x67
     - 0.000628802526075812*x68 - 0.000527790965221478*x69
     - 8.53443313273134E-5*x70 - 5.4578415174783E-5*x71
     - 0.00569784628817507*x72 - 0.00555511546696356*x73
     - 0.075561801997854*x74 - 0.00294835032723151*x75 - 0.0019342371365832*x76
     - 0.0252206173502715*x77 - 0.0279391730675312*x78 - 0.0048665762424357*x79
     - 0.000183752966921342*x80 - 7.84812312135553E-5*x81
     - 7.73269615916982E-5*x82 - 8.2567519589144E-5*x83
     - 0.00479455338735197*x84 - 0.000826919880559692*x85
     - 0.000290693364720465*x86 - 0.00043605075805244*x87
     - 0.000879089966067127*x88 + 1.46100504790011;

subject to

e1:  - 2*x1 + x89 = -1;

e2:  - 2*x2 + x90 = -1;

e3: -(0.146204505730132*x6*x26 + 0.705667399054065*x26*x39 - 8.97564390530744*
    x36*x36 - 0.58351985494149*x36*x40 - 0.314424400434*x44*x6 + 
    0.088432662779296*x44*x10 - 0.1724777937207*x44*x24 + 0.167817417463219*x44
    *x36 - 0.8762574858969*x6 - 0.090926799404628*x10 - 0.088996490897*x24 - 
    0.83097375324915*x26 + 8.9318794963968*x36 - 1.2297184187103*x39 + 
    0.5275789087182*x40 + 0.453537188441*x44 + 2.034983334639e-7*(256*x36)^3)
     + x91 = 2.489997416546;

e4: -(1.1518006868352*x6*x6 + 0.459536604012759*x6*x7 - 0.703663799755776*x6*
    x36 + 1.04544221512617*x6*x39 + 0.212447402269932*x9*x36 - 0.93571348845105
    *x36*x39 - 0.535946180536538*x37*x38 - 1.05145338638997*x37*x40 - 
    0.79070109549399*x38*x40 + 2.2331399965065*x39*x39 + 0.72226979421516*x39*
    x40 - 2.1649445039853*x40*x40 - 0.2967513786156*x44*x6 + 0.290069094680064*
    x44*x36 - 0.46832829863166*x44*x39 - 3.243885134673*x6 - 0.608025879748004*
    x7 - 0.21903943136112*x9 + 1.54031920069709*x36 + 1.20435810433248*x37 + 
    0.95109544168785*x38 - 5.0961041726562*x39 + 4.978918124709*x40 + 
    0.5990178719411*x44) + x92 = 4.430231606651;

e5: -(0.924257360399966*x6*x7 - 0.516801085443*x6*x16 + 0.5058897687399*x6*x23
     + 0.498288404219416*x7*x27 - 1.52884826438741*x7*x39 + 0.779302840822875*
    x17*x17 - 0.347767311861888*x17*x36 + 1.03052751208398*x27*x27 - 
    6.76173213154017*x36*x36 - 0.99245267967744*x36*x40 + 1.42052814693324*x39*
    x40 - 0.2345867913546*x44*x6 - 0.21856106576205*x44*x17 - 0.307219734072832
    *x44*x36 - 0.62014313139408*x44*x39 + 0.3378608139888*x44*x40 - 
    1.37026508147115*x6 - 0.192769958876914*x7 + 0.4523018932502*x16 - 
    0.834815523597*x17 - 0.4977753155234*x23 - 1.7323844004168*x27 + 
    7.31809575076608*x36 - 1.5847739199432*x39 - 0.04410976168002*x40 + 
    0.5355994282979*x44 + 1.700285097355e-7*(256*x36)^3) - 0.30336178647804*x8
     + 0.13491263371388*x11 + 0.13984651156632*x15 + x93 = 3.734961589817;

e6: -(1.01315140568842*x6*x6 + 0.584229793231586*x6*x7 - 0.575893814169216*x6*
    x36 + 1.29734698607195*x6*x39 - 0.489631561160448*x14*x14 + 
    0.321893053794731*x17*x17 - 0.374957681257155*x22*x38 - 2.68128652916621*
    x36*x36 - 0.264865746725574*x36*x38 - 0.757051242708326*x36*x39 - 
    0.331379999280999*x36*x40 - 0.319790798054753*x37*x37 - 0.410866320029286*
    x37*x38 - 1.02510136513693*x37*x40 - 0.63325821649452*x38*x40 + 
    73.8944534307042*x39*x39 + 0.71637024087909*x39*x40 - 4.0652394277797*x40*
    x40 - 0.25812742422195*x44*x6 + 0.275101343701504*x44*x36 - 
    0.51060461587515*x44*x39 + 0.14993458828602*x44*x40 - 3.3364541114835*x6 - 
    0.76978121536809*x7 + 0.50760066311088*x14 - 0.2371573878732*x17 + 
    0.33094891766296*x22 + 2.60318233052672*x36 + 1.40873861917749*x37 + 
    1.03682105539925*x38 - 61.955843837112*x39 + 5.692496094027*x40 + 
    0.5633456996915*x44 + 1.126995885892e-7*(256*x36)^3 - 4.07963707148e-8*(900
    *x39)^3 + 4.963051932898e-5*(30*x40)^3) + x94 = 18.97863147768;

e7: -(0.000877757522268323*x26*x26 - 0.00061498887155568*x9*x9 + 
    0.00066010416739608*x9 - 0.00090378018509135*x26) - 0.000347455006539*x6
     - 0.000313469000455109*x7 + 0.00019696459311036*x8
     - 0.00022497857292636*x10 - 0.00025315348259632*x14
     - 0.00013041066279416*x15 + 0.00024819009759999*x27
     + 0.001116360829524*x33 + 0.0001275409670291*x44 + x95
     = 0.001196513506352;

e8: -(-0.000747600224572512*x9*x9 - 0.00084090176373599*x10*x10 + 
    0.00083432738305548*x9 + 0.00108407522425928*x10) - 0.00029817479082767*x3
     - 0.0004929533924013*x6 - 0.00038337969203288*x14
     + 0.00025718969999658*x27 + 0.0010596884812*x33 + 0.0002193632982754*x44
     + x96 = 0.0009313697550609;

e9: -(0.02677551623072*x22*x22 + 0.2381548479827*x33*x33 - 0.037884583757344*
    x22 - 0.4120111930931*x33) - 0.031961057677815*x6 - 0.0072793562241202*x10
     + 0.01092104558418*x16 + 0.0064621644987614*x27 + 0.009126798073713*x44
     + x97 = 0.2345164830694;

e10: -(0.2359222697694*x33*x33 - 0.4122179688784*x33) - 0.019235478568509*x5
      - 0.03859622678868*x6 - 0.013536316848152*x15 - 0.007969909522014*x18
      + 0.012482973130678*x20 + 0.01211628347112*x22 + 0.01237028609597*x44
      + 0.006633342891298*x45 + x98 = 0.2148158150597;

e11: -(-0.178150195029045*x4*x4 - 0.092889494283825*x6*x6 - 0.07963734288619*
     x16*x16 + 0.2364786764668*x33*x33 + 0.289121241556475*x4 + 
     0.146594028553065*x6 + 0.06949823547088*x16 - 0.396098589751*x33)
      + 0.012318868970748*x8 - 0.011589448462056*x15 - 0.019705859822109*x18
      + 0.014895944768832*x19 + 0.010907241296472*x20 + 0.01430448527648*x22
      + 0.01347700652316*x24 + 0.013997880931151*x27 - 0.020306863604082*x29
      + 0.008933395804681*x44 + 0.01027464857304*x45 + x99 = 0.1159960764571;

e12: -(0.06403297573616*x33*x33 - 0.113478971396*x33) - 0.010958364678063*x6
      + 0.002722432896123*x17 + 0.00357907160041*x20 + 0.0045963326850304*x22
      + 0.002664625719444*x44 + 0.002317642999308*x45 + x100
      = 0.06274066767188;

e13: -(0.05389595937138*x33*x33 - 0.1008769684169*x33) - 0.0108026855268645*x6
      - 0.002530205084104*x15 + 0.002298727308428*x44 + 0.001611267597143*x45
      + x101 = 0.05729679836434;

e14: -(0.04180936698794*x33*x33 - 0.08464574484787*x33) - 0.012847503442122*x6
      - 0.00555629682704112*x7 + 0.002569050765369*x44 + 0.001544051903693*x45
      + x102 = 0.05299695174132;

e15: -(0.04322480730842*x33*x33 - 0.0142403847874304*x14*x14 + 
     0.022161568311704*x14 - 0.08541248247495*x33) - 0.009751816013685*x6
      - 0.0038301910280744*x15 + 0.0039623300029984*x22 + 0.00288629999987*x44
      + 0.001896550235215*x45 + x103 = 0.05344341996323;

e16: -(0.03938585789447*x33*x33 - 0.07783882163504*x33) - 0.008957990536224*x6
      - 0.0068973850419912*x14 - 0.0043002751360336*x15
      + 0.0051707953799152*x22 + 0.003488811009217*x44 + 0.002727617282737*x45
      + x104 = 0.05663839812388;

e17: -(0.03633839567711*x33*x33 - 0.0165472389477056*x14*x14 + 0.02805076307704
     *x14 - 0.07018576739435*x33) - 0.007043125736955*x6
      - 0.005251407553668*x15 + 0.0060124740152832*x22 + 0.004173716984069*x44
      + 0.003013403772536*x45 + x105 = 0.05230125501392;

e18: -(0.000866890148317795*x26*x26 - 0.000626529111379056*x9*x9 - 
     0.00195249736065544*x28*x28 + 0.00069162716437968*x9 - 0.00091245945394415
     *x26 + 0.00279100265724*x28) - 0.000320041885281*x6
      - 0.000248676460207666*x7 + 0.00023309691579768*x8
      - 0.00017337773128566*x10 - 0.00028467210046624*x14
      - 0.0001531298978348*x15 + 0.00020203617888272*x27
      + 0.001027231449602*x33 + 9.769148390847E-5*x44 + x106
      = 0.000342354325588;

e19: -(0.0055419204862038*x5*x5 - 0.0010519425401423*x9*x9 - 
     0.00151958851524139*x10*x10 - 0.00065583539010944*x14*x14 - 
     0.00163765881202725*x28*x28 - 0.00895800515228388*x5 + 0.0011138728419714*
     x9 + 0.0018872680298406*x10 + 0.00116990556924*x14 + 0.00286810998159375*
     x28) - 0.000392905104879715*x3 - 0.000399019591698*x6
      - 0.0002297900760144*x15 + 7.3343733352155E-5*x17
      - 0.00012676532149554*x18 + 0.00023736531595725*x27
      - 0.000206899237966524*x32 + 0.0009281636574725*x33
      + 0.0002182806725429*x44 + x107 = 0.002826473114451;

e20: -(0.065962070493184*x22*x22 - 0.06109295869864*x23*x23 + 0.2021019615233*
     x33*x33 - 0.08874513272304*x22 + 0.07108040657768*x23 - 0.3988964831796*
     x33) - 0.0206628895890994*x3 + 0.024581660668776*x8
      - 0.021719103140136*x14 - 0.0156190148312*x15 - 0.016184653341774*x32
      + x108 = 0.2525545368977;

e21: -(0.1713342295281*x33*x33 - 0.352226862905*x33) - 0.0463998607783956*x5
      + 0.029638733477916*x8 - 0.023003613233392*x15 + 0.013591316240016*x22
      + 0.01489807719952*x31 + x109 = 0.2436469959178;

e22: -(0.0607441386158437*x13*x13 + 0.111082440136188*x29*x29 + 
     0.04040930136988*x33*x33 - 0.07427964848739*x13 - 0.16616765354035*x29 - 
     0.07457786388422*x33) - 0.0131448718955445*x4 + 0.0059061635894327*x10
      + 0.0051756398176197*x11 + 0.009117275987079*x16 - 0.005800080529377*x18
      + 0.01481680095629*x31 - 0.005718654623351*x44 + x110 = 0.1406054385457;

e23: -(-4.51340226295762*x13*x13 - 9.85654788959654*x29*x29 + 5.62252413532575*
     x13 + 14.513221564424*x29) - 0.9869215570718*x16 + 0.6661787943843*x18
      - 0.6404040990278*x23 - 1.079427076373*x31 - 2.05983227192*x33
      + 0.4619177163699*x44 + x111 = -5.008912102507;

e24: -(2.05176199738702*x26*x26 - 5.80233284755312*x13*x13 + 6.927154336077*x13
      - 2.3469955287709*x26) + 1.04873630802673*x7 + 0.7238304849542*x20
      - 2.264220310618*x33 + 0.440846180839*x44 + x112 = 1.568419934885;

e25: -(2.2229402955924*x20*x20 - 3.123147197822*x33*x33 - 3.216849220312*x20 + 
     5.015640143376*x33) - 0.870461072305099*x3 + 0.6544461836478*x6
      + 1.37276984413223*x7 - 0.5362412566068*x9 + 0.669465409586*x21
      + 0.5779478175228*x44 + x113 = 2.57284621061;

e26: -(3.0584023399228*x20*x20 - 9.28512444829398*x29*x29 - 4.118466877288*x20
      + 13.901568527165*x29) + 0.913128381036404*x7 - 0.61433088833544*x9
      + 0.854366690143*x21 - 0.6710640137256*x23 - 1.374008381931*x33
      + 0.6403473353191*x44 + x114 = -1.859560646134;

e27: -(2.437839571323*x16*x16 - 5.12326210692038*x13*x13 + 2.20551258145*x20*
     x20 + 2.8274344590636*x21*x21 - 10.3486086088051*x29*x29 + 5.9922537839595
     *x13 - 2.345044734494*x16 - 3.428833437316*x20 - 3.733366776722*x21 + 
     15.832261662965*x29) - 0.928457422833888*x3 + 1.48219405584735*x4
      + 2.35175646180925*x7 + 0.8362854866264*x14 - 0.7127894505155*x31
      - 1.689978798214*x33 + 0.6479493800563*x44 + x115 = -0.8108747083381;

e28: -(0.441352793900588*x13*x13 - 0.7946434459442*x16*x16 + 1.31912696395799*
     x29*x29 + 0.6402416340876*x33*x33 - 0.546296066946075*x13 + 
     0.8291869547057*x16 - 2.0116719018759*x29 - 0.8843954656283*x33)
      + 0.146564485777733*x3 - 0.162203474614175*x4 - 0.13647394724094*x6
      - 0.261741118787855*x7 + 0.1293399004067*x23 + 0.1853723670269*x31
      - 0.08753209556268*x44 - 0.03412217150477*x45 + x116 = 1.187807867385;

e29: -(2.012524878396*x21*x21 + 2.412453381554*x25*x25 - 2.32428512025645*x27*
     x27 - 7.03113389594902*x29*x29 - 3.70031577746*x33*x33 - 2.859456595874*
     x21 - 2.142525377594*x25 + 2.4525202372957*x27 + 9.9278802923102*x29 + 
     5.712547052553*x33) + 1.31302648868395*x4 + 0.8241481693188*x6
      + 0.44158825258273*x10 + 0.713991181117725*x12 + 0.9259368554952*x14
      + 0.60309494742105*x17 - 0.8201286351*x22 - 0.7254172512704*x23
      - 0.4356367040951*x30 - 0.8328403016813*x31 + 0.5475854253854*x44 + x117
      = -0.8586779950976;

e30: -(2.52870602627587*x12*x12 - 1.44488151194832*x8*x8 - 3.064858767713*x33*
     x33 + 2.1446919075276*x8 - 3.4181367227865*x12 + 5.151361151014*x33)
      + 0.45222953327025*x6 + 0.56320147202748*x10 + 0.495001877235*x21
      + 0.23915860198191*x27 - 0.776473583038*x31 - 0.466443977876546*x32
      - 0.5773844387808*x34 + 0.1660237424941*x44 + x118 = 1.954721142275;

e31: -(0.004602507134156*x33 - 0.02141764516469*x33*x33)
      - 0.0145245595273845*x6 - 0.00782352930931531*x7 - 0.002806749788812*x21
      - 0.003246482303008*x22 + x119 = 0.05431618656739;

e32: -(3.696964891409*x33 - 2.346067374841*x33*x33) + 1.10810932910463*x4
      + 1.17265063626849*x7 + 0.72425758716146*x10 + 0.48512259390825*x17
      + 0.6187862322855*x19 + 0.8407266410546*x20 + 1.2902877646004*x21
      - 0.48414279711584*x22 - 0.51323515009286*x27 - 1.073333080849*x31
      + 0.8296257845547*x44 + x120 = 3.410131517262;

e33: -(7.4210835482746*x7*x7 - 2.71404090839664*x8*x8 + 4.0712906419605*x12*x12
      - 7.8354430014069*x34*x34 - 9.75241218397524*x7 + 3.8388775619052*x8 - 
     5.62029106297575*x12 + 13.434870720522*x34) + 0.89497203808854*x4
      + 0.395604637251*x19 + 0.3846775677674*x21 - 0.5260826151462*x31
      - 1.04331793976*x33 + 1.44840541594905*x35 + 0.7696996685075*x44
      + 0.3040154336275*x45 + x121 = 2.246888278023;

e34: -(2.20721740066069*x12*x12 - 1.17955738642944*x22*x22 - 2.871389544981*x12
      + 1.407254403988*x22) + 0.47300750978745*x6 - 0.27890466245208*x9
      - 0.3053273238626*x16 + 0.29607494021247*x18 - 0.1877993221909*x31
      - 1.213046478988*x33 - 0.988254012339*x34 + 0.483364984653395*x35 + x122
      = 1.538908572291;

e35: -(0.254666472284981*x13*x13 + 0.2487290499716*x16*x16 - 0.2424174928804*
     x20*x20 + 0.1318746470705*x24*x24 - 0.1034478212448*x30*x30 + 
     0.47492121764214*x34*x34 - 0.275271550312275*x13 - 0.2880413530398*x16 + 
     0.3241903766252*x20 - 0.1544320072727*x24 + 0.138230853585*x30 - 
     0.7311202769286*x34) - 0.0697930476351375*x4 - 0.05844457632774*x19
      - 0.05923560271958*x21 + 0.03216926433432*x23 + 0.046123763012054*x27
      + 0.03948386025441*x31 + 0.09999328446995*x33 - 0.07155146332687*x44
      - 0.02890389647334*x45 + x123 = 0.4907393748262;

e36: -(3.10158892624894*x12*x12 + 1.378326274479*x18*x18 + 1.1295431220051*x19*
     x19 - 2.1412542007376*x23*x23 - 2.845736078*x24*x24 - 4.202007699288*x12
      - 1.4654803894614*x18 - 1.3134759733212*x19 + 2.789062219906*x23 + 
     3.192718074293*x24) + 0.2995601543844*x6 - 0.35555306879868*x9
      - 0.2849904232198*x16 + 0.475090840207725*x17 - 0.53582278211024*x22
      - 0.3113826676592*x25 - 0.2500700591045*x30 + 0.454110476583938*x32
      - 0.3685212344352*x33 - 2.8058328956613*x34 + 0.8375950252358*x35
      + 0.3476255248733*x44 + x124 = 0.3283197681486;

e37: -(6.0135388585155*x6*x41 + 1.8427678171815*x6*x44 - 8.2907749152864*x8*x42
      - 6.10052398582095*x26*x41 + 98.400043682829*x41*x41 - 13.5448878202668*
     x41*x42 + 20.337967231908*x42*x43 - 3.7532696750852*x42*x44 - 
     177.77367353908*x43*x43 - 6.2961006175185*x6 + 3.6075659325504*x8 + 
     5.131686761061*x26 - 85.313410601661*x41 + 20.436612334108*x42 + 
     104.302969683388*x43 + 0.4480892162516*x44 - 5.258883176124e-5*(90*x41)^3
      + 5.563323179074*(2.47*x43)^3) - 2.2668719064*x28 + x125
      = 18.79612039807;

e38: -(0.946239422730413*x6*x28 - 0.967532556792937*x6*x17 + 2.0377657366389*x6
     *x41 + 1.4110895489508*x8*x17 + 0.61127794185408*x8*x19 - 1.58201747510544
     *x8*x41 - 1.03210080362448*x8*x42 + 0.69266106046572*x8*x44 - 
     1.02101992381294*x12*x17 - 1.56130595897794*x12*x28 + 0.657753094014278*
     x17*x41 - 0.522517930157925*x17*x44 + 13.941054801684*x18*x18 - 
     0.952776586823565*x18*x26 + 0.8549649392358*x18*x42 + 1.4516462940588*x18*
     x44 + 1.02122227903944*x19*x42 + 1.36049338559624*x26*x42 - 
     0.52401838627495*x26*x44 + 1.12942426510437*x28*x5 - 1.80547120935698*x28*
     x18 - 1.773044696829*x28*x24 - 3.032054834331*x28*x42 + 1.06107736116569*
     x41*x5 + 2.89590750250133*x41*x43 + 2.61542042432642*x42*x43 - 
     23.5616803328772*x43*x43 - 2.0519667342662*x5 - 2.4366254226975*x6 + 
     1.3099632256788*x8 + 1.06846969893075*x12 - 0.2333387493336*x17 - 
     7.942979902344*x18 - 1.6180772270883*x19 + 0.9774548522739*x24 - 
     1.3151238840131*x26 + 2.70135417986175*x28 - 3.8284629157413*x41 + 
     3.0703651482588*x42 + 11.205474702516*x43 + 0.9543995667815*x44 - 
     0.2743250443488*(3*x18)^3 + 0.7899555131314*(2.47*x43)^3)
      - 0.593729458274822*x3 + 0.5753833582646*x25 + x126 = 4.163033048096;

e39: -(1.3231924827408*x8*x13 + 0.950512779873*x8*x17 + 0.79652767163004*x8*x44
      - 1.1255865881733*x9*x17 - 1.1334971491002*x9*x41 + 0.31814476764264*x9*
     x44 - 2.328562461724*x16*x21 + 1.65630428848115*x16*x26 - 2.1715168823968*
     x16*x42 + 1.18051442119463*x17*x17 - 1.06098360401194*x17*x43 - 
     0.527277463438125*x17*x44 + 3.2673855449184*x21*x21 - 1.2872308497167*x21*
     x26 + 1.9614697952626*x26*x42 + 1.70003902637808*x41*x42 + 
     1.92200947348838*x41*x43 + 0.70699695487659*x41*x44 + 3.74715327861987*x42
     *x43 - 13.9848784783649*x43*x43 - 0.37563657431844*x8 + 1.6750730697144*x9
      - 0.480295324142175*x13 + 1.995605336459*x16 - 1.1004913101105*x17 - 
     1.4049566052296*x21 - 3.1302346760804*x26 - 2.7216835711083*x41 + 
     0.575756194718*x42 + 5.53854006359342*x43 - 1.145306359438*x44 + 
     0.4882868002799*(2.47*x43)^3) + 0.80605451182485*x6 + 0.5490798506342*x24
      + x127 = 5.950777856002;

e40: -(1.09477736076672*x6*x9 - 1.19701441777742*x7*x17 - 0.660436333830037*x7*
     x44 - 1.03772551896051*x8*x43 + 0.51395319677976*x8*x44 - 1.2063846423006*
     x9*x41 + 0.35520454459644*x9*x44 + 0.92897177812705*x16*x26 - 
     0.767266901285547*x16*x43 - 1.781425950621*x17*x20 + 0.75316209611895*x17*
     x41 - 0.539364164945475*x17*x44 + 3.1396557317196*x20*x20 + 
     3.2126735072216*x20*x42 - 1.021962146889*x24*x24 - 0.3871977491802*x26*x44
      - 1.26559259235162*x27*x41 + 4.31671968515888*x41*x43 + 0.64112663061018*
     x41*x44 + 2.92006392641922*x42*x43 - 24.1545595925436*x43*x43 - 
     1.1822502145974*x6 + 1.18515750699388*x7 + 0.99252135738264*x8 + 
     0.29230939922184*x9 + 0.3714976357546*x16 + 0.6224630360847*x17 - 
     4.291084910528*x20 + 0.6456518197839*x24 - 1.2053270347517*x26 + 
     0.35790325431822*x27 - 3.3461143774236*x41 + 0.085744010768*x42 + 
     12.7848117634591*x43 - 0.3824106787946*x44 + 0.7793667888691*(2.47*x43)^3)
      + x128 = 4.95036598605;

e41: -(2.64481110629634*x3*x3 + 1.636116654751*x31*x31 - 1.55382921749179*x32*
     x32 - 3.338848561796*x33*x33 - 3.85256341550016*x3 - 0.5482976381186*x31
      - 1.64366049296014*x32 + 4.787431857037*x33) + 0.641614705487735*x4
      + 0.4087654042209*x6 - 0.83213470844175*x13 + 1.1466889692096*x14
      + 0.5201481859558*x21 - 0.99316365224*x22 + 0.4151737460437*x26
      + 0.9752967329527*x30 + 1.3619969443977*x35 + x129 = 4.685447860117;

e42: -(5.635409280889*x33 - 3.727954504013*x33*x33) + 0.8488710001668*x6
      + 0.4128450047876*x21 - 0.64241070203064*x22 - 1.138588140013*x31
      + 2.65871418189*x35 + 0.1938709266552*x44 + x130 = 3.542710619493;

e43: -(8.28122856829613*x35*x35 - 4.140302247426*x33*x33 + 6.281845031028*x33
      - 13.2034273414095*x35) + 0.7014443550387*x6 + 0.4159193713104*x21
      - 0.63141473199112*x22 - 1.208283613543*x31 + 0.3741448269018*x44 + x131
      = 6.072136747548;

e44: -(4.49450165707369*x12*x12 - 2.48892883746752*x14*x14 - 5.0770402324334*
     x29*x29 - 2.580491441703*x33*x33 + 7.36202857113327*x35*x35 - 
     6.0234600078495*x12 + 2.332467032256*x14 + 7.8349175077943*x29 + 
     4.419521320705*x33 - 11.2402391136165*x35) + 0.5366782892356*x21
      - 0.5852219832224*x22 - 1.304747524462*x31 - 0.8458729509999*x34
      + 0.5543037593823*x44 + x132 = 3.239826231838;

e45: -(1.23586154110469*x9*x9 + 4.16219587239656*x12*x12 - 2.93149368681356*x13
     *x13 - 2.15209624078528*x14*x14 - 2.16706321150423*x27*x27 - 
     5.88278382747979*x29*x29 - 1.881960621575*x33*x33 - 1.3687450836792*x9 - 
     6.09597502737525*x12 + 3.95175095975025*x13 + 1.6211865860016*x14 + 
     2.0744644072113*x27 + 8.8780836448513*x29 + 3.56487836434*x33)
      + 1.32343837940235*x4 + 0.66568364586315*x6 + 0.7028681064192*x21
      - 0.60866824860024*x22 - 1.477905357691*x31 + 1.5719415324821*x35
      + 0.7005443172593*x44 + 0.2617571526679*x45 + x133 = 1.924423629775;

e46:    x44 - x89 = 0;

e47:    x45 - x90 = 0;

e48: -exp(x91) + x46 = 0;

e49: -exp(x92) + x47 = 0;

e50: -exp(x93) + x48 = 0;

e51: -exp(x94) + x49 = 0;

e52: -1/x95 + x50 = 0;

e53: -1/x96 + x51 = 0;

e54: -1/x97^2 + x52 = 0;

e55: -1/x98^2 + x53 = 0;

e56: -1/x99 + x54 = 0;

e57: -1/x100 + x55 = 0;

e58: -1/x101 + x56 = 0;

e59: -1/x102 + x57 = 0;

e60: -1/x103 + x58 = 0;

e61: -1/x104 + x59 = 0;

e62: -1/x105 + x60 = 0;

e63: -1/x106 + x61 = 0;

e64: -1/x107 + x62 = 0;

e65: -1/x108^2 + x63 = 0;

e66: -1/x109^2 + x64 = 0;

e67: -1/x110 + x65 = 0;

e68: -exp(x111) + x66 = 0;

e69: -exp(x112) + x67 = 0;

e70: -exp(x113) + x68 = 0;

e71: -exp(x114) + x69 = 0;

e72: -exp(x115) + x70 = 0;

e73: -1/x116^2 + x71 = 0;

e74: -exp(x117) + x72 = 0;

e75: -exp(x118) + x73 = 0;

e76: -1/x119 + x74 = 0;

e77: -exp(x120) + x75 = 0;

e78: -exp(x121) + x76 = 0;

e79: -exp(x122) + x77 = 0;

e80: -1/x123 + x78 = 0;

e81: -exp(x124) + x79 = 0;

e82: -x125^2 + x80 = 0;

e83: -exp(x126) + x81 = 0;

e84: -exp(x127) + x82 = 0;

e85: -exp(x128) + x83 = 0;

e86: -exp(x129) + x84 = 0;

e87: -exp(x130) + x85 = 0;

e88: -exp(x131) + x86 = 0;

e89: -exp(x132) + x87 = 0;

e90: -exp(x133) + x88 = 0;

e91:    x1 - x134 = 0;

e92:    x2 - x135 = 0;

e94:    8*x14 - 3*x18 - 3*x19 >= 0;
