#  MIQCP written by GAMS Convert at 02/15/18 15:46:29
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        274        1        0      273        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        145       89       56        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       1121     1089       32        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x2;
var x3;
var x4;
var x5;
var x6;
var x7;
var x8;
var x9;
var x10;
var x11;
var x12;
var x13;
var x14;
var x15;
var x16;
var x17;
var x18 := 2, >= 2, <= 8;
var x19 := 2, >= 2, <= 8;
var x20;
var x21 := 2, >= 2, <= 8;
var x22 := 2, >= 2, <= 8;
var x23;
var x24 := 2, >= 2, <= 8;
var x25;
var x26 := 2, >= 2, <= 8;
var x27;
var x28 := 3, >= 3, <= 11.31;
var x29;
var x30 := 3.183, >= 3.183, <= 12;
var x31;
var x32 := 3, >= 3, <= 11.31;
var x33;
var x34 := 3.183, >= 3.183, <= 12;
var x35;
var x36 := 1.5, >= 1.5, <= 6;
var x37;
var x38 := 1.5, >= 1.5, <= 6;
var x39;
var x40 := 1.5, >= 1.5, <= 6;
var x41;
var x42 := 1.5, >= 1.5, <= 6;
var x43;
var x44 := 1.5, >= 1.5, <= 6;
var x45;
var x46 := 1.5, >= 1.5, <= 6;
var x47;
var b48 binary >= 0, <= 1;
var b49 binary >= 0, <= 1;
var x50;
var x51;
var b52 binary >= 0, <= 1;
var b53 binary >= 0, <= 1;
var x54;
var x55;
var b56 binary >= 0, <= 1;
var b57 binary >= 0, <= 1;
var x58;
var x59;
var b60 binary >= 0, <= 1;
var b61 binary >= 0, <= 1;
var x62;
var x63;
var b64 binary >= 0, <= 1;
var b65 binary >= 0, <= 1;
var x66;
var x67;
var b68 binary >= 0, <= 1;
var b69 binary >= 0, <= 1;
var x70;
var x71;
var b72 binary >= 0, <= 1;
var b73 binary >= 0, <= 1;
var b74 binary >= 0, <= 1;
var b75 binary >= 0, <= 1;
var x76;
var x77;
var b78 binary >= 0, <= 1;
var b79 binary >= 0, <= 1;
var x80;
var x81;
var b82 binary >= 0, <= 1;
var b83 binary >= 0, <= 1;
var x84;
var x85;
var b86 binary >= 0, <= 1;
var b87 binary >= 0, <= 1;
var x88;
var x89;
var b90 binary >= 0, <= 1;
var b91 binary >= 0, <= 1;
var x92;
var x93;
var b94 binary >= 0, <= 1;
var b95 binary >= 0, <= 1;
var b96 binary >= 0, <= 1;
var b97 binary >= 0, <= 1;
var x98;
var x99;
var b100 binary >= 0, <= 1;
var b101 binary >= 0, <= 1;
var x102;
var x103;
var b104 binary >= 0, <= 1;
var b105 binary >= 0, <= 1;
var x106;
var x107;
var b108 binary >= 0, <= 1;
var b109 binary >= 0, <= 1;
var x110;
var x111;
var b112 binary >= 0, <= 1;
var b113 binary >= 0, <= 1;
var b114 binary >= 0, <= 1;
var b115 binary >= 0, <= 1;
var x116;
var x117;
var b118 binary >= 0, <= 1;
var b119 binary >= 0, <= 1;
var x120;
var x121;
var b122 binary >= 0, <= 1;
var b123 binary >= 0, <= 1;
var x124;
var x125;
var b126 binary >= 0, <= 1;
var b127 binary >= 0, <= 1;
var b128 binary >= 0, <= 1;
var b129 binary >= 0, <= 1;
var x130;
var x131;
var b132 binary >= 0, <= 1;
var b133 binary >= 0, <= 1;
var x134;
var x135;
var b136 binary >= 0, <= 1;
var b137 binary >= 0, <= 1;
var b138 binary >= 0, <= 1;
var b139 binary >= 0, <= 1;
var x140;
var x141;
var b142 binary >= 0, <= 1;
var b143 binary >= 0, <= 1;
var b144 binary >= 0, <= 1;
var b145 binary >= 0, <= 1;

