#  MINLP written by GAMS Convert at 01/12/18 13:33:53
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        348        2        2      344        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        145       89        0       56        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       1381     1365       16        0
# 
#  Reformulation has removed 1 variable and 1 equation


var i1 integer >= 0, <= 100;
var i2 integer >= 0, <= 100;
var i3 integer >= 0, <= 100;
var i4 integer >= 0, <= 100;
var i5 integer >= 0, <= 100;
var i6 integer >= 0, <= 100;
var i7 integer >= 0, <= 100;
var i8 integer >= 0, <= 100;
var i9 integer >= 0, <= 100;
var i10 integer >= 0, <= 100;
var i11 integer >= 0, <= 100;
var i12 integer >= 0, <= 100;
var i13 integer >= 0, <= 100;
var i14 integer >= 0, <= 100;
var i15 integer >= 0, <= 100;
var i16 integer >= 0, <= 100;
var i17 integer >= 0, <= 100;
var i18 integer >= 0, <= 100;
var i19 integer >= 0, <= 100;
var i20 integer >= 0, <= 100;
var i21 integer >= 0, <= 100;
var i22 integer >= 0, <= 100;
var i23 integer >= 0, <= 100;
var i24 integer >= 0, <= 100;
var i25 integer >= 0, <= 100;
var i26 integer >= 0, <= 100;
var i27 integer >= 0, <= 100;
var i28 integer >= 0, <= 100;
var i29 integer >= 0, <= 100;
var i30 integer >= 0, <= 100;
var i31 integer >= 0, <= 100;
var i32 integer >= 0, <= 100;
var i33 integer >= 0, <= 100;
var i34 integer >= 0, <= 100;
var i35 integer >= 0, <= 100;
var i36 integer >= 0, <= 100;
var i37 integer >= 0, <= 100;
var i38 integer >= 0, <= 100;
var i39 integer >= 0, <= 100;
var i40 integer >= 0, <= 100;
var i41 integer >= 0, <= 100;
var i42 integer >= 0, <= 100;
var i43 integer >= 0, <= 100;
var i44 integer >= 0, <= 100;
var i45 integer >= 0, <= 100;
var i46 integer >= 0, <= 100;
var i47 integer >= 0, <= 100;
var i48 integer >= 0, <= 100;
var i49 integer >= 0, <= 100;
var i50 integer >= 0, <= 100;
var i51 integer >= 0, <= 100;
var i52 integer >= 0, <= 100;
var i53 integer >= 0, <= 100;
var i54 integer >= 0, <= 100;
var i55 integer >= 0, <= 100;
var i56 integer >= 0, <= 100;
var x58;
var x59;
var x60;
var x61;
var x62;
var x63;
var x64;
var x65;
var x66;
var x67;
var x68;
var x69;
var x70;
var x71;
var x72;
var x73;
var x74;
var x75;
var x76 := 2.3094, >= 2.3094, <= 6.9282;
var x77 := 2.3094, >= 2.3094, <= 6.9282;
var x78 := 2.3094, >= 2.3094, <= 6.9282;
var x79 := 2.3094, >= 2.3094, <= 6.9282;
var x80 := 2.3094, >= 2.3094, <= 6.9282;
var x81;
var x82 := 2.3094, >= 2.3094, <= 6.9282;
var x83;
var x84 := 3.4641, >= 3.4641, <= 10.3923;
var x85;
var x86 := 3.4641, >= 3.4641, <= 10.3923;
var x87;
var x88 := 3.4641, >= 3.4641, <= 10.3923;
var x89;
var x90 := 3.4641, >= 3.4641, <= 10.3923;
var x91;
var x92 := 1.7321, >= 1.7321, <= 5.1962;
var x93;
var x94 := 1.7321, >= 1.7321, <= 5.1962;
var x95;
var x96 := 1.7321, >= 1.7321, <= 5.1962;
var x97;
var x98 := 1.7321, >= 1.7321, <= 5.1962;
var x99;
var x100 := 1.7321, >= 1.7321, <= 5.1962;
var x101;
var x102 := 1.7321, >= 1.7321, <= 5.1962;
var x103;
var x104;
var x105;
var x106;
var x107;
var x108;
var x109;
var x110;
var x111;
var x112;
var x113;
var x114;
var x115;
var x116;
var x117;
var x118;
var x119;
var x120;
var x121;
var x122;
var x123;
var x124;
var x125;
var x126;
var x127;
var x128;
var x129;
var x130;
var x131;
var x132;
var x133;
var x134;
var x135;
var x136;
var x137;
var x138;
var x139;
var x140;
var x141;
var x142;
var x143;
var x144;
var x145;

