#  MINLP written by GAMS Convert at 01/12/18 13:29:59
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        191      141       14       36        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        169      160        9        0        0        0        0        0
#  FX      1        0        1        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#        695      434      261        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x1 := 0.95, >= 0.95, <= 1;
var x2 := 0.001, >= 0.001, <= 10;
var x3 := 0.001, >= 0.001, <= 10;
var x4 := 0.001, >= 0.001, <= 10;
var x5 := 0.001, >= 0.001, <= 10;
var x6 := 0.001, >= 0.001, <= 10;
var x7 := 0.001, >= 0.001, <= 10;
var x8 := 0.001, >= 0.001, <= 10;
var x9 := 0.001, >= 0.001, <= 10;
var x10 := 0.001, >= 0.001, <= 10;
var x11 >= 0;
var x12 >= 0;
var x13 >= 0;
var x14 >= 0;
var x15 >= 0;
var x16 >= 0;
var x17 >= 0;
var x18 >= 0;
var x19 >= 0;
var x20 := 0.001, >= 0.001, <= 10;
var x21 := 0.001, >= 0.001, <= 10;
var x22 := 0.001, >= 0.001, <= 10;
var x23 := 0.001, >= 0.001, <= 10;
var x24 := 0.001, >= 0.001, <= 10;
var x25 := 0.001, >= 0.001, <= 10;
var x26 := 0.001, >= 0.001, <= 10;
var x27 := 0.001, >= 0.001, <= 10;
var x28 := 0.001, >= 0.001, <= 10;
var x29 := 0.001, >= 0.001, <= 10;
var x30 := 0.001, >= 0.001, <= 10;
var x31 := 0.001, >= 0.001, <= 10;
var x32 := 0.001, >= 0.001, <= 10;
var x33 := 0.001, >= 0.001, <= 10;
var x34 := 0.001, >= 0.001, <= 10;
var x35 := 0.001, >= 0.001, <= 10;
var x36 := 0.001, >= 0.001, <= 10;
var x37 := 0.001, >= 0.001, <= 10;
var x38 := 0.001, >= 0.001, <= 10;
var x39 := 0.001, >= 0.001, <= 10;
var x40 >= 0;
var x41 >= 0;
var x42 >= 0;
var x43 >= 0;
var x44 >= 0;
var x45 >= 0;
var x46 >= 0;
var x47 >= 0;
var x48 >= 0;
var x49 := 0.001, >= 0.001, <= 10;
var x50 := 0.001, >= 0.001, <= 10;
var x51 := 0.001, >= 0.001, <= 10;
var x52 := 0.001, >= 0.001, <= 10;
var x53 := 0.001, >= 0.001, <= 10;
var x54 := 0.001, >= 0.001, <= 10;
var x55 := 0.001, >= 0.001, <= 10;
var x56 := 0.001, >= 0.001, <= 10;
var x57 := 0.001, >= 0.001, <= 10;
var x58 := 0.001, >= 0.001, <= 10;
var x59 := 0.001, >= 0.001, <= 10;
var x60 := 0.001, >= 0.001, <= 10;
var x61 := 0.001, >= 0.001, <= 10;
var x62 := 0.001, >= 0.001, <= 10;
var x63 := 0.001, >= 0.001, <= 10;
var x64 := 0.001, >= 0.001, <= 10;
var x65 := 0.001, >= 0.001, <= 10;
var x66 := 0.001, >= 0.001, <= 10;
var x67 := 0.001, >= 0.001, <= 10;
var x68 := 0.001, >= 0.001, <= 10;
var x69 >= 0, <= 10;
var x70 := 1E-5, >= 1E-5, <= 10;
var x71 >= -10, <= 10;
var x72 >= -10, <= 10;
var x73 >= -10, <= 10;
var x74 >= -10, <= 10;
var x75 := 1E-5, >= 1E-5, <= 10;
var x76 >= -10, <= 10;
var x77 >= -10, <= 10;
var x78 >= -10, <= 10;
var x79 >= -10, <= 10;
var x80 := 1E-5, >= 1E-5, <= 10;
var x81 >= -10, <= 10;
var x82 >= -10, <= 10;
var x83 >= -10, <= 10;
var x84 >= -10, <= 10;
var x85 := 1E-5, >= 1E-5, <= 10;
var x86 >= -10, <= 10;
var x87 >= -10, <= 10;
var x88 >= -10, <= 10;
var x89 >= -10, <= 10;
var x90 := 1E-5, >= 1E-5, <= 10;
var x91 >= -10, <= 10;
var x92 >= -10, <= 10;
var x93 >= -10, <= 10;
var x94 >= -10, <= 10;
var x95 := 1E-5, >= 1E-5, <= 10;
var x96 >= -10, <= 10;
var x97 >= -10, <= 10;
var x98 >= -10, <= 10;
var x99 >= -10, <= 10;
var x100 := 0.001, >= 0.001, <= 10;
var x101 := 0.001, >= 0.001, <= 10;
var x102 := 0.001, >= 0.001, <= 10;
var x103 := 0.001, >= 0.001, <= 10;
var x104 := 0.001, >= 0.001, <= 10;
var x105 := 0.001, >= 0.001, <= 10;
var x106 := 0.001, >= 0.001, <= 10;
var x107 := 0.001, >= 0.001, <= 10;
var x108 := 0.001, >= 0.001, <= 10;
var x109 := 0.001, >= 0.001, <= 10;
var x110 := 0.001, >= 0.001, <= 10;
var x111 >= 0, <= 10;
var x112 := 1E-5, >= 1E-5, <= 10;
var x113 >= -10, <= 10;
var x114 >= -10, <= 10;
var x115 >= -10, <= 10;
var x116 >= -10, <= 10;
var x117 >= -10, <= 10;
var x118 := 1E-5, >= 1E-5, <= 10;
var x119 >= -10, <= 10;
var x120 >= -10, <= 10;
var x121 >= -10, <= 10;
var x122 >= -10, <= 10;
var x123 >= -10, <= 10;
var x124 := 1E-5, >= 1E-5, <= 10;
var x125 >= -10, <= 10;
var x126 >= -10, <= 10;
var x127 >= -10, <= 10;
var x128 >= -10, <= 10;
var x129 >= -10, <= 10;
var x130 := 1E-5, >= 1E-5, <= 10;
var x131 >= -10, <= 10;
var x132 >= -10, <= 10;
var x133 >= -10, <= 10;
var x134 >= -10, <= 10;
var x135 >= -10, <= 10;
var x136 := 1E-5, >= 1E-5, <= 10;
var x137 >= -10, <= 10;
var x138 >= -10, <= 10;
var x139 >= -10, <= 10;
var x140 >= -10, <= 10;
var x141 >= -10, <= 10;
var x142 := 1E-5, >= 1E-5, <= 10;
var x143 >= -10, <= 10;
var x144 >= -10, <= 10;
var x145 >= -10, <= 10;
var x146 >= -10, <= 10;
var x147 >= -10, <= 10;
var x148 := 1E-5, >= 1E-5, <= 10;
var x149 >= -10, <= 10;
var x150 >= -10, <= 10;
var x151 >= -10, <= 10;
var x152 >= -10, <= 10;
var x153 >= -10, <= 10;
var x154 := 1E-5, >= 1E-5, <= 10;
var x155 >= -10, <= 10;
var x156 >= -10, <= 10;
var x157 >= -10, <= 10;
var x158 >= -10, <= 10;
var x159 >= -10, <= 10;
var b160 binary := 1, >= 1, <= 1;
var b161 binary >= 0, <= 1;
var b162 binary >= 0, <= 1;
var b163 binary >= 0, <= 1;
var b164 binary >= 0, <= 1;
var b165 binary >= 0, <= 1;
var b166 binary >= 0, <= 1;
var b167 binary >= 0, <= 1;
var b168 binary >= 0, <= 1;