minimize obj:    x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 + x13
     + x14 + x15;

subject to

e2:    x16 - x17 <= 0;

e3:    x16 + 0.5*x18 <= 11.31;

e4:  - x16 + 0.5*x18 <= 0;

e5:    0.5*x19 + x20 <= 13;

e6:    0.5*x19 - x20 <= 0;

e7:    x17 + 0.5*x21 <= 11.31;

e8:  - x17 + 0.5*x21 <= 0;

e9:    0.5*x22 + x23 <= 13;

e10:    0.5*x22 - x23 <= 0;

e11:    0.5*x24 + x25 <= 11.31;

e12:    0.5*x24 - x25 <= 0;

e13:    0.5*x26 + x27 <= 13;

e14:    0.5*x26 - x27 <= 0;

e15:    0.5*x28 + x29 <= 11.31;

e16:    0.5*x28 - x29 <= 0;

e17:    0.5*x30 + x31 <= 13;

e18:    0.5*x30 - x31 <= 0;

e19:    0.5*x32 + x33 <= 11.31;

e20:    0.5*x32 - x33 <= 0;

e21:    0.5*x34 + x35 <= 13;

e22:    0.5*x34 - x35 <= 0;

e23:    0.5*x36 + x37 <= 11.31;

e24:    0.5*x36 - x37 <= 0;

e25:    0.5*x38 + x39 <= 13;

e26:    0.5*x38 - x39 <= 0;

e27:    0.5*x40 + x41 <= 11.31;

e28:    0.5*x40 - x41 <= 0;

e29:    0.5*x42 + x43 <= 13;

e30:    0.5*x42 - x43 <= 0;

e31:    0.5*x44 + x45 <= 11.31;

e32:    0.5*x44 - x45 <= 0;

e33:    0.5*x46 + x47 <= 13;

e34:    0.5*x46 - x47 <= 0;

e35:  - x2 + x16 - x17 <= 0;

e36:  - x2 - x16 + x17 <= 0;

e37:  - x3 + x20 - x23 <= 0;

e38:  - x3 - x20 + x23 <= 0;

e39:  - x16 + x17 + 0.5*x18 + 0.5*x21 - 11.31*b48 - 11.31*b49 <= 0;

e40:    x16 - x17 + 0.5*x18 + 0.5*x21 - 11.31*b48 + 11.31*b49 <= 11.31;

e41:    0.5*x19 - x20 + 0.5*x22 + x23 + 13*b48 - 13*b49 <= 13;

e42:    0.5*x19 + x20 + 0.5*x22 - x23 + 13*b48 + 13*b49 <= 26;

e43:    x16 - x25 - x50 <= 0;

e44:  - x16 + x25 - x50 <= 0;

e45:    x20 - x27 - x51 <= 0;

e46:  - x20 + x27 - x51 <= 0;

e47:  - x16 + 0.5*x18 + 0.5*x24 + x25 - 11.31*b52 - 11.31*b53 <= 0;

e48:    x16 + 0.5*x18 + 0.5*x24 - x25 - 11.31*b52 + 11.31*b53 <= 11.31;

e49:    0.5*x19 - x20 + 0.5*x26 + x27 + 13*b52 - 13*b53 <= 13;

e50:    0.5*x19 + x20 + 0.5*x26 - x27 + 13*b52 + 13*b53 <= 26;

e51:    x16 - x29 - x54 <= 0;

e52:  - x16 + x29 - x54 <= 0;

e53:    x20 - x31 - x55 <= 0;