minimize obj:    x58 + x59 + x60 + x61 + x62 + x63 + x64 + x65 + x66 + x67
     + x68 + x69 + x70 + x71;

subject to

e2:    x72 - x73 >= 0;

e3:    x74 - x75 >= 0;

e4:    i1 - i2 = 0;

e5:  - 11.31*i1 - x58 + 0.5*x76 + 0.5*x77 <= 0;

e6:    13*i1 - x59 + 0.5*x78 + 0.5*x79 <= 13;

e7:  - 11.31*i3 + 0.5*x76 + 0.5*x80 - x81 <= 0;

e8:    13*i3 + 0.5*x78 + 0.5*x82 - x83 <= 13;

e9:  - 11.31*i5 + 0.5*x76 + 0.5*x84 - x85 <= 0;

e10:    13*i5 + 0.5*x78 + 0.5*x86 - x87 <= 13;

e11:  - 11.31*i7 + 0.5*x76 + 0.5*x88 - x89 <= 0;

e12:    13*i7 + 0.5*x78 + 0.5*x90 - x91 <= 13;

e13:  - 11.31*i9 + 0.5*x76 + 0.5*x92 - x93 <= 0;

e14:    13*i9 + 0.5*x78 + 0.5*x94 - x95 <= 13;

e15:  - 11.31*i11 + 0.5*x76 + 0.5*x96 - x97 <= 0;

e16:    13*i11 + 0.5*x78 + 0.5*x98 - x99 <= 13;

e17:  - 11.31*i13 + 0.5*x76 + 0.5*x100 - x101 <= 0;

e18:    13*i13 + 0.5*x78 + 0.5*x102 - x103 <= 13;

e19:  - 11.31*i15 - x60 + 0.5*x77 + 0.5*x80 <= 0;

e20:    13*i15 - x61 + 0.5*x79 + 0.5*x82 <= 13;

e21:  - 11.31*i17 + 0.5*x77 + 0.5*x84 - x104 <= 0;

e22:    13*i17 + 0.5*x79 + 0.5*x86 - x105 <= 13;

e23:  - 11.31*i19 + 0.5*x77 + 0.5*x88 - x106 <= 0;

e24:    13*i19 + 0.5*x79 + 0.5*x90 - x107 <= 13;

e25:  - 11.31*i21 + 0.5*x77 + 0.5*x92 - x108 <= 0;

e26:    13*i21 + 0.5*x79 + 0.5*x94 - x109 <= 13;

e27:  - 11.31*i23 + 0.5*x77 + 0.5*x96 - x110 <= 0;

e28:    13*i23 + 0.5*x79 + 0.5*x98 - x111 <= 13;

e29:  - 11.31*i25 + 0.5*x77 + 0.5*x100 - x112 <= 0;

e30:    13*i25 + 0.5*x79 + 0.5*x102 - x113 <= 13;

e31:  - 11.31*i27 - x62 + 0.5*x80 + 0.5*x84 <= 0;

e32:    13*i27 - x63 + 0.5*x82 + 0.5*x86 <= 13;

e33:  - 11.31*i29 + 0.5*x80 + 0.5*x88 - x114 <= 0;

e34:    13*i29 + 0.5*x82 + 0.5*x90 - x115 <= 13;

e35:  - 11.31*i31 + 0.5*x80 + 0.5*x92 - x116 <= 0;

e36:    13*i31 + 0.5*x82 + 0.5*x94 - x117 <= 13;

e37:  - 11.31*i33 + 0.5*x80 + 0.5*x96 - x118 <= 0;

e38:    13*i33 + 0.5*x82 + 0.5*x98 - x119 <= 13;

e39:  - 11.31*i35 + 0.5*x80 + 0.5*x100 - x120 <= 0;

e40:    13*i35 + 0.5*x82 + 0.5*x102 - x121 <= 13;

e41:  - 11.31*i37 - x64 + 0.5*x84 + 0.5*x88 <= 0;

e42:    13*i37 - x65 + 0.5*x86 + 0.5*x90 <= 13;

