#  QCP written by GAMS Convert at 02/15/18 15:46:15
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        201      100        0      101        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        200      200        0        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#        697      398      299        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x2 := 1, >= 1, <= 1.000154824;
var x3 := 1, >= 1, <= 2;
var x4 := 1, >= 1, <= 2;
var x5 := 1, >= 1, <= 2;
var x6 := 1, >= 1, <= 2;
var x7 := 1, >= 1, <= 2;
var x8 := 1, >= 1, <= 2;
var x9 := 1, >= 1, <= 2;
var x10 := 1, >= 1, <= 2;
var x11 := 1, >= 1, <= 2;
var x12 := 1, >= 1, <= 2;
var x13 := 1, >= 1, <= 2;
var x14 := 1, >= 1, <= 2;
var x15 := 1, >= 1, <= 2;
var x16 := 1, >= 1, <= 2;
var x17 := 1, >= 1, <= 2;
var x18 := 1, >= 1, <= 2;
var x19 := 1, >= 1, <= 2;
var x20 := 1, >= 1, <= 2;
var x21 := 1, >= 1, <= 2;
var x22 := 1, >= 1, <= 2;
var x23 := 1, >= 1, <= 2;
var x24 := 1, >= 1, <= 2;
var x25 := 1, >= 1, <= 2;
var x26 := 1, >= 1, <= 2;
var x27 := 1, >= 1, <= 2;
var x28 := 1, >= 1, <= 2;
var x29 := 1, >= 1, <= 2;
var x30 := 1, >= 1, <= 2;
var x31 := 1, >= 1, <= 2;
var x32 := 1, >= 1, <= 2;
var x33 := 1, >= 1, <= 2;
var x34 := 1, >= 1, <= 2;
var x35 := 1, >= 1, <= 2;
var x36 := 1, >= 1, <= 2;
var x37 := 1, >= 1, <= 2;
var x38 := 1, >= 1, <= 2;
var x39 := 1, >= 1, <= 2;
var x40 := 1, >= 1, <= 2;
var x41 := 1, >= 1, <= 2;
var x42 := 1, >= 1, <= 2;
var x43 := 1, >= 1, <= 2;
var x44 := 1, >= 1, <= 2;
var x45 := 1, >= 1, <= 2;
var x46 := 1, >= 1, <= 2;
var x47 := 1, >= 1, <= 2;
var x48 := 1, >= 1, <= 2;
var x49 := 1, >= 1, <= 2;
var x50 := 1, >= 1, <= 2;
var x51 := 1, >= 1, <= 2;
var x52 := 1, >= 1, <= 2;
var x53 := 1, >= 1, <= 2;
var x54 := 1, >= 1, <= 2;
var x55 := 1, >= 1, <= 2;
var x56 := 1, >= 1, <= 2;
var x57 := 1, >= 1, <= 2;
var x58 := 1, >= 1, <= 2;
var x59 := 1, >= 1, <= 2;
var x60 := 1, >= 1, <= 2;
var x61 := 1, >= 1, <= 2;
var x62 := 1, >= 1, <= 2;
var x63 := 1, >= 1, <= 2;
var x64 := 1, >= 1, <= 2;
var x65 := 1, >= 1, <= 2;
var x66 := 1, >= 1, <= 2;
var x67 := 1, >= 1, <= 2;
var x68 := 1, >= 1, <= 2;
var x69 := 1, >= 1, <= 2;
var x70 := 1, >= 1, <= 2;
var x71 := 1, >= 1, <= 2;
var x72 := 1, >= 1, <= 2;
var x73 := 1, >= 1, <= 2;
var x74 := 1, >= 1, <= 2;
var x75 := 1, >= 1, <= 2;
var x76 := 1, >= 1, <= 2;
var x77 := 1, >= 1, <= 2;
var x78 := 1, >= 1, <= 2;
var x79 := 1, >= 1, <= 2;
var x80 := 1, >= 1, <= 2;
var x81 := 1, >= 1, <= 2;
var x82 := 1, >= 1, <= 2;
var x83 := 1, >= 1, <= 2;
var x84 := 1, >= 1, <= 2;
var x85 := 1, >= 1, <= 2;
var x86 := 1, >= 1, <= 2;
var x87 := 1, >= 1, <= 2;
var x88 := 1, >= 1, <= 2;
var x89 := 1, >= 1, <= 2;
var x90 := 1, >= 1, <= 2;
var x91 := 1, >= 1, <= 2;
var x92 := 1, >= 1, <= 2;
var x93 := 1, >= 1, <= 2;
var x94 := 1, >= 1, <= 2;
var x95 := 1, >= 1, <= 2;
var x96 := 1, >= 1, <= 2;
var x97 := 1, >= 1, <= 2;
var x98 := 1, >= 1, <= 2;
var x99 := 1, >= 1, <= 2;
var x100 := 1, >= 1, <= 2;
var x101 := 1.981337073, >= 1.981337073, <= 2;
var x102;
var x103 >= -0.01866292665, <= 0.01866292665;
var x104 >= -0.01866292665, <= 0.01866292665;
var x105 >= -0.01866292665, <= 0.01866292665;
var x106 >= -0.01866292665, <= 0.01866292665;
var x107 >= -0.01866292665, <= 0.01866292665;
var x108 >= -0.01866292665, <= 0.01866292665;
var x109 >= -0.01866292665, <= 0.01866292665;
var x110 >= -0.01866292665, <= 0.01866292665;
var x111 >= -0.01866292665, <= 0.01866292665;
var x112 >= -0.01866292665, <= 0.01866292665;
var x113 >= -0.01866292665, <= 0.01866292665;
var x114 >= -0.01866292665, <= 0.01866292665;
var x115 >= -0.01866292665, <= 0.01866292665;
var x116 >= -0.01866292665, <= 0.01866292665;
var x117 >= -0.01866292665, <= 0.01866292665;
var x118 >= -0.01866292665, <= 0.01866292665;
var x119 >= -0.01866292665, <= 0.01866292665;
var x120 >= -0.01866292665, <= 0.01866292665;
var x121 >= -0.01866292665, <= 0.01866292665;
var x122 >= -0.01866292665, <= 0.01866292665;
var x123 >= -0.01866292665, <= 0.01866292665;
var x124 >= -0.01866292665, <= 0.01866292665;
var x125 >= -0.01866292665, <= 0.01866292665;
var x126 >= -0.01866292665, <= 0.01866292665;
var x127 >= -0.01866292665, <= 0.01866292665;
var x128 >= -0.01866292665, <= 0.01866292665;
var x129 >= -0.01866292665, <= 0.01866292665;
var x130 >= -0.01866292665, <= 0.01866292665;
var x131 >= -0.01866292665, <= 0.01866292665;
var x132 >= -0.01866292665, <= 0.01866292665;
var x133 >= -0.01866292665, <= 0.01866292665;
var x134 >= -0.01866292665, <= 0.01866292665;
var x135 >= -0.01866292665, <= 0.01866292665;
var x136 >= -0.01866292665, <= 0.01866292665;
var x137 >= -0.01866292665, <= 0.01866292665;
var x138 >= -0.01866292665, <= 0.01866292665;
var x139 >= -0.01866292665, <= 0.01866292665;
var x140 >= -0.01866292665, <= 0.01866292665;
var x141 >= -0.01866292665, <= 0.01866292665;
var x142 >= -0.01866292665, <= 0.01866292665;
var x143 >= -0.01866292665, <= 0.01866292665;
var x144 >= -0.01866292665, <= 0.01866292665;
var x145 >= -0.01866292665, <= 0.01866292665;
var x146 >= -0.01866292665, <= 0.01866292665;
var x147 >= -0.01866292665, <= 0.01866292665;
var x148 >= -0.01866292665, <= 0.01866292665;
var x149 >= -0.01866292665, <= 0.01866292665;
var x150 >= -0.01866292665, <= 0.01866292665;
var x151 >= -0.01866292665, <= 0.01866292665;
var x152 >= -0.01866292665, <= 0.01866292665;
var x153 >= -0.01866292665, <= 0.01866292665;
var x154 >= -0.01866292665, <= 0.01866292665;
var x155 >= -0.01866292665, <= 0.01866292665;
var x156 >= -0.01866292665, <= 0.01866292665;
var x157 >= -0.01866292665, <= 0.01866292665;
var x158 >= -0.01866292665, <= 0.01866292665;
var x159 >= -0.01866292665, <= 0.01866292665;
var x160 >= -0.01866292665, <= 0.01866292665;
var x161 >= -0.01866292665, <= 0.01866292665;
var x162 >= -0.01866292665, <= 0.01866292665;
var x163 >= -0.01866292665, <= 0.01866292665;
var x164 >= -0.01866292665, <= 0.01866292665;
var x165 >= -0.01866292665, <= 0.01866292665;
var x166 >= -0.01866292665, <= 0.01866292665;
var x167 >= -0.01866292665, <= 0.01866292665;
var x168 >= -0.01866292665, <= 0.01866292665;
var x169 >= -0.01866292665, <= 0.01866292665;
var x170 >= -0.01866292665, <= 0.01866292665;
var x171 >= -0.01866292665, <= 0.01866292665;
var x172 >= -0.01866292665, <= 0.01866292665;
var x173 >= -0.01866292665, <= 0.01866292665;
var x174 >= -0.01866292665, <= 0.01866292665;
var x175 >= -0.01866292665, <= 0.01866292665;
var x176 >= -0.01866292665, <= 0.01866292665;
var x177 >= -0.01866292665, <= 0.01866292665;
var x178 >= -0.01866292665, <= 0.01866292665;
var x179 >= -0.01866292665, <= 0.01866292665;
var x180 >= -0.01866292665, <= 0.01866292665;
var x181 >= -0.01866292665, <= 0.01866292665;
var x182 >= -0.01866292665, <= 0.01866292665;
var x183 >= -0.01866292665, <= 0.01866292665;
var x184 >= -0.01866292665, <= 0.01866292665;
var x185 >= -0.01866292665, <= 0.01866292665;
var x186 >= -0.01866292665, <= 0.01866292665;
var x187 >= -0.01866292665, <= 0.01866292665;
var x188 >= -0.01866292665, <= 0.01866292665;
var x189 >= -0.01866292665, <= 0.01866292665;
var x190 >= -0.01866292665, <= 0.01866292665;
var x191 >= -0.01866292665, <= 0.01866292665;
var x192 >= -0.01866292665, <= 0.01866292665;
var x193 >= -0.01866292665, <= 0.01866292665;
var x194 >= -0.01866292665, <= 0.01866292665;
var x195 >= -0.01866292665, <= 0.01866292665;
var x196 >= -0.01866292665, <= 0.01866292665;
var x197 >= -0.01866292665, <= 0.01866292665;
var x198 >= -0.01866292665, <= 0.01866292665;
var x199 >= -0.01866292665, <= 0.01866292665;
var x200 >= -0.01866292665, <= 0.01866292665;