e54:  - x20 + x31 - x55 <= 0;

e55:  - x16 + 0.5*x18 + 0.5*x28 + x29 - 11.31*b56 - 11.31*b57 <= 0;

e56:    x16 + 0.5*x18 + 0.5*x28 - x29 - 11.31*b56 + 11.31*b57 <= 11.31;

e57:    0.5*x19 - x20 + 0.5*x30 + x31 + 13*b56 - 13*b57 <= 13;

e58:    0.5*x19 + x20 + 0.5*x30 - x31 + 13*b56 + 13*b57 <= 26;

e59:    x16 - x33 - x58 <= 0;

e60:  - x16 + x33 - x58 <= 0;

e61:    x20 - x35 - x59 <= 0;

e62:  - x20 + x35 - x59 <= 0;

e63:  - x16 + 0.5*x18 + 0.5*x32 + x33 - 11.31*b60 - 11.31*b61 <= 0;

e64:    x16 + 0.5*x18 + 0.5*x32 - x33 - 11.31*b60 + 11.31*b61 <= 11.31;

e65:    0.5*x19 - x20 + 0.5*x34 + x35 + 13*b60 - 13*b61 <= 13;

e66:    0.5*x19 + x20 + 0.5*x34 - x35 + 13*b60 + 13*b61 <= 26;

e67:    x16 - x37 - x62 <= 0;

e68:  - x16 + x37 - x62 <= 0;

e69:    x20 - x39 - x63 <= 0;

e70:  - x20 + x39 - x63 <= 0;

e71:  - x16 + 0.5*x18 + 0.5*x36 + x37 - 11.31*b64 - 11.31*b65 <= 0;

e72:    x16 + 0.5*x18 + 0.5*x36 - x37 - 11.31*b64 + 11.31*b65 <= 11.31;

e73:    0.5*x19 - x20 + 0.5*x38 + x39 + 13*b64 - 13*b65 <= 13;

e74:    0.5*x19 + x20 + 0.5*x38 - x39 + 13*b64 + 13*b65 <= 26;

e75:    x16 - x41 - x66 <= 0;

e76:  - x16 + x41 - x66 <= 0;

e77:    x20 - x43 - x67 <= 0;

e78:  - x20 + x43 - x67 <= 0;

e79:  - x16 + 0.5*x18 + 0.5*x40 + x41 - 11.31*b68 - 11.31*b69 <= 0;

e80:    x16 + 0.5*x18 + 0.5*x40 - x41 - 11.31*b68 + 11.31*b69 <= 11.31;

e81:    0.5*x19 - x20 + 0.5*x42 + x43 + 13*b68 - 13*b69 <= 13;

e82:    0.5*x19 + x20 + 0.5*x42 - x43 + 13*b68 + 13*b69 <= 26;

e83:    x16 - x45 - x70 <= 0;

e84:  - x16 + x45 - x70 <= 0;

e85:    x20 - x47 - x71 <= 0;

e86:  - x20 + x47 - x71 <= 0;

e87:  - x16 + 0.5*x18 + 0.5*x44 + x45 - 11.31*b72 - 11.31*b73 <= 0;

e88:    x16 + 0.5*x18 + 0.5*x44 - x45 - 11.31*b72 + 11.31*b73 <= 11.31;

e89:    0.5*x19 - x20 + 0.5*x46 + x47 + 13*b72 - 13*b73 <= 13;

e90:    0.5*x19 + x20 + 0.5*x46 - x47 + 13*b72 + 13*b73 <= 26;

e91:  - x4 + x17 - x25 <= 0;

e92:  - x4 - x17 + x25 <= 0;

e93:  - x5 + x23 - x27 <= 0;

e94:  - x5 - x23 + x27 <= 0;

e95:  - x17 + 0.5*x21 + 0.5*x24 + x25 - 11.31*b74 - 11.31*b75 <= 0;