e43:  - 11.31*i39 + 0.5*x84 + 0.5*x92 - x122 <= 0;

e44:    13*i39 + 0.5*x86 + 0.5*x94 - x123 <= 13;

e45:  - 11.31*i41 + 0.5*x84 + 0.5*x96 - x124 <= 0;

e46:    13*i41 + 0.5*x86 + 0.5*x98 - x125 <= 13;

e47:  - 11.31*i43 + 0.5*x84 + 0.5*x100 - x126 <= 0;

e48:    13*i43 + 0.5*x86 + 0.5*x102 - x127 <= 13;

e49:  - 11.31*i45 - x66 + 0.5*x88 + 0.5*x92 <= 0;

e50:    13*i45 - x67 + 0.5*x90 + 0.5*x94 <= 13;

e51:  - 11.31*i47 + 0.5*x88 + 0.5*x96 - x128 <= 0;

e52:    13*i47 + 0.5*x90 + 0.5*x98 - x129 <= 13;

e53:  - 11.31*i49 + 0.5*x88 + 0.5*x100 - x130 <= 0;

e54:    13*i49 + 0.5*x90 + 0.5*x102 - x131 <= 13;

e55:  - 11.31*i51 - x68 + 0.5*x92 + 0.5*x96 <= 0;

e56:    13*i51 - x69 + 0.5*x94 + 0.5*x98 <= 13;

e57:  - 11.31*i53 + 0.5*x92 + 0.5*x100 - x132 <= 0;

e58:    13*i53 + 0.5*x94 + 0.5*x102 - x133 <= 13;

e59:  - 11.31*i55 - x70 + 0.5*x96 + 0.5*x100 <= 0;

e60:    13*i55 - x71 + 0.5*x98 + 0.5*x102 <= 13;

e61:  - 0.433013*x76 - 0.144338*x78 <= -2;

e62:  - 0.144338*x76 - 0.433013*x78 <= -2;

e63:  - 0.433013*x77 - 0.144338*x79 <= -2;

e64:  - 0.144338*x77 - 0.433013*x79 <= -2;

e65:  - 0.433013*x80 - 0.144338*x82 <= -2;

e66:  - 0.144338*x80 - 0.433013*x82 <= -2;

e67:  - 0.288675*x84 - 0.096225*x86 <= -2;

e68:  - 0.096225*x84 - 0.288675*x86 <= -2;

e69:  - 0.288675*x88 - 0.096225*x90 <= -2;

e70:  - 0.096225*x88 - 0.288675*x90 <= -2;

e71:  - 0.577334*x92 - 0.192456*x94 <= -2;

e72:  - 0.192448*x92 - 0.577356*x94 <= -2;

e73:  - 0.577334*x96 - 0.192456*x98 <= -2;

e74:  - 0.192448*x96 - 0.577356*x98 <= -2;

e75:  - 0.577334*x100 - 0.192456*x102 <= -2;

e76:  - 0.192448*x100 - 0.577356*x102 <= -2;

e77:    x72 + 0.5*x76 <= 11.31;

e78:  - x72 + 0.5*x76 <= 0;

e79:    x75 + 0.5*x78 <= 13;

e80:  - x75 + 0.5*x78 <= 0;

e81:    x73 + 0.5*x77 <= 11.31;

e82:  - x73 + 0.5*x77 <= 0;

e83:    x74 + 0.5*x79 <= 13;

e84:  - x74 + 0.5*x79 <= 0;

e85:    0.5*x80 + x134 <= 11.31;

e86:    0.5*x80 - x134 <= 0;

e87:    0.5*x82 + x135 <= 13;

e88:    0.5*x82 - x135 <= 0;

e89:    0.5*x84 + x136 <= 11.31;

e90:    0.5*x84 - x136 <= 0;

e91:    0.5*x86 + x137 <= 13;

e92:    0.5*x86 - x137 <= 0;

e93:    0.5*x88 + x138 <= 11.31;

e94:    0.5*x88 - x138 <= 0;

e95:    0.5*x90 + x139 <= 13;

e96:    0.5*x90 - x139 <= 0;

e97:    0.5*x92 + x140 <= 11.31;

e98:    0.5*x92 - x140 <= 0;

e99:    0.5*x94 + x141 <= 13;

e100:    0.5*x94 - x141 <= 0;

e101:    0.5*x96 + x142 <= 11.31;

e102:    0.5*x96 - x142 <= 0;