minimize obj:  - 0.03141592654*x2 - 0.03141592654*x3 - 0.03141592654*x4
     - 0.03141592654*x5 - 0.03141592654*x6 - 0.03141592654*x7
     - 0.03141592654*x8 - 0.03141592654*x9 - 0.03141592654*x10
     - 0.03141592654*x11 - 0.03141592654*x12 - 0.03141592654*x13
     - 0.03141592654*x14 - 0.03141592654*x15 - 0.03141592654*x16
     - 0.03141592654*x17 - 0.03141592654*x18 - 0.03141592654*x19
     - 0.03141592654*x20 - 0.03141592654*x21 - 0.03141592654*x22
     - 0.03141592654*x23 - 0.03141592654*x24 - 0.03141592654*x25
     - 0.03141592654*x26 - 0.03141592654*x27 - 0.03141592654*x28
     - 0.03141592654*x29 - 0.03141592654*x30 - 0.03141592654*x31
     - 0.03141592654*x32 - 0.03141592654*x33 - 0.03141592654*x34
     - 0.03141592654*x35 - 0.03141592654*x36 - 0.03141592654*x37
     - 0.03141592654*x38 - 0.03141592654*x39 - 0.03141592654*x40
     - 0.03141592654*x41 - 0.03141592654*x42 - 0.03141592654*x43
     - 0.03141592654*x44 - 0.03141592654*x45 - 0.03141592654*x46
     - 0.03141592654*x47 - 0.03141592654*x48 - 0.03141592654*x49
     - 0.03141592654*x50 - 0.03141592654*x51 - 0.03141592654*x52
     - 0.03141592654*x53 - 0.03141592654*x54 - 0.03141592654*x55
     - 0.03141592654*x56 - 0.03141592654*x57 - 0.03141592654*x58
     - 0.03141592654*x59 - 0.03141592654*x60 - 0.03141592654*x61
     - 0.03141592654*x62 - 0.03141592654*x63 - 0.03141592654*x64
     - 0.03141592654*x65 - 0.03141592654*x66 - 0.03141592654*x67
     - 0.03141592654*x68 - 0.03141592654*x69 - 0.03141592654*x70
     - 0.03141592654*x71 - 0.03141592654*x72 - 0.03141592654*x73
     - 0.03141592654*x74 - 0.03141592654*x75 - 0.03141592654*x76
     - 0.03141592654*x77 - 0.03141592654*x78 - 0.03141592654*x79
     - 0.03141592654*x80 - 0.03141592654*x81 - 0.03141592654*x82
     - 0.03141592654*x83 - 0.03141592654*x84 - 0.03141592654*x85
     - 0.03141592654*x86 - 0.03141592654*x87 - 0.03141592654*x88
     - 0.03141592654*x89 - 0.03141592654*x90 - 0.03141592654*x91
     - 0.03141592654*x92 - 0.03141592654*x93 - 0.03141592654*x94
     - 0.03141592654*x95 - 0.03141592654*x96 - 0.03141592654*x97
     - 0.03141592654*x98 - 0.03141592654*x99 - 0.03141592654*x100
     - 0.03141592654*x101;

