#  MINLP written by GAMS Convert at 01/12/18 13:33:53
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        436        2        2      432        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        181      109        0       72        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       1751     1733       18        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 i57 integer >= 0, <= 100;
var i58 integer >= 0, <= 100;
var i59 integer >= 0, <= 100;
var i60 integer >= 0, <= 100;
var i61 integer >= 0, <= 100;
var i62 integer >= 0, <= 100;
var i63 integer >= 0, <= 100;
var i64 integer >= 0, <= 100;
var i65 integer >= 0, <= 100;
var i66 integer >= 0, <= 100;
var i67 integer >= 0, <= 100;
var i68 integer >= 0, <= 100;
var i69 integer >= 0, <= 100;
var i70 integer >= 0, <= 100;
var i71 integer >= 0, <= 100;
var i72 integer >= 0, <= 100;
var x74;
var x75;
var x76;
var x77;
var x78;
var x79;
var x80;
var x81;
var x82;
var x83;
var x84;
var x85;
var x86;
var x87;
var x88;
var x89;
var x90;
var x91;
var x92;
var x93;
var x94 := 2.5298, >= 2.5298, <= 6.3246;
var x95 := 2.5298, >= 2.5298, <= 6.3246;
var x96 := 2.5298, >= 2.5298, <= 6.3246;
var x97 := 2.5298, >= 2.5298, <= 6.3246;
var x98 := 2.5298, >= 2.5298, <= 6.3246;
var x99;
var x100 := 2.5298, >= 2.5298, <= 6.3246;
var x101;
var x102 := 3.7947, >= 3.7947, <= 9.4868;
var x103;
var x104 := 3.7947, >= 3.7947, <= 9.4868;
var x105;
var x106 := 3.7947, >= 3.7947, <= 9.4868;
var x107;
var x108 := 3.7947, >= 3.7947, <= 9.4868;
var x109;
var x110 := 1.8974, >= 1.8974, <= 4.7434;
var x111;
var x112 := 1.8974, >= 1.8974, <= 4.7434;
var x113;
var x114 := 1.8974, >= 1.8974, <= 4.7434;
var x115;
var x116 := 1.8974, >= 1.8974, <= 4.7434;
var x117;
var x118 := 1.8974, >= 1.8974, <= 4.7434;
var x119;
var x120 := 1.8974, >= 1.8974, <= 4.7434;
var x121;
var x122 := 1.8974, >= 1.8974, <= 4.7434;
var x123;
var x124 := 1.8974, >= 1.8974, <= 4.7434;
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;
var x146;
var x147;
var x148;
var x149;
var x150;
var x151;
var x152;
var x153;
var x154;
var x155;
var x156;
var x157;
var x158;
var x159;
var x160;
var x161;
var x162;
var x163;
var x164;
var x165;
var x166;
var x167;
var x168;
var x169;
var x170;
var x171;
var x172;
var x173;
var x174;
var x175;
var x176;
var x177;
var x178;
var x179;
var x180;
var x181;

minimize obj:    x74 + x75 + x76 + x77 + x78 + x79 + x80 + x81 + x82 + x83
     + x84 + x85 + x86 + x87 + x88 + x89;

subject to

e2:    x90 - x91 >= 0;

e3:    x92 - x93 >= 0;

e4:    i1 - i2 = 0;

e5:  - 12*i1 - x74 + 0.5*x94 + 0.5*x95 <= 0;

e6:    13*i1 - x75 + 0.5*x96 + 0.5*x97 <= 13;

e7:  - 12*i3 + 0.5*x94 + 0.5*x98 - x99 <= 0;

e8:    13*i3 + 0.5*x96 + 0.5*x100 - x101 <= 13;

e9:  - 12*i5 + 0.5*x94 + 0.5*x102 - x103 <= 0;

e10:    13*i5 + 0.5*x96 + 0.5*x104 - x105 <= 13;

e11:  - 12*i7 + 0.5*x94 + 0.5*x106 - x107 <= 0;

e12:    13*i7 + 0.5*x96 + 0.5*x108 - x109 <= 13;

e13:  - 12*i9 + 0.5*x94 + 0.5*x110 - x111 <= 0;

e14:    13*i9 + 0.5*x96 + 0.5*x112 - x113 <= 13;

e15:  - 12*i11 + 0.5*x94 + 0.5*x114 - x115 <= 0;

e16:    13*i11 + 0.5*x96 + 0.5*x116 - x117 <= 13;

e17:  - 12*i13 + 0.5*x94 + 0.5*x118 - x119 <= 0;

e18:    13*i13 + 0.5*x96 + 0.5*x120 - x121 <= 13;

e19:  - 12*i15 + 0.5*x94 + 0.5*x122 - x123 <= 0;

e20:    13*i15 + 0.5*x96 + 0.5*x124 - x125 <= 13;

e21:  - 12*i17 - x76 + 0.5*x95 + 0.5*x98 <= 0;

e22:    13*i17 - x77 + 0.5*x97 + 0.5*x100 <= 13;