maximize obj:    x1;

subject to

e2:  - x11 + 0.001*b160 <= 0;

e3:  - x12 + 0.001*b161 <= 0;

e4:  - x13 + 0.001*b162 <= 0;

e5:  - x14 + 0.001*b163 <= 0;

e6:  - x15 + 0.001*b164 <= 0;

e7:  - x16 + 0.001*b165 <= 0;

e8:  - x17 + 0.001*b166 <= 0;

e9:  - x18 + 0.001*b167 <= 0;

e10:  - x19 + 0.001*b168 <= 0;

e11:    x11 - 10*b160 <= 0;

e12:    x12 - 10*b161 <= 0;

e13:    x13 - 10*b162 <= 0;

e14:    x14 - 10*b163 <= 0;

e15:    x15 - 10*b164 <= 0;

e16:    x16 - 10*b165 <= 0;

e17:    x17 - 10*b166 <= 0;

e18:    x18 - 10*b167 <= 0;

e19:    x19 - 10*b168 <= 0;

e20:  - x40 + 0.001*b160 <= 0;

e21:  - x41 + 0.001*b161 <= 0;

e22:  - x42 + 0.001*b162 <= 0;

e23:  - x43 + 0.001*b163 <= 0;

e24:  - x44 + 0.001*b164 <= 0;