subject to

e2:    x2 - x3 + x102 = 0;

e3:    x3 - x4 + x103 = 0;

e4:    x4 - x5 + x104 = 0;

e5:    x5 - x6 + x105 = 0;

e6:    x6 - x7 + x106 = 0;

e7:    x7 - x8 + x107 = 0;

e8:    x8 - x9 + x108 = 0;

e9:    x9 - x10 + x109 = 0;

e10:    x10 - x11 + x110 = 0;

e11:    x11 - x12 + x111 = 0;

e12:    x12 - x13 + x112 = 0;

e13:    x13 - x14 + x113 = 0;

e14:    x14 - x15 + x114 = 0;

e15:    x15 - x16 + x115 = 0;

e16:    x16 - x17 + x116 = 0;

e17:    x17 - x18 + x117 = 0;

e18:    x18 - x19 + x118 = 0;

e19:    x19 - x20 + x119 = 0;

e20:    x20 - x21 + x120 = 0;

e21:    x21 - x22 + x121 = 0;

e22:    x22 - x23 + x122 = 0;

e23:    x23 - x24 + x123 = 0;

e24:    x24 - x25 + x124 = 0;

e25:    x25 - x26 + x125 = 0;

e26:    x26 - x27 + x126 = 0;

e27:    x27 - x28 + x127 = 0;