e23:  - 12*i19 + 0.5*x95 + 0.5*x102 - x126 <= 0;

e24:    13*i19 + 0.5*x97 + 0.5*x104 - x127 <= 13;

e25:  - 12*i21 + 0.5*x95 + 0.5*x106 - x128 <= 0;

e26:    13*i21 + 0.5*x97 + 0.5*x108 - x129 <= 13;

e27:  - 12*i23 + 0.5*x95 + 0.5*x110 - x130 <= 0;

e28:    13*i23 + 0.5*x97 + 0.5*x112 - x131 <= 13;

e29:  - 12*i25 + 0.5*x95 + 0.5*x114 - x132 <= 0;

e30:    13*i25 + 0.5*x97 + 0.5*x116 - x133 <= 13;

e31:  - 12*i27 + 0.5*x95 + 0.5*x118 - x134 <= 0;

e32:    13*i27 + 0.5*x97 + 0.5*x120 - x135 <= 13;

e33:  - 12*i29 + 0.5*x95 + 0.5*x122 - x136 <= 0;

e34:    13*i29 + 0.5*x97 + 0.5*x124 - x137 <= 13;

e35:  - 12*i31 - x78 + 0.5*x98 + 0.5*x102 <= 0;

e36:    13*i31 - x79 + 0.5*x100 + 0.5*x104 <= 13;

e37:  - 12*i33 + 0.5*x98 + 0.5*x106 - x138 <= 0;

e38:    13*i33 + 0.5*x100 + 0.5*x108 - x139 <= 13;

e39:  - 12*i35 + 0.5*x98 + 0.5*x110 - x140 <= 0;

e40:    13*i35 + 0.5*x100 + 0.5*x112 - x141 <= 13;

e41:  - 12*i37 + 0.5*x98 + 0.5*x114 - x142 <= 0;

e42:    13*i37 + 0.5*x100 + 0.5*x116 - x143 <= 13;

e43:  - 12*i39 + 0.5*x98 + 0.5*x118 - x144 <= 0;

e44:    13*i39 + 0.5*x100 + 0.5*x120 - x145 <= 13;

e45:  - 12*i41 + 0.5*x98 + 0.5*x122 - x146 <= 0;

e46:    13*i41 + 0.5*x100 + 0.5*x124 - x147 <= 13;

e47:  - 12*i43 - x80 + 0.5*x102 + 0.5*x106 <= 0;

e48:    13*i43 - x81 + 0.5*x104 + 0.5*x108 <= 13;

e49:  - 12*i45 + 0.5*x102 + 0.5*x110 - x148 <= 0;

e50:    13*i45 + 0.5*x104 + 0.5*x112 - x149 <= 13;

e51:  - 12*i47 + 0.5*x102 + 0.5*x114 - x150 <= 0;

e52:    13*i47 + 0.5*x104 + 0.5*x116 - x151 <= 13;

e53:  - 12*i49 + 0.5*x102 + 0.5*x118 - x152 <= 0;

e54:    13*i49 + 0.5*x104 + 0.5*x120 - x153 <= 13;

e55:  - 12*i51 + 0.5*x102 + 0.5*x122 - x154 <= 0;

e56:    13*i51 + 0.5*x104 + 0.5*x124 - x155 <= 13;

e57:  - 12*i53 - x82 + 0.5*x106 + 0.5*x110 <= 0;

e58:    13*i53 - x83 + 0.5*x108 + 0.5*x112 <= 13;

e59:  - 12*i55 + 0.5*x106 + 0.5*x114 - x156 <= 0;

e60:    13*i55 + 0.5*x108 + 0.5*x116 - x157 <= 13;

e61:  - 12*i57 + 0.5*x106 + 0.5*x118 - x158 <= 0;

e62:    13*i57 + 0.5*x108 + 0.5*x120 - x159 <= 13;

e63:  - 12*i59 + 0.5*x106 + 0.5*x122 - x160 <= 0;

e64:    13*i59 + 0.5*x108 + 0.5*x124 - x161 <= 13;

e65:  - 12*i61 - x84 + 0.5*x110 + 0.5*x114 <= 0;

e66:    13*i61 - x85 + 0.5*x112 + 0.5*x116 <= 13;

e67:  - 12*i63 + 0.5*x110 + 0.5*x118 - x162 <= 0;

e68:    13*i63 + 0.5*x112 + 0.5*x120 - x163 <= 13;

e69:  - 12*i65 + 0.5*x110 + 0.5*x122 - x164 <= 0;

e70:    13*i65 + 0.5*x112 + 0.5*x124 - x165 <= 13;

e71:  - 12*i67 - x86 + 0.5*x114 + 0.5*x118 <= 0;

e72:    13*i67 - x87 + 0.5*x116 + 0.5*x120 <= 13;

e73:  - 12*i69 + 0.5*x114 + 0.5*x122 - x166 <= 0;

e74:    13*i69 + 0.5*x116 + 0.5*x124 - x167 <= 13;