e96:    x17 + 0.5*x21 + 0.5*x24 - x25 - 11.31*b74 + 11.31*b75 <= 11.31;

e97:    0.5*x22 - x23 + 0.5*x26 + x27 + 13*b74 - 13*b75 <= 13;

e98:    0.5*x22 + x23 + 0.5*x26 - x27 + 13*b74 + 13*b75 <= 26;

e99:    x17 - x29 - x76 <= 0;

e100:  - x17 + x29 - x76 <= 0;

e101:    x23 - x31 - x77 <= 0;

e102:  - x23 + x31 - x77 <= 0;

e103:  - x17 + 0.5*x21 + 0.5*x28 + x29 - 11.31*b78 - 11.31*b79 <= 0;

e104:    x17 + 0.5*x21 + 0.5*x28 - x29 - 11.31*b78 + 11.31*b79 <= 11.31;

e105:    0.5*x22 - x23 + 0.5*x30 + x31 + 13*b78 - 13*b79 <= 13;

e106:    0.5*x22 + x23 + 0.5*x30 - x31 + 13*b78 + 13*b79 <= 26;

e107:    x17 - x33 - x80 <= 0;

e108:  - x17 + x33 - x80 <= 0;

e109:    x23 - x35 - x81 <= 0;

e110:  - x23 + x35 - x81 <= 0;

e111:  - x17 + 0.5*x21 + 0.5*x32 + x33 - 11.31*b82 - 11.31*b83 <= 0;

e112:    x17 + 0.5*x21 + 0.5*x32 - x33 - 11.31*b82 + 11.31*b83 <= 11.31;

e113:    0.5*x22 - x23 + 0.5*x34 + x35 + 13*b82 - 13*b83 <= 13;

e114:    0.5*x22 + x23 + 0.5*x34 - x35 + 13*b82 + 13*b83 <= 26;

e115:    x17 - x37 - x84 <= 0;

e116:  - x17 + x37 - x84 <= 0;

e117:    x23 - x39 - x85 <= 0;

e118:  - x23 + x39 - x85 <= 0;

e119:  - x17 + 0.5*x21 + 0.5*x36 + x37 - 11.31*b86 - 11.31*b87 <= 0;

e120:    x17 + 0.5*x21 + 0.5*x36 - x37 - 11.31*b86 + 11.31*b87 <= 11.31;

e121:    0.5*x22 - x23 + 0.5*x38 + x39 + 13*b86 - 13*b87 <= 13;

e122:    0.5*x22 + x23 + 0.5*x38 - x39 + 13*b86 + 13*b87 <= 26;

e123:    x17 - x41 - x88 <= 0;

e124:  - x17 + x41 - x88 <= 0;

e125:    x23 - x43 - x89 <= 0;

e126:  - x23 + x43 - x89 <= 0;

e127:  - x17 + 0.5*x21 + 0.5*x40 + x41 - 11.31*b90 - 11.31*b91 <= 0;

e128:    x17 + 0.5*x21 + 0.5*x40 - x41 - 11.31*b90 + 11.31*b91 <= 11.31;

e129:    0.5*x22 - x23 + 0.5*x42 + x43 + 13*b90 - 13*b91 <= 13;

e130:    0.5*x22 + x23 + 0.5*x42 - x43 + 13*b90 + 13*b91 <= 26;

e131:    x17 - x45 - x92 <= 0;

e132:  - x17 + x45 - x92 <= 0;

e133:    x23 - x47 - x93 <= 0;

e134:  - x23 + x47 - x93 <= 0;

e135:  - x17 + 0.5*x21 + 0.5*x44 + x45 - 11.31*b94 - 11.31*b95 <= 0;

e136:    x17 + 0.5*x21 + 0.5*x44 - x45 - 11.31*b94 + 11.31*b95 <= 11.31;

e137:    0.5*x22 - x23 + 0.5*x46 + x47 + 13*b94 - 13*b95 <= 13;