e103:    0.5*x98 + x143 <= 13;

e104:    0.5*x98 - x143 <= 0;

e105:    0.5*x100 + x144 <= 11.31;

e106:    0.5*x100 - x144 <= 0;

e107:    0.5*x102 + x145 <= 13;

e108:    0.5*x102 - x145 <= 0;

e109:  - x58 + x72 - x73 <= 0;

e110:  - x58 - x72 + x73 <= 0;

e111:  - x59 - x74 + x75 <= 0;

e112:  - x59 + x74 - x75 <= 0;

e113:  - 11.31*i1 - 11.31*i2 - x72 + x73 + 0.5*x76 + 0.5*x77 <= 0;

e114:  - 11.31*i1 + 11.31*i2 + x72 - x73 + 0.5*x76 + 0.5*x77 <= 11.31;

e115:    13*i1 - 13*i2 + x74 - x75 + 0.5*x78 + 0.5*x79 <= 13;

e116:    13*i1 + 13*i2 - x74 + x75 + 0.5*x78 + 0.5*x79 <= 26;

e117:    x72 - x81 - x134 <= 0;

e118:  - x72 - x81 + x134 <= 0;

e119:    x75 - x83 - x135 <= 0;

e120:  - x75 - x83 + x135 <= 0;

e121:  - 11.31*i3 - 11.31*i4 - x72 + 0.5*x76 + 0.5*x80 + x134 <= 0;

e122:  - 11.31*i3 + 11.31*i4 + x72 + 0.5*x76 + 0.5*x80 - x134 <= 11.31;

e123:    13*i3 - 13*i4 - x75 + 0.5*x78 + 0.5*x82 + x135 <= 13;

e124:    13*i3 + 13*i4 + x75 + 0.5*x78 + 0.5*x82 - x135 <= 26;

e125:    x72 - x85 - x136 <= 0;

e126:  - x72 - x85 + x136 <= 0;

e127:    x75 - x87 - x137 <= 0;

e128:  - x75 - x87 + x137 <= 0;

e129:  - 11.31*i5 - 11.31*i6 - x72 + 0.5*x76 + 0.5*x84 + x136 <= 0;

e130:  - 11.31*i5 + 11.31*i6 + x72 + 0.5*x76 + 0.5*x84 - x136 <= 11.31;

e131:    13*i5 - 13*i6 - x75 + 0.5*x78 + 0.5*x86 + x137 <= 13;

e132:    13*i5 + 13*i6 + x75 + 0.5*x78 + 0.5*x86 - x137 <= 26;

e133:    x72 - x89 - x138 <= 0;

e134:  - x72 - x89 + x138 <= 0;

e135:    x75 - x91 - x139 <= 0;

e136:  - x75 - x91 + x139 <= 0;

e137:  - 11.31*i7 - 11.31*i8 - x72 + 0.5*x76 + 0.5*x88 + x138 <= 0;

e138:  - 11.31*i7 + 11.31*i8 + x72 + 0.5*x76 + 0.5*x88 - x138 <= 11.31;

e139:    13*i7 - 13*i8 - x75 + 0.5*x78 + 0.5*x90 + x139 <= 13;

e140:    13*i7 + 13*i8 + x75 + 0.5*x78 + 0.5*x90 - x139 <= 26;

e141:    x72 - x93 - x140 <= 0;

e142:  - x72 - x93 + x140 <= 0;

e143:    x75 - x95 - x141 <= 0;

e144:  - x75 - x95 + x141 <= 0;

e145:  - 11.31*i9 - 11.31*i10 - x72 + 0.5*x76 + 0.5*x92 + x140 <= 0;

e146:  - 11.31*i9 + 11.31*i10 + x72 + 0.5*x76 + 0.5*x92 - x140 <= 11.31;

e147:    13*i9 - 13*i10 - x75 + 0.5*x78 + 0.5*x94 + x141 <= 13;

e148:    13*i9 + 13*i10 + x75 + 0.5*x78 + 0.5*x94 - x141 <= 26;

e149:    x72 - x97 - x142 <= 0;

e150:  - x72 - x97 + x142 <= 0;

e151:    x75 - x99 - x143 <= 0;

e152:  - x75 - x99 + x143 <= 0;

e153:  - 11.31*i11 - 11.31*i12 - x72 + 0.5*x76 + 0.5*x96 + x142 <= 0;