e75:  - 12*i71 - x88 + 0.5*x118 + 0.5*x122 <= 0;

e76:    13*i71 - x89 + 0.5*x120 + 0.5*x124 <= 13;

e77:  - 0.395288*x94 - 0.158112*x96 <= -2;

e78:  - 0.158113*x94 - 0.395288*x96 <= -2;

e79:  - 0.395288*x95 - 0.158112*x97 <= -2;

e80:  - 0.158113*x95 - 0.395288*x97 <= -2;

e81:  - 0.395288*x98 - 0.158112*x100 <= -2;

e82:  - 0.158113*x98 - 0.395288*x100 <= -2;

e83:  - 0.263525*x102 - 0.105408*x104 <= -2;

e84:  - 0.10541*x102 - 0.263522*x104 <= -2;

e85:  - 0.263525*x106 - 0.105408*x108 <= -2;

e86:  - 0.10541*x106 - 0.263522*x108 <= -2;

e87:  - 0.527037*x110 - 0.210822*x112 <= -2;

e88:  - 0.210819*x110 - 0.527044*x112 <= -2;

e89:  - 0.527037*x114 - 0.210822*x116 <= -2;

e90:  - 0.210819*x114 - 0.527044*x116 <= -2;

e91:  - 0.527037*x118 - 0.210822*x120 <= -2;

e92:  - 0.210819*x118 - 0.527044*x120 <= -2;

e93:  - 0.527037*x122 - 0.210822*x124 <= -2;

e94:  - 0.210819*x122 - 0.527044*x124 <= -2;

e95:    x90 + 0.5*x94 <= 12;

e96:  - x90 + 0.5*x94 <= 0;

e97:    x93 + 0.5*x96 <= 13;

e98:  - x93 + 0.5*x96 <= 0;

e99:    x91 + 0.5*x95 <= 12;

e100:  - x91 + 0.5*x95 <= 0;

e101:    x92 + 0.5*x97 <= 13;

e102:  - x92 + 0.5*x97 <= 0;

e103:    0.5*x98 + x168 <= 12;

e104:    0.5*x98 - x168 <= 0;

e105:    0.5*x100 + x169 <= 13;

e106:    0.5*x100 - x169 <= 0;

e107:    0.5*x102 + x170 <= 12;

e108:    0.5*x102 - x170 <= 0;

e109:    0.5*x104 + x171 <= 13;

e110:    0.5*x104 - x171 <= 0;

e111:    0.5*x106 + x172 <= 12;

e112:    0.5*x106 - x172 <= 0;

e113:    0.5*x108 + x173 <= 13;

e114:    0.5*x108 - x173 <= 0;

e115:    0.5*x110 + x174 <= 12;

e116:    0.5*x110 - x174 <= 0;

e117:    0.5*x112 + x175 <= 13;

e118:    0.5*x112 - x175 <= 0;

e119:    0.5*x114 + x176 <= 12;

e120:    0.5*x114 - x176 <= 0;

e121:    0.5*x116 + x177 <= 13;

e122:    0.5*x116 - x177 <= 0;

e123:    0.5*x118 + x178 <= 12;

e124:    0.5*x118 - x178 <= 0;

e125:    0.5*x120 + x179 <= 13;

e126:    0.5*x120 - x179 <= 0;

e127:    0.5*x122 + x180 <= 12;

e128:    0.5*x122 - x180 <= 0;

e129:    0.5*x124 + x181 <= 13;

e130:    0.5*x124 - x181 <= 0;

e131:  - x74 + x90 - x91 <= 0;

e132:  - x74 - x90 + x91 <= 0;

e133:  - x75 - x92 + x93 <= 0;

e134:  - x75 + x92 - x93 <= 0;

e135:  - 12*i1 - 12*i2 - x90 + x91 + 0.5*x94 + 0.5*x95 <= 0;

e136:  - 12*i1 + 12*i2 + x90 - x91 + 0.5*x94 + 0.5*x95 <= 12;

e137:    13*i1 - 13*i2 + x92 - x93 + 0.5*x96 + 0.5*x97 <= 13;

e138:    13*i1 + 13*i2 - x92 + x93 + 0.5*x96 + 0.5*x97 <= 26;

e139:    x90 - x99 - x168 <= 0;

e140:  - x90 - x99 + x168 <= 0;

e141:    x93 - x101 - x169 <= 0;

e142:  - x93 - x101 + x169 <= 0;

e143:  - 12*i3 - 12*i4 - x90 + 0.5*x94 + 0.5*x98 + x168 <= 0;

e144:  - 12*i3 + 12*i4 + x90 + 0.5*x94 + 0.5*x98 - x168 <= 12;

e145:    13*i3 - 13*i4 - x93 + 0.5*x96 + 0.5*x100 + x169 <= 13;

e146:    13*i3 + 13*i4 + x93 + 0.5*x96 + 0.5*x100 - x169 <= 26;

e147:    x90 - x103 - x170 <= 0;

e148:  - x90 - x103 + x170 <= 0;