e138:    0.5*x22 + x23 + 0.5*x46 - x47 + 13*b94 + 13*b95 <= 26;

e139:  - x6 + x25 - x29 <= 0;

e140:  - x6 - x25 + x29 <= 0;

e141:  - x7 + x27 - x31 <= 0;

e142:  - x7 - x27 + x31 <= 0;

e143:    0.5*x24 - x25 + 0.5*x28 + x29 - 11.31*b96 - 11.31*b97 <= 0;

e144:    0.5*x24 + x25 + 0.5*x28 - x29 - 11.31*b96 + 11.31*b97 <= 11.31;

e145:    0.5*x26 - x27 + 0.5*x30 + x31 + 13*b96 - 13*b97 <= 13;

e146:    0.5*x26 + x27 + 0.5*x30 - x31 + 13*b96 + 13*b97 <= 26;

e147:    x25 - x33 - x98 <= 0;

e148:  - x25 + x33 - x98 <= 0;

e149:    x27 - x35 - x99 <= 0;

e150:  - x27 + x35 - x99 <= 0;

e151:    0.5*x24 - x25 + 0.5*x32 + x33 - 11.31*b100 - 11.31*b101 <= 0;

e152:    0.5*x24 + x25 + 0.5*x32 - x33 - 11.31*b100 + 11.31*b101 <= 11.31;

e153:    0.5*x26 - x27 + 0.5*x34 + x35 + 13*b100 - 13*b101 <= 13;

e154:    0.5*x26 + x27 + 0.5*x34 - x35 + 13*b100 + 13*b101 <= 26;

e155:    x25 - x37 - x102 <= 0;

e156:  - x25 + x37 - x102 <= 0;

e157:    x27 - x39 - x103 <= 0;

e158:  - x27 + x39 - x103 <= 0;

e159:    0.5*x24 - x25 + 0.5*x36 + x37 - 11.31*b104 - 11.31*b105 <= 0;

e160:    0.5*x24 + x25 + 0.5*x36 - x37 - 11.31*b104 + 11.31*b105 <= 11.31;

e161:    0.5*x26 - x27 + 0.5*x38 + x39 + 13*b104 - 13*b105 <= 13;

e162:    0.5*x26 + x27 + 0.5*x38 - x39 + 13*b104 + 13*b105 <= 26;

e163:    x25 - x41 - x106 <= 0;

e164:  - x25 + x41 - x106 <= 0;

e165:    x27 - x43 - x107 <= 0;

e166:  - x27 + x43 - x107 <= 0;

e167:    0.5*x24 - x25 + 0.5*x40 + x41 - 11.31*b108 - 11.31*b109 <= 0;

e168:    0.5*x24 + x25 + 0.5*x40 - x41 - 11.31*b108 + 11.31*b109 <= 11.31;

e169:    0.5*x26 - x27 + 0.5*x42 + x43 + 13*b108 - 13*b109 <= 13;

e170:    0.5*x26 + x27 + 0.5*x42 - x43 + 13*b108 + 13*b109 <= 26;

e171:    x25 - x45 - x110 <= 0;

e172:  - x25 + x45 - x110 <= 0;

e173:    x27 - x47 - x111 <= 0;

e174:  - x27 + x47 - x111 <= 0;

e175:    0.5*x24 - x25 + 0.5*x44 + x45 - 11.31*b112 - 11.31*b113 <= 0;

e176:    0.5*x24 + x25 + 0.5*x44 - x45 - 11.31*b112 + 11.31*b113 <= 11.31;

e177:    0.5*x26 - x27 + 0.5*x46 + x47 + 13*b112 - 13*b113 <= 13;

e178:    0.5*x26 + x27 + 0.5*x46 - x47 + 13*b112 + 13*b113 <= 26;

e179:  - x8 + x29 - x33 <= 0;

e180:  - x8 - x29 + x33 <= 0;