e154:  - 11.31*i11 + 11.31*i12 + x72 + 0.5*x76 + 0.5*x96 - x142 <= 11.31;

e155:    13*i11 - 13*i12 - x75 + 0.5*x78 + 0.5*x98 + x143 <= 13;

e156:    13*i11 + 13*i12 + x75 + 0.5*x78 + 0.5*x98 - x143 <= 26;

e157:    x72 - x101 - x144 <= 0;

e158:  - x72 - x101 + x144 <= 0;

e159:    x75 - x103 - x145 <= 0;

e160:  - x75 - x103 + x145 <= 0;

e161:  - 11.31*i13 - 11.31*i14 - x72 + 0.5*x76 + 0.5*x100 + x144 <= 0;

e162:  - 11.31*i13 + 11.31*i14 + x72 + 0.5*x76 + 0.5*x100 - x144 <= 11.31;

e163:    13*i13 - 13*i14 - x75 + 0.5*x78 + 0.5*x102 + x145 <= 13;

e164:    13*i13 + 13*i14 + x75 + 0.5*x78 + 0.5*x102 - x145 <= 26;

e165:  - x60 + x73 - x134 <= 0;

e166:  - x60 - x73 + x134 <= 0;

e167:  - x61 + x74 - x135 <= 0;

e168:  - x61 - x74 + x135 <= 0;

e169:  - 11.31*i15 - 11.31*i16 - x73 + 0.5*x77 + 0.5*x80 + x134 <= 0;

e170:  - 11.31*i15 + 11.31*i16 + x73 + 0.5*x77 + 0.5*x80 - x134 <= 11.31;

e171:    13*i15 - 13*i16 - x74 + 0.5*x79 + 0.5*x82 + x135 <= 13;

e172:    13*i15 + 13*i16 + x74 + 0.5*x79 + 0.5*x82 - x135 <= 26;

e173:    x73 - x104 - x136 <= 0;

e174:  - x73 - x104 + x136 <= 0;

e175:    x74 - x105 - x137 <= 0;

e176:  - x74 - x105 + x137 <= 0;

e177:  - 11.31*i17 - 11.31*i18 - x73 + 0.5*x77 + 0.5*x84 + x136 <= 0;

e178:  - 11.31*i17 + 11.31*i18 + x73 + 0.5*x77 + 0.5*x84 - x136 <= 11.31;

e179:    13*i17 - 13*i18 - x74 + 0.5*x79 + 0.5*x86 + x137 <= 13;

e180:    13*i17 + 13*i18 + x74 + 0.5*x79 + 0.5*x86 - x137 <= 26;

e181:    x73 - x106 - x138 <= 0;

e182:  - x73 - x106 + x138 <= 0;

e183:    x74 - x107 - x139 <= 0;

e184:  - x74 - x107 + x139 <= 0;

e185:  - 11.31*i19 - 11.31*i20 - x73 + 0.5*x77 + 0.5*x88 + x138 <= 0;

e186:  - 11.31*i19 + 11.31*i20 + x73 + 0.5*x77 + 0.5*x88 - x138 <= 11.31;

e187:    13*i19 - 13*i20 - x74 + 0.5*x79 + 0.5*x90 + x139 <= 13;

e188:    13*i19 + 13*i20 + x74 + 0.5*x79 + 0.5*x90 - x139 <= 26;

e189:    x73 - x108 - x140 <= 0;

e190:  - x73 - x108 + x140 <= 0;

e191:    x74 - x109 - x141 <= 0;

e192:  - x74 - x109 + x141 <= 0;

e193:  - 11.31*i21 - 11.31*i22 - x73 + 0.5*x77 + 0.5*x92 + x140 <= 0;

e194:  - 11.31*i21 + 11.31*i22 + x73 + 0.5*x77 + 0.5*x92 - x140 <= 11.31;

e195:    13*i21 - 13*i22 - x74 + 0.5*x79 + 0.5*x94 + x141 <= 13;

e196:    13*i21 + 13*i22 + x74 + 0.5*x79 + 0.5*x94 - x141 <= 26;

e197:    x73 - x110 - x142 <= 0;

e198:  - x73 - x110 + x142 <= 0;

e199:    x74 - x111 - x143 <= 0;

e200:  - x74 - x111 + x143 <= 0;