e149:    x93 - x105 - x171 <= 0;

e150:  - x93 - x105 + x171 <= 0;

e151:  - 12*i5 - 12*i6 - x90 + 0.5*x94 + 0.5*x102 + x170 <= 0;

e152:  - 12*i5 + 12*i6 + x90 + 0.5*x94 + 0.5*x102 - x170 <= 12;

e153:    13*i5 - 13*i6 - x93 + 0.5*x96 + 0.5*x104 + x171 <= 13;

e154:    13*i5 + 13*i6 + x93 + 0.5*x96 + 0.5*x104 - x171 <= 26;

e155:    x90 - x107 - x172 <= 0;

e156:  - x90 - x107 + x172 <= 0;

e157:    x93 - x109 - x173 <= 0;

e158:  - x93 - x109 + x173 <= 0;

e159:  - 12*i7 - 12*i8 - x90 + 0.5*x94 + 0.5*x106 + x172 <= 0;

e160:  - 12*i7 + 12*i8 + x90 + 0.5*x94 + 0.5*x106 - x172 <= 12;

e161:    13*i7 - 13*i8 - x93 + 0.5*x96 + 0.5*x108 + x173 <= 13;

e162:    13*i7 + 13*i8 + x93 + 0.5*x96 + 0.5*x108 - x173 <= 26;

e163:    x90 - x111 - x174 <= 0;

e164:  - x90 - x111 + x174 <= 0;

e165:    x93 - x113 - x175 <= 0;

e166:  - x93 - x113 + x175 <= 0;

e167:  - 12*i9 - 12*i10 - x90 + 0.5*x94 + 0.5*x110 + x174 <= 0;

e168:  - 12*i9 + 12*i10 + x90 + 0.5*x94 + 0.5*x110 - x174 <= 12;

e169:    13*i9 - 13*i10 - x93 + 0.5*x96 + 0.5*x112 + x175 <= 13;

e170:    13*i9 + 13*i10 + x93 + 0.5*x96 + 0.5*x112 - x175 <= 26;

e171:    x90 - x115 - x176 <= 0;

e172:  - x90 - x115 + x176 <= 0;

e173:    x93 - x117 - x177 <= 0;

e174:  - x93 - x117 + x177 <= 0;

e175:  - 12*i11 - 12*i12 - x90 + 0.5*x94 + 0.5*x114 + x176 <= 0;

e176:  - 12*i11 + 12*i12 + x90 + 0.5*x94 + 0.5*x114 - x176 <= 12;

e177:    13*i11 - 13*i12 - x93 + 0.5*x96 + 0.5*x116 + x177 <= 13;

e178:    13*i11 + 13*i12 + x93 + 0.5*x96 + 0.5*x116 - x177 <= 26;

e179:    x90 - x119 - x178 <= 0;

e180:  - x90 - x119 + x178 <= 0;

e181:    x93 - x121 - x179 <= 0;

e182:  - x93 - x121 + x179 <= 0;

e183:  - 12*i13 - 12*i14 - x90 + 0.5*x94 + 0.5*x118 + x178 <= 0;

e184:  - 12*i13 + 12*i14 + x90 + 0.5*x94 + 0.5*x118 - x178 <= 12;

e185:    13*i13 - 13*i14 - x93 + 0.5*x96 + 0.5*x120 + x179 <= 13;

e186:    13*i13 + 13*i14 + x93 + 0.5*x96 + 0.5*x120 - x179 <= 26;

e187:    x90 - x123 - x180 <= 0;

e188:  - x90 - x123 + x180 <= 0;

e189:    x93 - x125 - x181 <= 0;

e190:  - x93 - x125 + x181 <= 0;

e191:  - 12*i15 - 12*i16 - x90 + 0.5*x94 + 0.5*x122 + x180 <= 0;

e192:  - 12*i15 + 12*i16 + x90 + 0.5*x94 + 0.5*x122 - x180 <= 12;

e193:    13*i15 - 13*i16 - x93 + 0.5*x96 + 0.5*x124 + x181 <= 13;

e194:    13*i15 + 13*i16 + x93 + 0.5*x96 + 0.5*x124 - x181 <= 26;

e195:  - x76 + x91 - x168 <= 0;

e196:  - x76 - x91 + x168 <= 0;

e197:  - x77 + x92 - x169 <= 0;

e198:  - x77 - x92 + x169 <= 0;

e199:  - 12*i17 - 12*i18 - x91 + 0.5*x95 + 0.5*x98 + x168 <= 0;

e200:  - 12*i17 + 12*i18 + x91 + 0.5*x95 + 0.5*x98 - x168 <= 12;

e201:    13*i17 - 13*i18 - x92 + 0.5*x97 + 0.5*x100 + x169 <= 13;

e202:    13*i17 + 13*i18 + x92 + 0.5*x97 + 0.5*x100 - x169 <= 26;

e203:    x91 - x126 - x170 <= 0;

e204:  - x91 - x126 + x170 <= 0;