e28:    x28 - x29 + x128 = 0;

e29:    x29 - x30 + x129 = 0;

e30:    x30 - x31 + x130 = 0;

e31:    x31 - x32 + x131 = 0;

e32:    x32 - x33 + x132 = 0;

e33:    x33 - x34 + x133 = 0;

e34:    x34 - x35 + x134 = 0;

e35:    x35 - x36 + x135 = 0;

e36:    x36 - x37 + x136 = 0;

e37:    x37 - x38 + x137 = 0;

e38:    x38 - x39 + x138 = 0;

e39:    x39 - x40 + x139 = 0;

e40:    x40 - x41 + x140 = 0;

e41:    x41 - x42 + x141 = 0;

e42:    x42 - x43 + x142 = 0;

e43:    x43 - x44 + x143 = 0;

e44:    x44 - x45 + x144 = 0;

e45:    x45 - x46 + x145 = 0;

e46:    x46 - x47 + x146 = 0;

e47:    x47 - x48 + x147 = 0;

e48:    x48 - x49 + x148 = 0;

e49:    x49 - x50 + x149 = 0;

e50:    x50 - x51 + x150 = 0;

e51:    x51 - x52 + x151 = 0;

e52:    x52 - x53 + x152 = 0;

e53:    x53 - x54 + x153 = 0;