e201:  - 11.31*i23 - 11.31*i24 - x73 + 0.5*x77 + 0.5*x96 + x142 <= 0;

e202:  - 11.31*i23 + 11.31*i24 + x73 + 0.5*x77 + 0.5*x96 - x142 <= 11.31;

e203:    13*i23 - 13*i24 - x74 + 0.5*x79 + 0.5*x98 + x143 <= 13;

e204:    13*i23 + 13*i24 + x74 + 0.5*x79 + 0.5*x98 - x143 <= 26;

e205:    x73 - x112 - x144 <= 0;

e206:  - x73 - x112 + x144 <= 0;

e207:    x74 - x113 - x145 <= 0;

e208:  - x74 - x113 + x145 <= 0;

e209:  - 11.31*i25 - 11.31*i26 - x73 + 0.5*x77 + 0.5*x100 + x144 <= 0;

e210:  - 11.31*i25 + 11.31*i26 + x73 + 0.5*x77 + 0.5*x100 - x144 <= 11.31;

e211:    13*i25 - 13*i26 - x74 + 0.5*x79 + 0.5*x102 + x145 <= 13;

e212:    13*i25 + 13*i26 + x74 + 0.5*x79 + 0.5*x102 - x145 <= 26;

e213:  - x62 + x134 - x136 <= 0;

e214:  - x62 - x134 + x136 <= 0;

e215:  - x63 + x135 - x137 <= 0;

e216:  - x63 - x135 + x137 <= 0;

e217:  - 11.31*i27 - 11.31*i28 + 0.5*x80 + 0.5*x84 - x134 + x136 <= 0;

e218:  - 11.31*i27 + 11.31*i28 + 0.5*x80 + 0.5*x84 + x134 - x136 <= 11.31;

e219:    13*i27 - 13*i28 + 0.5*x82 + 0.5*x86 - x135 + x137 <= 13;

e220:    13*i27 + 13*i28 + 0.5*x82 + 0.5*x86 + x135 - x137 <= 26;

e221:  - x114 + x134 - x138 <= 0;

e222:  - x114 - x134 + x138 <= 0;

e223:  - x115 + x135 - x139 <= 0;

e224:  - x115 - x135 + x139 <= 0;

e225:  - 11.31*i29 - 11.31*i30 + 0.5*x80 + 0.5*x88 - x134 + x138 <= 0;

e226:  - 11.31*i29 + 11.31*i30 + 0.5*x80 + 0.5*x88 + x134 - x138 <= 11.31;

e227:    13*i29 - 13*i30 + 0.5*x82 + 0.5*x90 - x135 + x139 <= 13;

e228:    13*i29 + 13*i30 + 0.5*x82 + 0.5*x90 + x135 - x139 <= 26;

e229:  - x116 + x134 - x140 <= 0;

e230:  - x116 - x134 + x140 <= 0;

e231:  - x117 + x135 - x141 <= 0;

e232:  - x117 - x135 + x141 <= 0;

e233:  - 11.31*i31 - 11.31*i32 + 0.5*x80 + 0.5*x92 - x134 + x140 <= 0;

e234:  - 11.31*i31 + 11.31*i32 + 0.5*x80 + 0.5*x92 + x134 - x140 <= 11.31;

e235:    13*i31 - 13*i32 + 0.5*x82 + 0.5*x94 - x135 + x141 <= 13;

e236:    13*i31 + 13*i32 + 0.5*x82 + 0.5*x94 + x135 - x141 <= 26;

e237:  - x118 + x134 - x142 <= 0;

e238:  - x118 - x134 + x142 <= 0;

e239:  - x119 + x135 - x143 <= 0;

e240:  - x119 - x135 + x143 <= 0;

e241:  - 11.31*i33 - 11.31*i34 + 0.5*x80 + 0.5*x96 - x134 + x142 <= 0;

e242:  - 11.31*i33 + 11.31*i34 + 0.5*x80 + 0.5*x96 + x134 - x142 <= 11.31;

e243:    13*i33 - 13*i34 + 0.5*x82 + 0.5*x98 - x135 + x143 <= 13;

e244:    13*i33 + 13*i34 + 0.5*x82 + 0.5*x98 + x135 - x143 <= 26;

e245:  - x120 + x134 - x144 <= 0;

e246:  - x120 - x134 + x144 <= 0;

e247:  - x121 + x135 - x145 <= 0;