e205:    x92 - x127 - x171 <= 0;

e206:  - x92 - x127 + x171 <= 0;

e207:  - 12*i19 - 12*i20 - x91 + 0.5*x95 + 0.5*x102 + x170 <= 0;

e208:  - 12*i19 + 12*i20 + x91 + 0.5*x95 + 0.5*x102 - x170 <= 12;

e209:    13*i19 - 13*i20 - x92 + 0.5*x97 + 0.5*x104 + x171 <= 13;

e210:    13*i19 + 13*i20 + x92 + 0.5*x97 + 0.5*x104 - x171 <= 26;

e211:    x91 - x128 - x172 <= 0;

e212:  - x91 - x128 + x172 <= 0;

e213:    x92 - x129 - x173 <= 0;

e214:  - x92 - x129 + x173 <= 0;

e215:  - 12*i21 - 12*i22 - x91 + 0.5*x95 + 0.5*x106 + x172 <= 0;

e216:  - 12*i21 + 12*i22 + x91 + 0.5*x95 + 0.5*x106 - x172 <= 12;

e217:    13*i21 - 13*i22 - x92 + 0.5*x97 + 0.5*x108 + x173 <= 13;

e218:    13*i21 + 13*i22 + x92 + 0.5*x97 + 0.5*x108 - x173 <= 26;

e219:    x91 - x130 - x174 <= 0;

e220:  - x91 - x130 + x174 <= 0;

e221:    x92 - x131 - x175 <= 0;

e222:  - x92 - x131 + x175 <= 0;

e223:  - 12*i23 - 12*i24 - x91 + 0.5*x95 + 0.5*x110 + x174 <= 0;

e224:  - 12*i23 + 12*i24 + x91 + 0.5*x95 + 0.5*x110 - x174 <= 12;

e225:    13*i23 - 13*i24 - x92 + 0.5*x97 + 0.5*x112 + x175 <= 13;

e226:    13*i23 + 13*i24 + x92 + 0.5*x97 + 0.5*x112 - x175 <= 26;

e227:    x91 - x132 - x176 <= 0;

e228:  - x91 - x132 + x176 <= 0;

e229:    x92 - x133 - x177 <= 0;

e230:  - x92 - x133 + x177 <= 0;

e231:  - 12*i25 - 12*i26 - x91 + 0.5*x95 + 0.5*x114 + x176 <= 0;

e232:  - 12*i25 + 12*i26 + x91 + 0.5*x95 + 0.5*x114 - x176 <= 12;

e233:    13*i25 - 13*i26 - x92 + 0.5*x97 + 0.5*x116 + x177 <= 13;

e234:    13*i25 + 13*i26 + x92 + 0.5*x97 + 0.5*x116 - x177 <= 26;

e235:    x91 - x134 - x178 <= 0;

e236:  - x91 - x134 + x178 <= 0;

e237:    x92 - x135 - x179 <= 0;

e238:  - x92 - x135 + x179 <= 0;

e239:  - 12*i27 - 12*i28 - x91 + 0.5*x95 + 0.5*x118 + x178 <= 0;

e240:  - 12*i27 + 12*i28 + x91 + 0.5*x95 + 0.5*x118 - x178 <= 12;

e241:    13*i27 - 13*i28 - x92 + 0.5*x97 + 0.5*x120 + x179 <= 13;

e242:    13*i27 + 13*i28 + x92 + 0.5*x97 + 0.5*x120 - x179 <= 26;

e243:    x91 - x136 - x180 <= 0;

e244:  - x91 - x136 + x180 <= 0;

e245:    x92 - x137 - x181 <= 0;

e246:  - x92 - x137 + x181 <= 0;

e247:  - 12*i29 - 12*i30 - x91 + 0.5*x95 + 0.5*x122 + x180 <= 0;

e248:  - 12*i29 + 12*i30 + x91 + 0.5*x95 + 0.5*x122 - x180 <= 12;

e249:    13*i29 - 13*i30 - x92 + 0.5*x97 + 0.5*x124 + x181 <= 13;

e250:    13*i29 + 13*i30 + x92 + 0.5*x97 + 0.5*x124 - x181 <= 26;

e251:  - x78 + x168 - x170 <= 0;

e252:  - x78 - x168 + x170 <= 0;

e253:  - x79 + x169 - x171 <= 0;

e254:  - x79 - x169 + x171 <= 0;

e255:  - 12*i31 - 12*i32 + 0.5*x98 + 0.5*x102 - x168 + x170 <= 0;

e256:  - 12*i31 + 12*i32 + 0.5*x98 + 0.5*x102 + x168 - x170 <= 12;

e257:    13*i31 - 13*i32 + 0.5*x100 + 0.5*x104 - x169 + x171 <= 13;

e258:    13*i31 + 13*i32 + 0.5*x100 + 0.5*x104 + x169 - x171 <= 26;

e259:  - x138 + x168 - x172 <= 0;

e260:  - x138 - x168 + x172 <= 0;

e261:  - x139 + x169 - x173 <= 0;