e25:  - x45 + 0.001*b165 <= 0;

e26:  - x46 + 0.001*b166 <= 0;

e27:  - x47 + 0.001*b167 <= 0;

e28:  - x48 + 0.001*b168 <= 0;

e29:    x40 - 10*b160 <= 0;

e30:    x41 - 10*b161 <= 0;

e31:    x42 - 10*b162 <= 0;

e32:    x43 - 10*b163 <= 0;

e33:    x44 - 10*b164 <= 0;

e34:    x45 - 10*b165 <= 0;

e35:    x46 - 10*b166 <= 0;

e36:    x47 - 10*b167 <= 0;

e37:    x48 - 10*b168 <= 0;

e38:    b160 - b161 >= 0;

e39:    b161 - b162 >= 0;

e40:    b162 - b163 >= 0;

e41:    b163 - b164 >= 0;

e42:    b164 - b165 >= 0;

e43:    b165 - b166 >= 0;

e44:    b166 - b167 >= 0;

e45:    b167 - b168 >= 0;

e46:  - 10000000000*x2 + 10000000000*x11 + x20 = 0;

e47: 2000000000.00001*x1*x2 - 1000000000*x3 + 1000000000*x12 + x21 = 0;

e48: 200000000*x1*x3 - 100000000*x2 - 100000000*x4 - 100000000*x11
      + 100000000*x13 + x22 = 0;

e49: 20000000*x1*x4 - 10000000*x3 - 10000000*x5 - 10000000*x12 + 10000000*x14
      + x23 = 0;

e50: 2000000*x1*x5 - 1000000*x4 - 1000000*x6 - 1000000*x13 + 1000000*x15 + x24
      = 0;

e51: 200000*x1*x6 - 100000*x5 - 100000*x7 - 100000*x14 + 100000*x16 + x25 = 0;

e52: 20000*x1*x7 - 10000*x6 - 10000*x8 - 10000*x15 + 10000*x17 + x26 = 0;

e53: 2000*x1*x8 - 1000*x7 - 1000*x9 - 1000*x16 + 1000*x18 + x27 = 0;

e54: 200*x1*x9 - 100*x8 - 100*x10 - 100*x17 + 100*x19 + x28 = 0;

e55: 20*x1*x10 - 10*x9 - 10*x18 + x29 = 0;

e56:  - x10 - x19 + x30 = 0;

e57:  - x2 + 1E-5*x3 - 1E-10*x4 + x31 = 0;

e58:  - x3 + 2E-5*x4 - 3E-10*x5 + x32 = 0;

e59:  - x4 + 3E-5*x5 - 6E-10*x6 + x33 = 0;

e60:  - x5 + 4E-5*x6 - 1E-9*x7 + x34 = 0;

e61:  - x6 + 5E-5*x7 - 1.5E-9*x8 + x35 = 0;

e62:  - x7 + 6E-5*x8 - 2.1E-9*x9 + x36 = 0;

e63:  - x8 + 7E-5*x9 - 2.8E-9*x10 + x37 = 0;

e64:  - x9 + 8E-5*x10 + x38 = 0;

e65:  - x10 + x39 = 0;