e248:  - x121 - x135 + x145 <= 0;

e249:  - 11.31*i35 - 11.31*i36 + 0.5*x80 + 0.5*x100 - x134 + x144 <= 0;

e250:  - 11.31*i35 + 11.31*i36 + 0.5*x80 + 0.5*x100 + x134 - x144 <= 11.31;

e251:    13*i35 - 13*i36 + 0.5*x82 + 0.5*x102 - x135 + x145 <= 13;

e252:    13*i35 + 13*i36 + 0.5*x82 + 0.5*x102 + x135 - x145 <= 26;

e253:  - x64 + x136 - x138 <= 0;

e254:  - x64 - x136 + x138 <= 0;

e255:  - x65 + x137 - x139 <= 0;

e256:  - x65 - x137 + x139 <= 0;

e257:  - 11.31*i37 - 11.31*i38 + 0.5*x84 + 0.5*x88 - x136 + x138 <= 0;

e258:  - 11.31*i37 + 11.31*i38 + 0.5*x84 + 0.5*x88 + x136 - x138 <= 11.31;

e259:    13*i37 - 13*i38 + 0.5*x86 + 0.5*x90 - x137 + x139 <= 13;

e260:    13*i37 + 13*i38 + 0.5*x86 + 0.5*x90 + x137 - x139 <= 26;

e261:  - x122 + x136 - x140 <= 0;

e262:  - x122 - x136 + x140 <= 0;

e263:  - x123 + x137 - x141 <= 0;

e264:  - x123 - x137 + x141 <= 0;

e265:  - 11.31*i39 - 11.31*i40 + 0.5*x84 + 0.5*x92 - x136 + x140 <= 0;

e266:  - 11.31*i39 + 11.31*i40 + 0.5*x84 + 0.5*x92 + x136 - x140 <= 11.31;

e267:    13*i39 - 13*i40 + 0.5*x86 + 0.5*x94 - x137 + x141 <= 13;

e268:    13*i39 + 13*i40 + 0.5*x86 + 0.5*x94 + x137 - x141 <= 26;

e269:  - x124 + x136 - x142 <= 0;

e270:  - x124 - x136 + x142 <= 0;

e271:  - x125 + x137 - x143 <= 0;

e272:  - x125 - x137 + x143 <= 0;

e273:  - 11.31*i41 - 11.31*i42 + 0.5*x84 + 0.5*x96 - x136 + x142 <= 0;

e274:  - 11.31*i41 + 11.31*i42 + 0.5*x84 + 0.5*x96 + x136 - x142 <= 11.31;

e275:    13*i41 - 13*i42 + 0.5*x86 + 0.5*x98 - x137 + x143 <= 13;

e276:    13*i41 + 13*i42 + 0.5*x86 + 0.5*x98 + x137 - x143 <= 26;

e277:  - x126 + x136 - x144 <= 0;

e278:  - x126 - x136 + x144 <= 0;

e279:  - x127 + x137 - x145 <= 0;

e280:  - x127 - x137 + x145 <= 0;

e281:  - 11.31*i43 - 11.31*i44 + 0.5*x84 + 0.5*x100 - x136 + x144 <= 0;

e282:  - 11.31*i43 + 11.31*i44 + 0.5*x84 + 0.5*x100 + x136 - x144 <= 11.31;

e283:    13*i43 - 13*i44 + 0.5*x86 + 0.5*x102 - x137 + x145 <= 13;

e284:    13*i43 + 13*i44 + 0.5*x86 + 0.5*x102 + x137 - x145 <= 26;

e285:  - x66 + x138 - x140 <= 0;

e286:  - x66 - x138 + x140 <= 0;

e287:  - x67 + x139 - x141 <= 0;

e288:  - x67 - x139 + x141 <= 0;

e289:  - 11.31*i45 - 11.31*i46 + 0.5*x88 + 0.5*x92 - x138 + x140 <= 0;

e290:  - 11.31*i45 + 11.31*i46 + 0.5*x88 + 0.5*x92 + x138 - x140 <= 11.31;

e291:    13*i45 - 13*i46 + 0.5*x90 + 0.5*x94 - x139 + x141 <= 13;

e292:    13*i45 + 13*i46 + 0.5*x90 + 0.5*x94 + x139 - x141 <= 26;

e293:  - x128 + x138 - x142 <= 0;

e294:  - x128 - x138 + x142 <= 0;