e262:  - x139 - x169 + x173 <= 0;

e263:  - 12*i33 - 12*i34 + 0.5*x98 + 0.5*x106 - x168 + x172 <= 0;

e264:  - 12*i33 + 12*i34 + 0.5*x98 + 0.5*x106 + x168 - x172 <= 12;

e265:    13*i33 - 13*i34 + 0.5*x100 + 0.5*x108 - x169 + x173 <= 13;

e266:    13*i33 + 13*i34 + 0.5*x100 + 0.5*x108 + x169 - x173 <= 26;

e267:  - x140 + x168 - x174 <= 0;

e268:  - x140 - x168 + x174 <= 0;

e269:  - x141 + x169 - x175 <= 0;

e270:  - x141 - x169 + x175 <= 0;

e271:  - 12*i35 - 12*i36 + 0.5*x98 + 0.5*x110 - x168 + x174 <= 0;

e272:  - 12*i35 + 12*i36 + 0.5*x98 + 0.5*x110 + x168 - x174 <= 12;

e273:    13*i35 - 13*i36 + 0.5*x100 + 0.5*x112 - x169 + x175 <= 13;

e274:    13*i35 + 13*i36 + 0.5*x100 + 0.5*x112 + x169 - x175 <= 26;

e275:  - x142 + x168 - x176 <= 0;

e276:  - x142 - x168 + x176 <= 0;

e277:  - x143 + x169 - x177 <= 0;

e278:  - x143 - x169 + x177 <= 0;

e279:  - 12*i37 - 12*i38 + 0.5*x98 + 0.5*x114 - x168 + x176 <= 0;

e280:  - 12*i37 + 12*i38 + 0.5*x98 + 0.5*x114 + x168 - x176 <= 12;

e281:    13*i37 - 13*i38 + 0.5*x100 + 0.5*x116 - x169 + x177 <= 13;

e282:    13*i37 + 13*i38 + 0.5*x100 + 0.5*x116 + x169 - x177 <= 26;

e283:  - x144 + x168 - x178 <= 0;

e284:  - x144 - x168 + x178 <= 0;

e285:  - x145 + x169 - x179 <= 0;

e286:  - x145 - x169 + x179 <= 0;

e287:  - 12*i39 - 12*i40 + 0.5*x98 + 0.5*x118 - x168 + x178 <= 0;

e288:  - 12*i39 + 12*i40 + 0.5*x98 + 0.5*x118 + x168 - x178 <= 12;

e289:    13*i39 - 13*i40 + 0.5*x100 + 0.5*x120 - x169 + x179 <= 13;

e290:    13*i39 + 13*i40 + 0.5*x100 + 0.5*x120 + x169 - x179 <= 26;

e291:  - x146 + x168 - x180 <= 0;

e292:  - x146 - x168 + x180 <= 0;

e293:  - x147 + x169 - x181 <= 0;

e294:  - x147 - x169 + x181 <= 0;

e295:  - 12*i41 - 12*i42 + 0.5*x98 + 0.5*x122 - x168 + x180 <= 0;

e296:  - 12*i41 + 12*i42 + 0.5*x98 + 0.5*x122 + x168 - x180 <= 12;

e297:    13*i41 - 13*i42 + 0.5*x100 + 0.5*x124 - x169 + x181 <= 13;

e298:    13*i41 + 13*i42 + 0.5*x100 + 0.5*x124 + x169 - x181 <= 26;

e299:  - x80 + x170 - x172 <= 0;

e300:  - x80 - x170 + x172 <= 0;

e301:  - x81 + x171 - x173 <= 0;

e302:  - x81 - x171 + x173 <= 0;

e303:  - 12*i43 - 12*i44 + 0.5*x102 + 0.5*x106 - x170 + x172 <= 0;

e304:  - 12*i43 + 12*i44 + 0.5*x102 + 0.5*x106 + x170 - x172 <= 12;

e305:    13*i43 - 13*i44 + 0.5*x104 + 0.5*x108 - x171 + x173 <= 13;

e306:    13*i43 + 13*i44 + 0.5*x104 + 0.5*x108 + x171 - x173 <= 26;

e307:  - x148 + x170 - x174 <= 0;

e308:  - x148 - x170 + x174 <= 0;

e309:  - x149 + x171 - x175 <= 0;

e310:  - x149 - x171 + x175 <= 0;

e311:  - 12*i45 - 12*i46 + 0.5*x102 + 0.5*x110 - x170 + x174 <= 0;

e312:  - 12*i45 + 12*i46 + 0.5*x102 + 0.5*x110 + x170 - x174 <= 12;

e313:    13*i45 - 13*i46 + 0.5*x104 + 0.5*x112 - x171 + x175 <= 13;

e314:    13*i45 + 13*i46 + 0.5*x104 + 0.5*x112 + x171 - x175 <= 26;

e315:  - x150 + x170 - x176 <= 0;

e316:  - x150 - x170 + x176 <= 0;

e317:  - x151 + x171 - x177 <= 0;