e66:  - x11 + 1E-5*x12 - 1E-10*x13 + x40 = 0;

e67:  - x12 + 2E-5*x13 - 3E-10*x14 + x41 = 0;

e68:  - x13 + 3E-5*x14 - 6E-10*x15 + x42 = 0;

e69:  - x14 + 4E-5*x15 - 1E-9*x16 + x43 = 0;

e70:  - x15 + 5E-5*x16 - 1.5E-9*x17 + x44 = 0;

e71:  - x16 + 6E-5*x17 - 2.1E-9*x18 + x45 = 0;

e72:  - x17 + 7E-5*x18 - 2.8E-9*x19 + x46 = 0;

e73:  - x18 + 8E-5*x19 + x47 = 0;

e74:  - x19 + x48 = 0;

e75:  - x20 + 1E-5*x21 - 1E-10*x22 + x49 = 0;

e76:  - x21 + 2E-5*x22 - 3E-10*x23 + x50 = 0;

e77:  - x22 + 3E-5*x23 - 6E-10*x24 + x51 = 0;

e78:  - x23 + 4E-5*x24 - 1E-9*x25 + x52 = 0;

e79:  - x24 + 5E-5*x25 - 1.5E-9*x26 + x53 = 0;

e80:  - x25 + 6E-5*x26 - 2.1E-9*x27 + x54 = 0;

e81:  - x26 + 7E-5*x27 - 2.8E-9*x28 + x55 = 0;

e82:  - x27 + 8E-5*x28 - 3.6E-9*x29 + x56 = 0;

e83:  - x28 + 9E-5*x29 - 4.5E-9*x30 + x57 = 0;

e84:  - x29 + 0.0001*x30 + x58 = 0;

e85:  - x30 + x59 = 0;

e86:  - x39 + x60 = 0;

e87:  - x37 + x61 = 0;

e88:  - x35 + x62 = 0;

e89:  - x33 + x63 = 0;

e90:  - x31 + x64 = 0;

e91:  - x38 + x65 = 0;

e92:  - x36 + x66 = 0;

e93:  - x34 + x67 = 0;

e94:  - x32 + x68 = 0;

e95:    x69 = 0;

e96: x60*x66/x65 - x61 + x70 = 0;

e97: x60*x67/x65 - x62 + x71 = 0;

e98: x60*x68/x65 - x63 + x72 = 0;

e99: x60*x69/x65 - x64 + x73 = 0;

e100: x65*x71/x70 - x66 + x75 = 0;

e101: x65*x72/x70 - x67 + x76 = 0;

e102: x65*x73/x70 - x68 + x77 = 0;

e103: x65*x74/x70 - x69 + x78 = 0;

e104: x70*x76/x75 - x71 + x80 = 0;

e105: x70*x77/x75 - x72 + x81 = 0;

e106: x70*x78/x75 - x73 + x82 = 0;

e107: x70*x79/x75 - x74 + x83 = 0;

e108: x75*x81/x80 - x76 + x85 = 0;

e109: x75*x82/x80 - x77 + x86 = 0;

e110: x75*x83/x80 - x78 + x87 = 0;

e111: x75*x84/x80 - x79 + x88 = 0;

e112: x80*x86/x85 - x81 + x90 = 0;

e113: x80*x87/x85 - x82 + x91 = 0;

e114: x80*x88/x85 - x83 + x92 = 0;

e115: x80*x89/x85 - x84 + x93 = 0;

e116: x85*x91/x90 - x86 + x95 = 0;

e117: x85*x92/x90 - x87 + x96 = 0;

e118: x85*x93/x90 - x88 + x97 = 0;

e119: x85*x94/x90 - x89 + x98 = 0;

e120:    x74 = 0;

e121:    x79 = 0;

e122:    x84 = 0;

e123:    x89 = 0;

e124:    x94 = 0;

e125:    x99 = 0;

e126:  - x59 + x100 = 0;

e127:  - x57 + x101 = 0;

e128:  - x55 + x102 = 0;

e129:  - x53 + x103 = 0;

e130:  - x51 + x104 = 0;

e131:  - x49 + x105 = 0;