e54:    x54 - x55 + x154 = 0;

e55:    x55 - x56 + x155 = 0;

e56:    x56 - x57 + x156 = 0;

e57:    x57 - x58 + x157 = 0;

e58:    x58 - x59 + x158 = 0;

e59:    x59 - x60 + x159 = 0;

e60:    x60 - x61 + x160 = 0;

e61:    x61 - x62 + x161 = 0;

e62:    x62 - x63 + x162 = 0;

e63:    x63 - x64 + x163 = 0;

e64:    x64 - x65 + x164 = 0;

e65:    x65 - x66 + x165 = 0;

e66:    x66 - x67 + x166 = 0;

e67:    x67 - x68 + x167 = 0;

e68:    x68 - x69 + x168 = 0;

e69:    x69 - x70 + x169 = 0;

e70:    x70 - x71 + x170 = 0;

e71:    x71 - x72 + x171 = 0;

e72:    x72 - x73 + x172 = 0;

e73:    x73 - x74 + x173 = 0;

e74:    x74 - x75 + x174 = 0;

e75:    x75 - x76 + x175 = 0;

e76:    x76 - x77 + x176 = 0;

e77:    x77 - x78 + x177 = 0;

e78:    x78 - x79 + x178 = 0;

e79:    x79 - x80 + x179 = 0;

e80:    x80 - x81 + x180 = 0;

e81:    x81 - x82 + x181 = 0;

e82:    x82 - x83 + x182 = 0;

e83:    x83 - x84 + x183 = 0;

e84:    x84 - x85 + x184 = 0;

e85:    x85 - x86 + x185 = 0;

e86:    x86 - x87 + x186 = 0;

e87:    x87 - x88 + x187 = 0;

e88:    x88 - x89 + x188 = 0;

e89:    x89 - x90 + x189 = 0;

e90:    x90 - x91 + x190 = 0;

e91:    x91 - x92 + x191 = 0;

e92:    x92 - x93 + x192 = 0;

e93:    x93 - x94 + x193 = 0;

e94:    x94 - x95 + x194 = 0;

e95:    x95 - x96 + x195 = 0;

e96:    x96 - x97 + x196 = 0;

e97:    x97 - x98 + x197 = 0;

e98:    x98 - x99 + x198 = 0;

e99:    x99 - x100 + x199 = 0;

e100:    x100 - x101 + x200 = 0;

e101: (-x3*x2) - x2 + 1.9998452*x3 <= 0;

e102: 3.9996904*x100 - x101*x100 - 2*x101 <= 0;

e103: 1.9998452*x101^2 - 4*x101 <= 0;

e104: 1.9998452*x4*x2 - x3*x2 - x4*x3 <= 0;

e105: 1.9998452*x5*x3 - x4*x3 - x5*x4 <= 0;

e106: 1.9998452*x6*x4 - x5*x4 - x6*x5 <= 0;

e107: 1.9998452*x7*x5 - x6*x5 - x7*x6 <= 0;

e108: 1.9998452*x8*x6 - x7*x6 - x8*x7 <= 0;

e109: 1.9998452*x9*x7 - x8*x7 - x9*x8 <= 0;

e110: 1.9998452*x10*x8 - x9*x8 - x10*x9 <= 0;

e111: 1.9998452*x11*x9 - x10*x9 - x11*x10 <= 0;

e112: 1.9998452*x12*x10 - x11*x10 - x12*x11 <= 0;