e181:  - x9 + x31 - x35 <= 0;

e182:  - x9 - x31 + x35 <= 0;

e183:    0.5*x28 - x29 + 0.5*x32 + x33 - 11.31*b114 - 11.31*b115 <= 0;

e184:    0.5*x28 + x29 + 0.5*x32 - x33 - 11.31*b114 + 11.31*b115 <= 11.31;

e185:    0.5*x30 - x31 + 0.5*x34 + x35 + 13*b114 - 13*b115 <= 13;

e186:    0.5*x30 + x31 + 0.5*x34 - x35 + 13*b114 + 13*b115 <= 26;

e187:    x29 - x37 - x116 <= 0;

e188:  - x29 + x37 - x116 <= 0;

e189:    x31 - x39 - x117 <= 0;

e190:  - x31 + x39 - x117 <= 0;

e191:    0.5*x28 - x29 + 0.5*x36 + x37 - 11.31*b118 - 11.31*b119 <= 0;

e192:    0.5*x28 + x29 + 0.5*x36 - x37 - 11.31*b118 + 11.31*b119 <= 11.31;

e193:    0.5*x30 - x31 + 0.5*x38 + x39 + 13*b118 - 13*b119 <= 13;

e194:    0.5*x30 + x31 + 0.5*x38 - x39 + 13*b118 + 13*b119 <= 26;

e195:    x29 - x41 - x120 <= 0;

e196:  - x29 + x41 - x120 <= 0;

e197:    x31 - x43 - x121 <= 0;

e198:  - x31 + x43 - x121 <= 0;

e199:    0.5*x28 - x29 + 0.5*x40 + x41 - 11.31*b122 - 11.31*b123 <= 0;

e200:    0.5*x28 + x29 + 0.5*x40 - x41 - 11.31*b122 + 11.31*b123 <= 11.31;

e201:    0.5*x30 - x31 + 0.5*x42 + x43 + 13*b122 - 13*b123 <= 13;

e202:    0.5*x30 + x31 + 0.5*x42 - x43 + 13*b122 + 13*b123 <= 26;

e203:    x29 - x45 - x124 <= 0;

e204:  - x29 + x45 - x124 <= 0;

e205:    x31 - x47 - x125 <= 0;

e206:  - x31 + x47 - x125 <= 0;

e207:    0.5*x28 - x29 + 0.5*x44 + x45 - 11.31*b126 - 11.31*b127 <= 0;

e208:    0.5*x28 + x29 + 0.5*x44 - x45 - 11.31*b126 + 11.31*b127 <= 11.31;

e209:    0.5*x30 - x31 + 0.5*x46 + x47 + 13*b126 - 13*b127 <= 13;

e210:    0.5*x30 + x31 + 0.5*x46 - x47 + 13*b126 + 13*b127 <= 26;

e211:  - x10 + x33 - x37 <= 0;

e212:  - x10 - x33 + x37 <= 0;

e213:  - x11 + x35 - x39 <= 0;

e214:  - x11 - x35 + x39 <= 0;

e215:    0.5*x32 - x33 + 0.5*x36 + x37 - 11.31*b128 - 11.31*b129 <= 0;

e216:    0.5*x32 + x33 + 0.5*x36 - x37 - 11.31*b128 + 11.31*b129 <= 11.31;

e217:    0.5*x34 - x35 + 0.5*x38 + x39 + 13*b128 - 13*b129 <= 13;

e218:    0.5*x34 + x35 + 0.5*x38 - x39 + 13*b128 + 13*b129 <= 26;

e219:    x33 - x41 - x130 <= 0;

e220:  - x33 + x41 - x130 <= 0;

e221:    x35 - x43 - x131 <= 0;

e222:  - x35 + x43 - x131 <= 0;

e223:    0.5*x32 - x33 + 0.5*x40 + x41 - 11.31*b132 - 11.31*b133 <= 0;