e132:  - x58 + x106 = 0;

e133:  - x56 + x107 = 0;

e134:  - x54 + x108 = 0;

e135:  - x52 + x109 = 0;

e136:  - x50 + x110 = 0;

e137:    x111 = 0;

e138: x100*x107/x106 - x101 + x112 = 0;

e139: x100*x108/x106 - x102 + x113 = 0;

e140: x100*x109/x106 - x103 + x114 = 0;

e141: x100*x110/x106 - x104 + x115 = 0;

e142: x100*x111/x106 - x105 + x116 = 0;

e143: x106*x113/x112 - x107 + x118 = 0;

e144: x106*x114/x112 - x108 + x119 = 0;

e145: x106*x115/x112 - x109 + x120 = 0;

e146: x106*x116/x112 - x110 + x121 = 0;

e147: x106*x117/x112 - x111 + x122 = 0;

e148: x112*x119/x118 - x113 + x124 = 0;

e149: x112*x120/x118 - x114 + x125 = 0;

e150: x112*x121/x118 - x115 + x126 = 0;

e151: x112*x122/x118 - x116 + x127 = 0;

e152: x112*x123/x118 - x117 + x128 = 0;

e153: x118*x125/x124 - x119 + x130 = 0;

e154: x118*x126/x124 - x120 + x131 = 0;

e155: x118*x127/x124 - x121 + x132 = 0;

e156: x118*x128/x124 - x122 + x133 = 0;

e157: x118*x129/x124 - x123 + x134 = 0;

e158: x124*x131/x130 - x125 + x136 = 0;

e159: x124*x132/x130 - x126 + x137 = 0;

e160: x124*x133/x130 - x127 + x138 = 0;

e161: x124*x134/x130 - x128 + x139 = 0;

e162: x124*x135/x130 - x129 + x140 = 0;

e163: x130*x137/x136 - x131 + x142 = 0;

e164: x130*x138/x136 - x132 + x143 = 0;

e165: x130*x139/x136 - x133 + x144 = 0;

e166: x130*x140/x136 - x134 + x145 = 0;

e167: x130*x141/x136 - x135 + x146 = 0;

e168: x136*x143/x142 - x137 + x148 = 0;

e169: x136*x144/x142 - x138 + x149 = 0;

e170: x136*x145/x142 - x139 + x150 = 0;

e171: x136*x146/x142 - x140 + x151 = 0;

e172: x136*x147/x142 - x141 + x152 = 0;

e173: x142*x149/x148 - x143 + x154 = 0;

e174: x142*x150/x148 - x144 + x155 = 0;

e175: x142*x151/x148 - x145 + x156 = 0;

e176: x142*x152/x148 - x146 + x157 = 0;

e177: x142*x153/x148 - x147 + x158 = 0;

e178:    x117 = 0;

e179:    x123 = 0;

e180:    x129 = 0;

e181:    x135 = 0;

e182:    x141 = 0;

e183:    x147 = 0;

e184:    x153 = 0;

e185:    x159 = 0;

e186: x46*x47 - x45*x48 - 1E-5*b168 >= 0;

e187: x45*x46*x47 - x45*x45*x48 + x43*x47*x48 - x44*x47*x47 - 1E-5*b167 >= 0;

e188: x44*x45*x46*x47 - x45**2*x44*x48 - x44**2*x47**2 + 2*x43*x44*x47*x48 + 
      x43*x45*x46*x48 - x43**2*x48**2 - x46**2*x43*x47 + x42*x46*x47**2 - x42*
      x45*x47*x48 - x41*x46*x47*x48 + x41*x45*x48**2 + (x44*x45 - x43*x46)*(1
       - b167) - 1E-5*b166 >= 0;