e113: 1.9998452*x13*x11 - x12*x11 - x13*x12 <= 0;

e114: 1.9998452*x14*x12 - x13*x12 - x14*x13 <= 0;

e115: 1.9998452*x15*x13 - x14*x13 - x15*x14 <= 0;

e116: 1.9998452*x16*x14 - x15*x14 - x16*x15 <= 0;

e117: 1.9998452*x17*x15 - x16*x15 - x17*x16 <= 0;

e118: 1.9998452*x18*x16 - x17*x16 - x18*x17 <= 0;

e119: 1.9998452*x19*x17 - x18*x17 - x19*x18 <= 0;

e120: 1.9998452*x20*x18 - x19*x18 - x20*x19 <= 0;

e121: 1.9998452*x21*x19 - x20*x19 - x21*x20 <= 0;

e122: 1.9998452*x22*x20 - x21*x20 - x22*x21 <= 0;

e123: 1.9998452*x23*x21 - x22*x21 - x23*x22 <= 0;

e124: 1.9998452*x24*x22 - x23*x22 - x24*x23 <= 0;

e125: 1.9998452*x25*x23 - x24*x23 - x25*x24 <= 0;

e126: 1.9998452*x26*x24 - x25*x24 - x26*x25 <= 0;

e127: 1.9998452*x27*x25 - x26*x25 - x27*x26 <= 0;

e128: 1.9998452*x28*x26 - x27*x26 - x28*x27 <= 0;

e129: 1.9998452*x29*x27 - x28*x27 - x29*x28 <= 0;

e130: 1.9998452*x30*x28 - x29*x28 - x30*x29 <= 0;

e131: 1.9998452*x31*x29 - x30*x29 - x31*x30 <= 0;

e132: 1.9998452*x32*x30 - x31*x30 - x32*x31 <= 0;

e133: 1.9998452*x33*x31 - x32*x31 - x33*x32 <= 0;

e134: 1.9998452*x34*x32 - x33*x32 - x34*x33 <= 0;

e135: 1.9998452*x35*x33 - x34*x33 - x35*x34 <= 0;

e136: 1.9998452*x36*x34 - x35*x34 - x36*x35 <= 0;

e137: 1.9998452*x37*x35 - x36*x35 - x37*x36 <= 0;

e138: 1.9998452*x38*x36 - x37*x36 - x38*x37 <= 0;

e139: 1.9998452*x39*x37 - x38*x37 - x39*x38 <= 0;

e140: 1.9998452*x40*x38 - x39*x38 - x40*x39 <= 0;

e141: 1.9998452*x41*x39 - x40*x39 - x41*x40 <= 0;

e142: 1.9998452*x42*x40 - x41*x40 - x42*x41 <= 0;

e143: 1.9998452*x43*x41 - x42*x41 - x43*x42 <= 0;

e144: 1.9998452*x44*x42 - x43*x42 - x44*x43 <= 0;

e145: 1.9998452*x45*x43 - x44*x43 - x45*x44 <= 0;

e146: 1.9998452*x46*x44 - x45*x44 - x46*x45 <= 0;

e147: 1.9998452*x47*x45 - x46*x45 - x47*x46 <= 0;

e148: 1.9998452*x48*x46 - x47*x46 - x48*x47 <= 0;

e149: 1.9998452*x49*x47 - x48*x47 - x49*x48 <= 0;

e150: 1.9998452*x50*x48 - x49*x48 - x50*x49 <= 0;

e151: 1.9998452*x51*x49 - x50*x49 - x51*x50 <= 0;

e152: 1.9998452*x52*x50 - x51*x50 - x52*x51 <= 0;

e153: 1.9998452*x53*x51 - x52*x51 - x53*x52 <= 0;

e154: 1.9998452*x54*x52 - x53*x52 - x54*x53 <= 0;

e155: 1.9998452*x55*x53 - x54*x53 - x55*x54 <= 0;

e156: 1.9998452*x56*x54 - x55*x54 - x56*x55 <= 0;