e318:  - x151 - x171 + x177 <= 0;

e319:  - 12*i47 - 12*i48 + 0.5*x102 + 0.5*x114 - x170 + x176 <= 0;

e320:  - 12*i47 + 12*i48 + 0.5*x102 + 0.5*x114 + x170 - x176 <= 12;

e321:    13*i47 - 13*i48 + 0.5*x104 + 0.5*x116 - x171 + x177 <= 13;

e322:    13*i47 + 13*i48 + 0.5*x104 + 0.5*x116 + x171 - x177 <= 26;

e323:  - x152 + x170 - x178 <= 0;

e324:  - x152 - x170 + x178 <= 0;

e325:  - x153 + x171 - x179 <= 0;

e326:  - x153 - x171 + x179 <= 0;

e327:  - 12*i49 - 12*i50 + 0.5*x102 + 0.5*x118 - x170 + x178 <= 0;

e328:  - 12*i49 + 12*i50 + 0.5*x102 + 0.5*x118 + x170 - x178 <= 12;

e329:    13*i49 - 13*i50 + 0.5*x104 + 0.5*x120 - x171 + x179 <= 13;

e330:    13*i49 + 13*i50 + 0.5*x104 + 0.5*x120 + x171 - x179 <= 26;

e331:  - x154 + x170 - x180 <= 0;

e332:  - x154 - x170 + x180 <= 0;

e333:  - x155 + x171 - x181 <= 0;

e334:  - x155 - x171 + x181 <= 0;

e335:  - 12*i51 - 12*i52 + 0.5*x102 + 0.5*x122 - x170 + x180 <= 0;

e336:  - 12*i51 + 12*i52 + 0.5*x102 + 0.5*x122 + x170 - x180 <= 12;

e337:    13*i51 - 13*i52 + 0.5*x104 + 0.5*x124 - x171 + x181 <= 13;

e338:    13*i51 + 13*i52 + 0.5*x104 + 0.5*x124 + x171 - x181 <= 26;

e339:  - x82 + x172 - x174 <= 0;

e340:  - x82 - x172 + x174 <= 0;

e341:  - x83 + x173 - x175 <= 0;

e342:  - x83 - x173 + x175 <= 0;

e343:  - 12*i53 - 12*i54 + 0.5*x106 + 0.5*x110 - x172 + x174 <= 0;

e344:  - 12*i53 + 12*i54 + 0.5*x106 + 0.5*x110 + x172 - x174 <= 12;

e345:    13*i53 - 13*i54 + 0.5*x108 + 0.5*x112 - x173 + x175 <= 13;

e346:    13*i53 + 13*i54 + 0.5*x108 + 0.5*x112 + x173 - x175 <= 26;

e347:  - x156 + x172 - x176 <= 0;

e348:  - x156 - x172 + x176 <= 0;

e349:  - x157 + x173 - x177 <= 0;

e350:  - x157 - x173 + x177 <= 0;

e351:  - 12*i55 - 12*i56 + 0.5*x106 + 0.5*x114 - x172 + x176 <= 0;

e352:  - 12*i55 + 12*i56 + 0.5*x106 + 0.5*x114 + x172 - x176 <= 12;

e353:    13*i55 - 13*i56 + 0.5*x108 + 0.5*x116 - x173 + x177 <= 13;

e354:    13*i55 + 13*i56 + 0.5*x108 + 0.5*x116 + x173 - x177 <= 26;

e355:  - x158 + x172 - x178 <= 0;

e356:  - x158 - x172 + x178 <= 0;

e357:  - x159 + x173 - x179 <= 0;

e358:  - x159 - x173 + x179 <= 0;

e359:  - 12*i57 - 12*i58 + 0.5*x106 + 0.5*x118 - x172 + x178 <= 0;

e360:  - 12*i57 + 12*i58 + 0.5*x106 + 0.5*x118 + x172 - x178 <= 12;

e361:    13*i57 - 13*i58 + 0.5*x108 + 0.5*x120 - x173 + x179 <= 13;

e362:    13*i57 + 13*i58 + 0.5*x108 + 0.5*x120 + x173 - x179 <= 26;

e363:  - x160 + x172 - x180 <= 0;

e364:  - x160 - x172 + x180 <= 0;

e365:  - x161 + x173 - x181 <= 0;

e366:  - x161 - x173 + x181 <= 0;

e367:  - 12*i59 - 12*i60 + 0.5*x106 + 0.5*x122 - x172 + x180 <= 0;

e368:  - 12*i59 + 12*i60 + 0.5*x106 + 0.5*x122 + x172 - x180 <= 12;

e369:    13*i59 - 13*i60 + 0.5*x108 + 0.5*x124 - x173 + x181 <= 13;

e370:    13*i59 + 13*i60 + 0.5*x108 + 0.5*x124 + x173 - x181 <= 26;

e371:  - x84 + x174 - x176 <= 0;

e372:  - x84 - x174 + x176 <= 0;

e373:  - x85 + x175 - x177 <= 0;