e189: x41*x45*x46**2*x47 - x43**2*x46**2*x47 + 2*x42*x43*x46*x47**2 - x41*x44*
      x46*x47**2 - x40*x45*x46*x47**2 + x43*x44*x45*x46*x47 - x41*x43*x46*x47*
      x48 - x45**2*x42*x46*x47 + x43**2*x45*x46*x48 - x45**2*x41*x46*x48 + x40*
      x44*x47**3 - x42**2*x47**3 + x42*x44*x45*x47**2 + 2*x41*x42*x47**2*x48 - 
      x40*x43*x47**2*x48 - x44**2*x43*x47**2 - 3*x42*x43*x45*x47*x48 - x41**2*
      x47*x48**2 + 2*x43**2*x44*x47*x48 + x45**2*x40*x47*x48 - x43**3*x48**2 - 
      x43*x44*x45**2*x48 + 2*x41*x43*x45*x48**2 + x45**3*x42*x48 + (x43*x44*x45
       - x43**2*x46 - x45**2*x42 + x41*x45*x46)*(1 - b167) - 1E-5*b165 >= 0;

e190: x41**3*x48**3 - x40*x42*x45*x46*x47**2 + 2*x41*x42*x45*x46**2*x47 - x40**
      2*x46*x47**3 + x44**3*x41*x47**2 - x43**3*x42*x48**2 - x41**2*x46**3*x47
       + 2*x40*x42*x44*x47**3 - x44**2*x40*x45*x47**2 + 2*x40*x41*x46**2*x47**2
       + x42**2*x44*x45*x47**2 - x42**2*x45**2*x46*x47 - 3*x41**2*x42*x47*x48**
      2 + x40*x41*x45**2*x48**2 - 2*x41**2*x44*x45*x48**2 + x40**2*x45*x47**2*
      x48 + 3*x42**2*x41*x47**2*x48 + x41**2*x45*x46**2*x48 - x40*x44*x45**3*
      x48 + x44**2*x41*x45**2*x48 - 3*x41*x42*x44*x46*x47**2 + x40*x44*x45**2*
      x46*x47 - x44**2*x41*x45*x46*x47 + x42**2*x45**3*x48 - 2*x40*x41*x44*x47
      **2*x48 + x40*x42*x45**2*x47*x48 + x41*x42*x44*x45*x47*x48 - 3*x40*x41*
      x45*x46*x47*x48 + 3*x41**2*x44*x46*x47*x48 - 2*x41*x42*x45**2*x46*x48 - 
      x41**2*x43*x46*x48**2 - x42*x43*x44**2*x47**2 + 2*x42**2*x43*x46*x47**2
       + x43**2*x41*x44*x48**2 - x43**2*x40*x45*x48**2 - x43**2*x42*x46**2*x47
       + x40*x43*x45**2*x46*x48 - x41*x43*x44*x45*x46*x48 - x40*x43*x45*x46**2*
      x47 + x42*x43*x44*x45*x46*x47 + x41*x43*x44*x46**2*x47 + 2*x43**2*x42*x44
      *x47*x48 + x43**2*x42*x45*x46*x48 + 2*x40*x41*x43*x47*x48**2 + 3*x41*x42*
      x43*x45*x48**2 - 2*x40*x42*x43*x47**2*x48 + 2*x40*x43*x44*x45*x47*x48 - 3
      *x42**2*x43*x45*x47*x48 - 2*x41*x43*x44**2*x47*x48 - x41*x42*x43*x46*x47*
      x48 - x42*x43*x44*x45**2*x48 - x47**3*x42**3 + (x42*x43*x44*x45 - x43**2*
      x42*x46 - x42**2*x45**2 + 2*x41*x42*x45*x46 + x41*x43*x44*x46 - x41**2*
      x46**2 - x44**2*x41*x45 + x40*x44*x45**2 - x40*x43*x45*x46)*(1 - b167) + 
      (x42*x43 - x41*x44)*(1 - b165) - 1E-5*b164 >= 0;