e295:  - x129 + x139 - x143 <= 0;

e296:  - x129 - x139 + x143 <= 0;

e297:  - 11.31*i47 - 11.31*i48 + 0.5*x88 + 0.5*x96 - x138 + x142 <= 0;

e298:  - 11.31*i47 + 11.31*i48 + 0.5*x88 + 0.5*x96 + x138 - x142 <= 11.31;

e299:    13*i47 - 13*i48 + 0.5*x90 + 0.5*x98 - x139 + x143 <= 13;

e300:    13*i47 + 13*i48 + 0.5*x90 + 0.5*x98 + x139 - x143 <= 26;

e301:  - x130 + x138 - x144 <= 0;

e302:  - x130 - x138 + x144 <= 0;

e303:  - x131 + x139 - x145 <= 0;

e304:  - x131 - x139 + x145 <= 0;

e305:  - 11.31*i49 - 11.31*i50 + 0.5*x88 + 0.5*x100 - x138 + x144 <= 0;

e306:  - 11.31*i49 + 11.31*i50 + 0.5*x88 + 0.5*x100 + x138 - x144 <= 11.31;

e307:    13*i49 - 13*i50 + 0.5*x90 + 0.5*x102 - x139 + x145 <= 13;

e308:    13*i49 + 13*i50 + 0.5*x90 + 0.5*x102 + x139 - x145 <= 26;

e309:  - x68 + x140 - x142 <= 0;

e310:  - x68 - x140 + x142 <= 0;

e311:  - x69 + x141 - x143 <= 0;

e312:  - x69 - x141 + x143 <= 0;

e313:  - 11.31*i51 - 11.31*i52 + 0.5*x92 + 0.5*x96 - x140 + x142 <= 0;

e314:  - 11.31*i51 + 11.31*i52 + 0.5*x92 + 0.5*x96 + x140 - x142 <= 11.31;

e315:    13*i51 - 13*i52 + 0.5*x94 + 0.5*x98 - x141 + x143 <= 13;

e316:    13*i51 + 13*i52 + 0.5*x94 + 0.5*x98 + x141 - x143 <= 26;

e317:  - x132 + x140 - x144 <= 0;

e318:  - x132 - x140 + x144 <= 0;

e319:  - x133 + x141 - x145 <= 0;

e320:  - x133 - x141 + x145 <= 0;

e321:  - 11.31*i53 - 11.31*i54 + 0.5*x92 + 0.5*x100 - x140 + x144 <= 0;

e322:  - 11.31*i53 + 11.31*i54 + 0.5*x92 + 0.5*x100 + x140 - x144 <= 11.31;

e323:    13*i53 - 13*i54 + 0.5*x94 + 0.5*x102 - x141 + x145 <= 13;

e324:    13*i53 + 13*i54 + 0.5*x94 + 0.5*x102 + x141 - x145 <= 26;

e325:  - x70 + x142 - x144 <= 0;

e326:  - x70 - x142 + x144 <= 0;

e327:  - x71 + x143 - x145 <= 0;

e328:  - x71 - x143 + x145 <= 0;

e329:  - 11.31*i55 - 11.31*i56 + 0.5*x96 + 0.5*x100 - x142 + x144 <= 0;

e330:  - 11.31*i55 + 11.31*i56 + 0.5*x96 + 0.5*x100 + x142 - x144 <= 11.31;

e331:    13*i55 - 13*i56 + 0.5*x98 + 0.5*x102 - x143 + x145 <= 13;

e332:    13*i55 + 13*i56 + 0.5*x98 + 0.5*x102 + x143 - x145 <= 26;

e333: 16/x76 - x78 <= 0;

e334: 16/x78 - x76 <= 0;

e335: 16/x77 - x79 <= 0;

e336: 16/x79 - x77 <= 0;

e337: 16/x80 - x82 <= 0;

e338: 16/x82 - x80 <= 0;

e339: 36/x84 - x86 <= 0;

e340: 36/x86 - x84 <= 0;

e341: 36/x88 - x90 <= 0;

e342: 36/x90 - x88 <= 0;

e343: 9/x92 - x94 <= 0;

e344: 9/x94 - x92 <= 0;

e345: 9/x96 - x98 <= 0;

e346: 9/x98 - x96 <= 0;

e347: 9/x100 - x102 <= 0;

e348: 9/x102 - x100 <= 0;