e224:    0.5*x32 + x33 + 0.5*x40 - x41 - 11.31*b132 + 11.31*b133 <= 11.31;

e225:    0.5*x34 - x35 + 0.5*x42 + x43 + 13*b132 - 13*b133 <= 13;

e226:    0.5*x34 + x35 + 0.5*x42 - x43 + 13*b132 + 13*b133 <= 26;

e227:    x33 - x45 - x134 <= 0;

e228:  - x33 + x45 - x134 <= 0;

e229:    x35 - x47 - x135 <= 0;

e230:  - x35 + x47 - x135 <= 0;

e231:    0.5*x32 - x33 + 0.5*x44 + x45 - 11.31*b136 - 11.31*b137 <= 0;

e232:    0.5*x32 + x33 + 0.5*x44 - x45 - 11.31*b136 + 11.31*b137 <= 11.31;

e233:    0.5*x34 - x35 + 0.5*x46 + x47 + 13*b136 - 13*b137 <= 13;

e234:    0.5*x34 + x35 + 0.5*x46 - x47 + 13*b136 + 13*b137 <= 26;

e235:  - x12 + x37 - x41 <= 0;

e236:  - x12 - x37 + x41 <= 0;

e237:  - x13 + x39 - x43 <= 0;

e238:  - x13 - x39 + x43 <= 0;

e239:    0.5*x36 - x37 + 0.5*x40 + x41 - 11.31*b138 - 11.31*b139 <= 0;

e240:    0.5*x36 + x37 + 0.5*x40 - x41 - 11.31*b138 + 11.31*b139 <= 11.31;

e241:    0.5*x38 - x39 + 0.5*x42 + x43 + 13*b138 - 13*b139 <= 13;

e242:    0.5*x38 + x39 + 0.5*x42 - x43 + 13*b138 + 13*b139 <= 26;

e243:    x37 - x45 - x140 <= 0;

e244:  - x37 + x45 - x140 <= 0;

e245:    x39 - x47 - x141 <= 0;

e246:  - x39 + x47 - x141 <= 0;

e247:    0.5*x36 - x37 + 0.5*x44 + x45 - 11.31*b142 - 11.31*b143 <= 0;

e248:    0.5*x36 + x37 + 0.5*x44 - x45 - 11.31*b142 + 11.31*b143 <= 11.31;

e249:    0.5*x38 - x39 + 0.5*x46 + x47 + 13*b142 - 13*b143 <= 13;

e250:    0.5*x38 + x39 + 0.5*x46 - x47 + 13*b142 + 13*b143 <= 26;

e251:  - x14 + x41 - x45 <= 0;

e252:  - x14 - x41 + x45 <= 0;

e253:  - x15 + x43 - x47 <= 0;

e254:  - x15 - x43 + x47 <= 0;

e255:    0.5*x40 - x41 + 0.5*x44 + x45 - 11.31*b144 - 11.31*b145 <= 0;

e256:    0.5*x40 + x41 + 0.5*x44 - x45 - 11.31*b144 + 11.31*b145 <= 11.31;

e257:    0.5*x42 - x43 + 0.5*x46 + x47 + 13*b144 - 13*b145 <= 13;

e258:    0.5*x42 + x43 + 0.5*x46 - x47 + 13*b144 + 13*b145 <= 26;

e259: -x19*x18 <= -16;

e260: -x19*x18 <= -16;

e261: -x22*x21 <= -16;

e262: -x22*x21 <= -16;

e263: -x26*x24 <= -16;

e264: -x26*x24 <= -16;

e265: -x30*x28 <= -36;

e266: -x30*x28 <= -36;

e267: -x34*x32 <= -36;

e268: -x34*x32 <= -36;

e269: -x38*x36 <= -9;

e270: -x38*x36 <= -9;

e271: -x42*x40 <= -9;

e272: -x42*x40 <= -9;

e273: -x46*x44 <= -9;

e274: -x46*x44 <= -9;