e157: 1.9998452*x57*x55 - x56*x55 - x57*x56 <= 0;

e158: 1.9998452*x58*x56 - x57*x56 - x58*x57 <= 0;

e159: 1.9998452*x59*x57 - x58*x57 - x59*x58 <= 0;

e160: 1.9998452*x60*x58 - x59*x58 - x60*x59 <= 0;

e161: 1.9998452*x61*x59 - x60*x59 - x61*x60 <= 0;

e162: 1.9998452*x62*x60 - x61*x60 - x62*x61 <= 0;

e163: 1.9998452*x63*x61 - x62*x61 - x63*x62 <= 0;

e164: 1.9998452*x64*x62 - x63*x62 - x64*x63 <= 0;

e165: 1.9998452*x65*x63 - x64*x63 - x65*x64 <= 0;

e166: 1.9998452*x66*x64 - x65*x64 - x66*x65 <= 0;

e167: 1.9998452*x67*x65 - x66*x65 - x67*x66 <= 0;

e168: 1.9998452*x68*x66 - x67*x66 - x68*x67 <= 0;

e169: 1.9998452*x69*x67 - x68*x67 - x69*x68 <= 0;

e170: 1.9998452*x70*x68 - x69*x68 - x70*x69 <= 0;

e171: 1.9998452*x71*x69 - x70*x69 - x71*x70 <= 0;

e172: 1.9998452*x72*x70 - x71*x70 - x72*x71 <= 0;

e173: 1.9998452*x73*x71 - x72*x71 - x73*x72 <= 0;

e174: 1.9998452*x74*x72 - x73*x72 - x74*x73 <= 0;

e175: 1.9998452*x75*x73 - x74*x73 - x75*x74 <= 0;

e176: 1.9998452*x76*x74 - x75*x74 - x76*x75 <= 0;

e177: 1.9998452*x77*x75 - x76*x75 - x77*x76 <= 0;

e178: 1.9998452*x78*x76 - x77*x76 - x78*x77 <= 0;

e179: 1.9998452*x79*x77 - x78*x77 - x79*x78 <= 0;

e180: 1.9998452*x80*x78 - x79*x78 - x80*x79 <= 0;

e181: 1.9998452*x81*x79 - x80*x79 - x81*x80 <= 0;

e182: 1.9998452*x82*x80 - x81*x80 - x82*x81 <= 0;

e183: 1.9998452*x83*x81 - x82*x81 - x83*x82 <= 0;

e184: 1.9998452*x84*x82 - x83*x82 - x84*x83 <= 0;

e185: 1.9998452*x85*x83 - x84*x83 - x85*x84 <= 0;

e186: 1.9998452*x86*x84 - x85*x84 - x86*x85 <= 0;

e187: 1.9998452*x87*x85 - x86*x85 - x87*x86 <= 0;

e188: 1.9998452*x88*x86 - x87*x86 - x88*x87 <= 0;

e189: 1.9998452*x89*x87 - x88*x87 - x89*x88 <= 0;

e190: 1.9998452*x90*x88 - x89*x88 - x90*x89 <= 0;

e191: 1.9998452*x91*x89 - x90*x89 - x91*x90 <= 0;

e192: 1.9998452*x92*x90 - x91*x90 - x92*x91 <= 0;

e193: 1.9998452*x93*x91 - x92*x91 - x93*x92 <= 0;

e194: 1.9998452*x94*x92 - x93*x92 - x94*x93 <= 0;

e195: 1.9998452*x95*x93 - x94*x93 - x95*x94 <= 0;

e196: 1.9998452*x96*x94 - x95*x94 - x96*x95 <= 0;

e197: 1.9998452*x97*x95 - x96*x95 - x97*x96 <= 0;

e198: 1.9998452*x98*x96 - x97*x96 - x98*x97 <= 0;

e199: 1.9998452*x99*x97 - x98*x97 - x99*x98 <= 0;

e200: 1.9998452*x100*x98 - x99*x98 - x100*x99 <= 0;

e201: 1.9998452*x101*x99 - x100*x99 - x101*x100 <= 0;