e374:  - x85 - x175 + x177 <= 0;

e375:  - 12*i61 - 12*i62 + 0.5*x110 + 0.5*x114 - x174 + x176 <= 0;

e376:  - 12*i61 + 12*i62 + 0.5*x110 + 0.5*x114 + x174 - x176 <= 12;

e377:    13*i61 - 13*i62 + 0.5*x112 + 0.5*x116 - x175 + x177 <= 13;

e378:    13*i61 + 13*i62 + 0.5*x112 + 0.5*x116 + x175 - x177 <= 26;

e379:  - x162 + x174 - x178 <= 0;

e380:  - x162 - x174 + x178 <= 0;

e381:  - x163 + x175 - x179 <= 0;

e382:  - x163 - x175 + x179 <= 0;

e383:  - 12*i63 - 12*i64 + 0.5*x110 + 0.5*x118 - x174 + x178 <= 0;

e384:  - 12*i63 + 12*i64 + 0.5*x110 + 0.5*x118 + x174 - x178 <= 12;

e385:    13*i63 - 13*i64 + 0.5*x112 + 0.5*x120 - x175 + x179 <= 13;

e386:    13*i63 + 13*i64 + 0.5*x112 + 0.5*x120 + x175 - x179 <= 26;

e387:  - x164 + x174 - x180 <= 0;

e388:  - x164 - x174 + x180 <= 0;

e389:  - x165 + x175 - x181 <= 0;

e390:  - x165 - x175 + x181 <= 0;

e391:  - 12*i65 - 12*i66 + 0.5*x110 + 0.5*x122 - x174 + x180 <= 0;

e392:  - 12*i65 + 12*i66 + 0.5*x110 + 0.5*x122 + x174 - x180 <= 12;

e393:    13*i65 - 13*i66 + 0.5*x112 + 0.5*x124 - x175 + x181 <= 13;

e394:    13*i65 + 13*i66 + 0.5*x112 + 0.5*x124 + x175 - x181 <= 26;

e395:  - x86 + x176 - x178 <= 0;

e396:  - x86 - x176 + x178 <= 0;

e397:  - x87 + x177 - x179 <= 0;

e398:  - x87 - x177 + x179 <= 0;

e399:  - 12*i67 - 12*i68 + 0.5*x114 + 0.5*x118 - x176 + x178 <= 0;

e400:  - 12*i67 + 12*i68 + 0.5*x114 + 0.5*x118 + x176 - x178 <= 12;

e401:    13*i67 - 13*i68 + 0.5*x116 + 0.5*x120 - x177 + x179 <= 13;

e402:    13*i67 + 13*i68 + 0.5*x116 + 0.5*x120 + x177 - x179 <= 26;

e403:  - x166 + x176 - x180 <= 0;

e404:  - x166 - x176 + x180 <= 0;

e405:  - x167 + x177 - x181 <= 0;

e406:  - x167 - x177 + x181 <= 0;

e407:  - 12*i69 - 12*i70 + 0.5*x114 + 0.5*x122 - x176 + x180 <= 0;

e408:  - 12*i69 + 12*i70 + 0.5*x114 + 0.5*x122 + x176 - x180 <= 12;

e409:    13*i69 - 13*i70 + 0.5*x116 + 0.5*x124 - x177 + x181 <= 13;

e410:    13*i69 + 13*i70 + 0.5*x116 + 0.5*x124 + x177 - x181 <= 26;

e411:  - x88 + x178 - x180 <= 0;

e412:  - x88 - x178 + x180 <= 0;

e413:  - x89 + x179 - x181 <= 0;

e414:  - x89 - x179 + x181 <= 0;

e415:  - 12*i71 - 12*i72 + 0.5*x118 + 0.5*x122 - x178 + x180 <= 0;

e416:  - 12*i71 + 12*i72 + 0.5*x118 + 0.5*x122 + x178 - x180 <= 12;

e417:    13*i71 - 13*i72 + 0.5*x120 + 0.5*x124 - x179 + x181 <= 13;

e418:    13*i71 + 13*i72 + 0.5*x120 + 0.5*x124 + x179 - x181 <= 26;

e419: 16/x94 - x96 <= 0;

e420: 16/x96 - x94 <= 0;

e421: 16/x95 - x97 <= 0;

e422: 16/x97 - x95 <= 0;

e423: 16/x98 - x100 <= 0;

e424: 16/x100 - x98 <= 0;

e425: 36/x102 - x104 <= 0;

e426: 36/x104 - x102 <= 0;

e427: 36/x106 - x108 <= 0;

e428: 36/x108 - x106 <= 0;

e429: 9/x110 - x112 <= 0;

e430: 9/x112 - x110 <= 0;

e431: 9/x114 - x116 <= 0;

e432: 9/x116 - x114 <= 0;

e433: 9/x118 - x120 <= 0;

e434: 9/x120 - x118 <= 0;

e435: 9/x122 - x124 <= 0;

e436: 9/x124 - x122 <= 0;