e191: 4*x41**2*x40*x43*x47*x48**2 - 2*x40*x41*x44*x45**3*x48 - 2*x43**3*x40*x44
      *x47*x48 - 4*x40**2*x43*x45**2*x47*x48 + 3*x40**2*x43*x45*x46*x47**2 + 4*
      x40**2*x41*x45*x47**2*x48 + x40**2*x44*x45**2*x47**2 - x42**3*x41*x47**3
       + x43**4*x40*x48**2 + x40**2*x48*x45**4 - 2*x40*x42*x43**2*x46*x47**2 - 
      x43**3*x40*x45*x46*x48 + x43**2*x40*x44*x45**2*x48 - x40*x42*x43*x45**3*
      x48 - 4*x40*x41*x43**2*x45*x48**2 - 2*x40*x41*x44**2*x45*x47**2 + 3*x40*
      x41*x42*x44*x47**3 - 3*x41**2*x40*x44*x47**2*x48 + 4*x40*x41*x43*x44*x45*
      x47*x48 - x41**3*x43*x46*x48**2 - x41*x42*x43*x44*x45**2*x48 + x41**2*x44
      **3*x47**2 + 2*x41**2*x42*x45*x46**2*x47 + x41**2*x43*x44*x46**2*x47 - 
      x41**2*x42*x43*x46*x47*x48 - x41**2*x43*x44*x45*x46*x48 - 2*x41**2*x42*
      x45**2*x46*x48 - 3*x41**2*x42*x44*x46*x47**2 - x41**2*x44**2*x45*x46*x47
       + 3*x41**2*x42*x43*x45*x48**2 + x41**2*x42*x44*x45*x47*x48 - 2*x41**2*
      x43*x44**2*x47*x48 + x42**2*x41*x44*x45*x47**2 - x42**2*x41*x45**2*x46*
      x47 + x42**2*x41*x45**3*x48 - x41*x42*x43*x44**2*x47**2 + 2*x42**2*x41*
      x43*x46*x47**2 - x41*x42*x43**2*x46**2*x47 + x41*x42*x43*x44*x45*x46*x47
       + 2*x41*x42*x43**2*x44*x47*x48 + x41*x42*x43**2*x45*x46*x48 - 3*x42**2*
      x41*x43*x45*x47*x48 + 2*x41**2*x40*x45**2*x48**2 + x48**3*x41**4 + 3*x41
      **2*x40*x46**2*x47**2 + x40*x42*x43*x45**2*x46*x47 - x43**2*x40*x44*x45*
      x46*x47 - 5*x40*x41*x42*x43*x47**2*x48 + 3*x40*x41*x43*x45**2*x46*x48 + 
      x40*x41*x42*x45**2*x47*x48 + 2*x40*x41*x44*x45**2*x46*x47 - 5*x41**2*x40*
      x45*x46*x47*x48 - x40*x42*x43*x44*x45*x47**2 + x40*x41*x43*x44*x46*x47**2
       + 3*x40*x42*x43**2*x45*x47*x48 + x40*x41*x43**2*x46*x47*x48 - x40*x41*
      x42*x45*x46*x47**2 - 3*x40*x41*x43*x45*x46**2*x47 - 2*x40**2*x43*x44*x47
      **3 - x40**2*x42*x45*x47**3 - 3*x40**2*x41*x46*x47**3 + 2*x40**2*x43**2*
      x47**2*x48 - x40**2*x45**3*x46*x47 + x42**2*x40*x43*x47**3 + x43**2*x40*
      x44**2*x47**2 + x43**3*x40*x46**2*x47 - 2*x41**3*x44*x45*x48**2 + x40**3*
      x47**4 + 3*x41**3*x44*x46*x47*x48 - 3*x41**3*x42*x47*x48**2 + x41**2*x43
      **2*x44*x48**2 + 3*x41**2*x42**2*x47**2*x48 + x41**2*x44**2*x45**2*x48 - 
      x41*x42*x43**3*x48**2 + x41**3*x45*x46**2*x48 - x41**3*x47*x46**3 + (x43
      **3*x40*x46 - x41*x42*x43**2*x46 - x43**2*x40*x44*x45 - 3*x40*x41*x43*x45
      *x46 + x41**2*x43*x46*x44 + x41*x42*x43*x44*x45 + x40*x42*x43*x45**2 - 
      x41**3*x46**2 + 2*x41**2*x42*x45*x46 - x41**2*x44**2*x45 - x42**2*x41*x45
      **2 + 2*x40*x41*x44*x45**2 - x40**2*x45**3)*(1 - b167) + (x41*x42*x43 - 
      x41**2*x44 - x43**2*x40)*(1 - b165) - 1E-5*b163 >= 0;