#  MIQCP written by GAMS Convert at 02/15/18 15:46:30
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        344        1        0      343        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        181      109       72        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       1423     1387       36        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;
var x19;
var x20 := 2, >= 2, <= 8;
var x21 := 2, >= 2, <= 8;
var x22;
var x23 := 2, >= 2, <= 8;
var x24 := 2, >= 2, <= 8;
var x25;
var x26 := 2, >= 2, <= 8;
var x27;
var x28 := 2, >= 2, <= 8;
var x29;
var x30 := 3, >= 3, <= 12;
var x31;
var x32 := 3, >= 3, <= 12;
var x33;
var x34 := 3, >= 3, <= 12;
var x35;
var x36 := 3, >= 3, <= 12;
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 x48 := 1.5, >= 1.5, <= 6;
var x49;
var x50 := 1.5, >= 1.5, <= 6;
var x51;
var x52 := 1.5, >= 1.5, <= 6;
var x53;
var b54 binary >= 0, <= 1;
var b55 binary >= 0, <= 1;
var x56;
var x57;
var b58 binary >= 0, <= 1;
var b59 binary >= 0, <= 1;
var x60;
var x61;
var b62 binary >= 0, <= 1;
var b63 binary >= 0, <= 1;
var x64;
var x65;
var b66 binary >= 0, <= 1;
var b67 binary >= 0, <= 1;
var x68;
var x69;
var b70 binary >= 0, <= 1;
var b71 binary >= 0, <= 1;
var x72;
var x73;
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 b84 binary >= 0, <= 1;
var b85 binary >= 0, <= 1;
var x86;
var x87;
var b88 binary >= 0, <= 1;
var b89 binary >= 0, <= 1;
var x90;
var x91;
var b92 binary >= 0, <= 1;
var b93 binary >= 0, <= 1;
var x94;
var x95;
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 b110 binary >= 0, <= 1;
var b111 binary >= 0, <= 1;
var x112;
var x113;
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 x128;
var x129;
var b130 binary >= 0, <= 1;
var b131 binary >= 0, <= 1;
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 x138;
var x139;
var b140 binary >= 0, <= 1;
var b141 binary >= 0, <= 1;
var x142;
var x143;
var b144 binary >= 0, <= 1;
var b145 binary >= 0, <= 1;
var x146;
var x147;
var b148 binary >= 0, <= 1;
var b149 binary >= 0, <= 1;
var b150 binary >= 0, <= 1;
var b151 binary >= 0, <= 1;
var x152;
var x153;
var b154 binary >= 0, <= 1;
var b155 binary >= 0, <= 1;
var x156;
var x157;
var b158 binary >= 0, <= 1;
var b159 binary >= 0, <= 1;
var x160;
var x161;
var b162 binary >= 0, <= 1;
var b163 binary >= 0, <= 1;
var b164 binary >= 0, <= 1;
var b165 binary >= 0, <= 1;
var x166;
var x167;
var b168 binary >= 0, <= 1;
var b169 binary >= 0, <= 1;
var x170;
var x171;
var b172 binary >= 0, <= 1;
var b173 binary >= 0, <= 1;
var b174 binary >= 0, <= 1;
var b175 binary >= 0, <= 1;
var x176;
var x177;
var b178 binary >= 0, <= 1;
var b179 binary >= 0, <= 1;
var b180 binary >= 0, <= 1;
var b181 binary >= 0, <= 1;

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

subject to

e2:    x18 - x19 <= 0;

e3:    x18 + 0.5*x20 <= 12;

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

e5:    0.5*x21 + x22 <= 13;

e6:    0.5*x21 - x22 <= 0;

e7:    x19 + 0.5*x23 <= 12;

e8:  - x19 + 0.5*x23 <= 0;

e9:    0.5*x24 + x25 <= 13;

e10:    0.5*x24 - x25 <= 0;

e11:    0.5*x26 + x27 <= 12;

e12:    0.5*x26 - x27 <= 0;

e13:    0.5*x28 + x29 <= 13;

e14:    0.5*x28 - x29 <= 0;

e15:    0.5*x30 + x31 <= 12;

e16:    0.5*x30 - x31 <= 0;

e17:    0.5*x32 + x33 <= 13;

e18:    0.5*x32 - x33 <= 0;

e19:    0.5*x34 + x35 <= 12;

e20:    0.5*x34 - x35 <= 0;

e21:    0.5*x36 + x37 <= 13;

e22:    0.5*x36 - x37 <= 0;

e23:    0.5*x38 + x39 <= 12;

e24:    0.5*x38 - x39 <= 0;

e25:    0.5*x40 + x41 <= 13;

e26:    0.5*x40 - x41 <= 0;

e27:    0.5*x42 + x43 <= 12;

e28:    0.5*x42 - x43 <= 0;

e29:    0.5*x44 + x45 <= 13;

e30:    0.5*x44 - x45 <= 0;

e31:    0.5*x46 + x47 <= 12;

e32:    0.5*x46 - x47 <= 0;

e33:    0.5*x48 + x49 <= 13;

e34:    0.5*x48 - x49 <= 0;

e35:    0.5*x50 + x51 <= 12;

e36:    0.5*x50 - x51 <= 0;

e37:    0.5*x52 + x53 <= 13;

e38:    0.5*x52 - x53 <= 0;

e39:  - x2 + x18 - x19 <= 0;

e40:  - x2 - x18 + x19 <= 0;

e41:  - x3 + x22 - x25 <= 0;

e42:  - x3 - x22 + x25 <= 0;

e43:  - x18 + x19 + 0.5*x20 + 0.5*x23 - 12*b54 - 12*b55 <= 0;

e44:    x18 - x19 + 0.5*x20 + 0.5*x23 - 12*b54 + 12*b55 <= 12;

e45:    0.5*x21 - x22 + 0.5*x24 + x25 + 13*b54 - 13*b55 <= 13;

e46:    0.5*x21 + x22 + 0.5*x24 - x25 + 13*b54 + 13*b55 <= 26;

e47:    x18 - x27 - x56 <= 0;

e48:  - x18 + x27 - x56 <= 0;

e49:    x22 - x29 - x57 <= 0;

e50:  - x22 + x29 - x57 <= 0;

e51:  - x18 + 0.5*x20 + 0.5*x26 + x27 - 12*b58 - 12*b59 <= 0;

e52:    x18 + 0.5*x20 + 0.5*x26 - x27 - 12*b58 + 12*b59 <= 12;

e53:    0.5*x21 - x22 + 0.5*x28 + x29 + 13*b58 - 13*b59 <= 13;

e54:    0.5*x21 + x22 + 0.5*x28 - x29 + 13*b58 + 13*b59 <= 26;

e55:    x18 - x31 - x60 <= 0;

e56:  - x18 + x31 - x60 <= 0;

e57:    x22 - x33 - x61 <= 0;

e58:  - x22 + x33 - x61 <= 0;

e59:  - x18 + 0.5*x20 + 0.5*x30 + x31 - 12*b62 - 12*b63 <= 0;

e60:    x18 + 0.5*x20 + 0.5*x30 - x31 - 12*b62 + 12*b63 <= 12;

e61:    0.5*x21 - x22 + 0.5*x32 + x33 + 13*b62 - 13*b63 <= 13;

e62:    0.5*x21 + x22 + 0.5*x32 - x33 + 13*b62 + 13*b63 <= 26;

e63:    x18 - x35 - x64 <= 0;

e64:  - x18 + x35 - x64 <= 0;

e65:    x22 - x37 - x65 <= 0;

e66:  - x22 + x37 - x65 <= 0;

e67:  - x18 + 0.5*x20 + 0.5*x34 + x35 - 12*b66 - 12*b67 <= 0;

e68:    x18 + 0.5*x20 + 0.5*x34 - x35 - 12*b66 + 12*b67 <= 12;

e69:    0.5*x21 - x22 + 0.5*x36 + x37 + 13*b66 - 13*b67 <= 13;

e70:    0.5*x21 + x22 + 0.5*x36 - x37 + 13*b66 + 13*b67 <= 26;

e71:    x18 - x39 - x68 <= 0;

e72:  - x18 + x39 - x68 <= 0;

e73:    x22 - x41 - x69 <= 0;

e74:  - x22 + x41 - x69 <= 0;

e75:  - x18 + 0.5*x20 + 0.5*x38 + x39 - 12*b70 - 12*b71 <= 0;

e76:    x18 + 0.5*x20 + 0.5*x38 - x39 - 12*b70 + 12*b71 <= 12;

e77:    0.5*x21 - x22 + 0.5*x40 + x41 + 13*b70 - 13*b71 <= 13;

e78:    0.5*x21 + x22 + 0.5*x40 - x41 + 13*b70 + 13*b71 <= 26;

e79:    x18 - x43 - x72 <= 0;

e80:  - x18 + x43 - x72 <= 0;

e81:    x22 - x45 - x73 <= 0;

e82:  - x22 + x45 - x73 <= 0;

e83:  - x18 + 0.5*x20 + 0.5*x42 + x43 - 12*b74 - 12*b75 <= 0;

e84:    x18 + 0.5*x20 + 0.5*x42 - x43 - 12*b74 + 12*b75 <= 12;

e85:    0.5*x21 - x22 + 0.5*x44 + x45 + 13*b74 - 13*b75 <= 13;

e86:    0.5*x21 + x22 + 0.5*x44 - x45 + 13*b74 + 13*b75 <= 26;

e87:    x18 - x47 - x76 <= 0;

e88:  - x18 + x47 - x76 <= 0;

e89:    x22 - x49 - x77 <= 0;

e90:  - x22 + x49 - x77 <= 0;

e91:  - x18 + 0.5*x20 + 0.5*x46 + x47 - 12*b78 - 12*b79 <= 0;

e92:    x18 + 0.5*x20 + 0.5*x46 - x47 - 12*b78 + 12*b79 <= 12;

e93:    0.5*x21 - x22 + 0.5*x48 + x49 + 13*b78 - 13*b79 <= 13;

e94:    0.5*x21 + x22 + 0.5*x48 - x49 + 13*b78 + 13*b79 <= 26;

e95:    x18 - x51 - x80 <= 0;

e96:  - x18 + x51 - x80 <= 0;

e97:    x22 - x53 - x81 <= 0;

e98:  - x22 + x53 - x81 <= 0;

e99:  - x18 + 0.5*x20 + 0.5*x50 + x51 - 12*b82 - 12*b83 <= 0;

e100:    x18 + 0.5*x20 + 0.5*x50 - x51 - 12*b82 + 12*b83 <= 12;

e101:    0.5*x21 - x22 + 0.5*x52 + x53 + 13*b82 - 13*b83 <= 13;

e102:    0.5*x21 + x22 + 0.5*x52 - x53 + 13*b82 + 13*b83 <= 26;

e103:  - x4 + x19 - x27 <= 0;

e104:  - x4 - x19 + x27 <= 0;

e105:  - x5 + x25 - x29 <= 0;

e106:  - x5 - x25 + x29 <= 0;

e107:  - x19 + 0.5*x23 + 0.5*x26 + x27 - 12*b84 - 12*b85 <= 0;

e108:    x19 + 0.5*x23 + 0.5*x26 - x27 - 12*b84 + 12*b85 <= 12;

e109:    0.5*x24 - x25 + 0.5*x28 + x29 + 13*b84 - 13*b85 <= 13;

e110:    0.5*x24 + x25 + 0.5*x28 - x29 + 13*b84 + 13*b85 <= 26;

e111:    x19 - x31 - x86 <= 0;

e112:  - x19 + x31 - x86 <= 0;

e113:    x25 - x33 - x87 <= 0;

e114:  - x25 + x33 - x87 <= 0;

e115:  - x19 + 0.5*x23 + 0.5*x30 + x31 - 12*b88 - 12*b89 <= 0;

e116:    x19 + 0.5*x23 + 0.5*x30 - x31 - 12*b88 + 12*b89 <= 12;

e117:    0.5*x24 - x25 + 0.5*x32 + x33 + 13*b88 - 13*b89 <= 13;

e118:    0.5*x24 + x25 + 0.5*x32 - x33 + 13*b88 + 13*b89 <= 26;

e119:    x19 - x35 - x90 <= 0;

e120:  - x19 + x35 - x90 <= 0;

e121:    x25 - x37 - x91 <= 0;

e122:  - x25 + x37 - x91 <= 0;

e123:  - x19 + 0.5*x23 + 0.5*x34 + x35 - 12*b92 - 12*b93 <= 0;

e124:    x19 + 0.5*x23 + 0.5*x34 - x35 - 12*b92 + 12*b93 <= 12;

e125:    0.5*x24 - x25 + 0.5*x36 + x37 + 13*b92 - 13*b93 <= 13;

e126:    0.5*x24 + x25 + 0.5*x36 - x37 + 13*b92 + 13*b93 <= 26;

e127:    x19 - x39 - x94 <= 0;

e128:  - x19 + x39 - x94 <= 0;

e129:    x25 - x41 - x95 <= 0;

e130:  - x25 + x41 - x95 <= 0;

e131:  - x19 + 0.5*x23 + 0.5*x38 + x39 - 12*b96 - 12*b97 <= 0;

e132:    x19 + 0.5*x23 + 0.5*x38 - x39 - 12*b96 + 12*b97 <= 12;

e133:    0.5*x24 - x25 + 0.5*x40 + x41 + 13*b96 - 13*b97 <= 13;

e134:    0.5*x24 + x25 + 0.5*x40 - x41 + 13*b96 + 13*b97 <= 26;

e135:    x19 - x43 - x98 <= 0;

e136:  - x19 + x43 - x98 <= 0;

e137:    x25 - x45 - x99 <= 0;

e138:  - x25 + x45 - x99 <= 0;

e139:  - x19 + 0.5*x23 + 0.5*x42 + x43 - 12*b100 - 12*b101 <= 0;

e140:    x19 + 0.5*x23 + 0.5*x42 - x43 - 12*b100 + 12*b101 <= 12;

e141:    0.5*x24 - x25 + 0.5*x44 + x45 + 13*b100 - 13*b101 <= 13;

e142:    0.5*x24 + x25 + 0.5*x44 - x45 + 13*b100 + 13*b101 <= 26;

e143:    x19 - x47 - x102 <= 0;

e144:  - x19 + x47 - x102 <= 0;

e145:    x25 - x49 - x103 <= 0;

e146:  - x25 + x49 - x103 <= 0;

e147:  - x19 + 0.5*x23 + 0.5*x46 + x47 - 12*b104 - 12*b105 <= 0;

e148:    x19 + 0.5*x23 + 0.5*x46 - x47 - 12*b104 + 12*b105 <= 12;

e149:    0.5*x24 - x25 + 0.5*x48 + x49 + 13*b104 - 13*b105 <= 13;

e150:    0.5*x24 + x25 + 0.5*x48 - x49 + 13*b104 + 13*b105 <= 26;

e151:    x19 - x51 - x106 <= 0;

e152:  - x19 + x51 - x106 <= 0;

e153:    x25 - x53 - x107 <= 0;

e154:  - x25 + x53 - x107 <= 0;

e155:  - x19 + 0.5*x23 + 0.5*x50 + x51 - 12*b108 - 12*b109 <= 0;

e156:    x19 + 0.5*x23 + 0.5*x50 - x51 - 12*b108 + 12*b109 <= 12;

e157:    0.5*x24 - x25 + 0.5*x52 + x53 + 13*b108 - 13*b109 <= 13;

e158:    0.5*x24 + x25 + 0.5*x52 - x53 + 13*b108 + 13*b109 <= 26;

e159:  - x6 + x27 - x31 <= 0;

e160:  - x6 - x27 + x31 <= 0;

e161:  - x7 + x29 - x33 <= 0;

e162:  - x7 - x29 + x33 <= 0;

e163:    0.5*x26 - x27 + 0.5*x30 + x31 - 12*b110 - 12*b111 <= 0;

e164:    0.5*x26 + x27 + 0.5*x30 - x31 - 12*b110 + 12*b111 <= 12;

e165:    0.5*x28 - x29 + 0.5*x32 + x33 + 13*b110 - 13*b111 <= 13;

e166:    0.5*x28 + x29 + 0.5*x32 - x33 + 13*b110 + 13*b111 <= 26;

e167:    x27 - x35 - x112 <= 0;

e168:  - x27 + x35 - x112 <= 0;

e169:    x29 - x37 - x113 <= 0;

e170:  - x29 + x37 - x113 <= 0;

e171:    0.5*x26 - x27 + 0.5*x34 + x35 - 12*b114 - 12*b115 <= 0;

e172:    0.5*x26 + x27 + 0.5*x34 - x35 - 12*b114 + 12*b115 <= 12;

e173:    0.5*x28 - x29 + 0.5*x36 + x37 + 13*b114 - 13*b115 <= 13;

e174:    0.5*x28 + x29 + 0.5*x36 - x37 + 13*b114 + 13*b115 <= 26;

e175:    x27 - x39 - x116 <= 0;

e176:  - x27 + x39 - x116 <= 0;

e177:    x29 - x41 - x117 <= 0;

e178:  - x29 + x41 - x117 <= 0;

e179:    0.5*x26 - x27 + 0.5*x38 + x39 - 12*b118 - 12*b119 <= 0;

e180:    0.5*x26 + x27 + 0.5*x38 - x39 - 12*b118 + 12*b119 <= 12;

e181:    0.5*x28 - x29 + 0.5*x40 + x41 + 13*b118 - 13*b119 <= 13;

e182:    0.5*x28 + x29 + 0.5*x40 - x41 + 13*b118 + 13*b119 <= 26;

e183:    x27 - x43 - x120 <= 0;

e184:  - x27 + x43 - x120 <= 0;

e185:    x29 - x45 - x121 <= 0;

e186:  - x29 + x45 - x121 <= 0;

e187:    0.5*x26 - x27 + 0.5*x42 + x43 - 12*b122 - 12*b123 <= 0;

e188:    0.5*x26 + x27 + 0.5*x42 - x43 - 12*b122 + 12*b123 <= 12;

e189:    0.5*x28 - x29 + 0.5*x44 + x45 + 13*b122 - 13*b123 <= 13;

e190:    0.5*x28 + x29 + 0.5*x44 - x45 + 13*b122 + 13*b123 <= 26;

e191:    x27 - x47 - x124 <= 0;

e192:  - x27 + x47 - x124 <= 0;

e193:    x29 - x49 - x125 <= 0;

e194:  - x29 + x49 - x125 <= 0;

e195:    0.5*x26 - x27 + 0.5*x46 + x47 - 12*b126 - 12*b127 <= 0;

e196:    0.5*x26 + x27 + 0.5*x46 - x47 - 12*b126 + 12*b127 <= 12;

e197:    0.5*x28 - x29 + 0.5*x48 + x49 + 13*b126 - 13*b127 <= 13;

e198:    0.5*x28 + x29 + 0.5*x48 - x49 + 13*b126 + 13*b127 <= 26;

e199:    x27 - x51 - x128 <= 0;

e200:  - x27 + x51 - x128 <= 0;

e201:    x29 - x53 - x129 <= 0;

e202:  - x29 + x53 - x129 <= 0;

e203:    0.5*x26 - x27 + 0.5*x50 + x51 - 12*b130 - 12*b131 <= 0;

e204:    0.5*x26 + x27 + 0.5*x50 - x51 - 12*b130 + 12*b131 <= 12;

e205:    0.5*x28 - x29 + 0.5*x52 + x53 + 13*b130 - 13*b131 <= 13;

e206:    0.5*x28 + x29 + 0.5*x52 - x53 + 13*b130 + 13*b131 <= 26;

e207:  - x8 + x31 - x35 <= 0;

e208:  - x8 - x31 + x35 <= 0;

e209:  - x9 + x33 - x37 <= 0;

e210:  - x9 - x33 + x37 <= 0;

e211:    0.5*x30 - x31 + 0.5*x34 + x35 - 12*b132 - 12*b133 <= 0;

e212:    0.5*x30 + x31 + 0.5*x34 - x35 - 12*b132 + 12*b133 <= 12;

e213:    0.5*x32 - x33 + 0.5*x36 + x37 + 13*b132 - 13*b133 <= 13;

e214:    0.5*x32 + x33 + 0.5*x36 - x37 + 13*b132 + 13*b133 <= 26;

e215:    x31 - x39 - x134 <= 0;

e216:  - x31 + x39 - x134 <= 0;

e217:    x33 - x41 - x135 <= 0;

e218:  - x33 + x41 - x135 <= 0;

e219:    0.5*x30 - x31 + 0.5*x38 + x39 - 12*b136 - 12*b137 <= 0;

e220:    0.5*x30 + x31 + 0.5*x38 - x39 - 12*b136 + 12*b137 <= 12;

e221:    0.5*x32 - x33 + 0.5*x40 + x41 + 13*b136 - 13*b137 <= 13;

e222:    0.5*x32 + x33 + 0.5*x40 - x41 + 13*b136 + 13*b137 <= 26;

e223:    x31 - x43 - x138 <= 0;

e224:  - x31 + x43 - x138 <= 0;

e225:    x33 - x45 - x139 <= 0;

e226:  - x33 + x45 - x139 <= 0;

e227:    0.5*x30 - x31 + 0.5*x42 + x43 - 12*b140 - 12*b141 <= 0;

e228:    0.5*x30 + x31 + 0.5*x42 - x43 - 12*b140 + 12*b141 <= 12;

e229:    0.5*x32 - x33 + 0.5*x44 + x45 + 13*b140 - 13*b141 <= 13;

e230:    0.5*x32 + x33 + 0.5*x44 - x45 + 13*b140 + 13*b141 <= 26;

e231:    x31 - x47 - x142 <= 0;

e232:  - x31 + x47 - x142 <= 0;

e233:    x33 - x49 - x143 <= 0;

e234:  - x33 + x49 - x143 <= 0;

e235:    0.5*x30 - x31 + 0.5*x46 + x47 - 12*b144 - 12*b145 <= 0;

e236:    0.5*x30 + x31 + 0.5*x46 - x47 - 12*b144 + 12*b145 <= 12;

e237:    0.5*x32 - x33 + 0.5*x48 + x49 + 13*b144 - 13*b145 <= 13;

e238:    0.5*x32 + x33 + 0.5*x48 - x49 + 13*b144 + 13*b145 <= 26;

e239:    x31 - x51 - x146 <= 0;

e240:  - x31 + x51 - x146 <= 0;

e241:    x33 - x53 - x147 <= 0;

e242:  - x33 + x53 - x147 <= 0;

e243:    0.5*x30 - x31 + 0.5*x50 + x51 - 12*b148 - 12*b149 <= 0;

e244:    0.5*x30 + x31 + 0.5*x50 - x51 - 12*b148 + 12*b149 <= 12;

e245:    0.5*x32 - x33 + 0.5*x52 + x53 + 13*b148 - 13*b149 <= 13;

e246:    0.5*x32 + x33 + 0.5*x52 - x53 + 13*b148 + 13*b149 <= 26;

e247:  - x10 + x35 - x39 <= 0;

e248:  - x10 - x35 + x39 <= 0;

e249:  - x11 + x37 - x41 <= 0;

e250:  - x11 - x37 + x41 <= 0;

e251:    0.5*x34 - x35 + 0.5*x38 + x39 - 12*b150 - 12*b151 <= 0;

e252:    0.5*x34 + x35 + 0.5*x38 - x39 - 12*b150 + 12*b151 <= 12;

e253:    0.5*x36 - x37 + 0.5*x40 + x41 + 13*b150 - 13*b151 <= 13;

e254:    0.5*x36 + x37 + 0.5*x40 - x41 + 13*b150 + 13*b151 <= 26;

e255:    x35 - x43 - x152 <= 0;

e256:  - x35 + x43 - x152 <= 0;

e257:    x37 - x45 - x153 <= 0;

e258:  - x37 + x45 - x153 <= 0;

e259:    0.5*x34 - x35 + 0.5*x42 + x43 - 12*b154 - 12*b155 <= 0;

e260:    0.5*x34 + x35 + 0.5*x42 - x43 - 12*b154 + 12*b155 <= 12;

e261:    0.5*x36 - x37 + 0.5*x44 + x45 + 13*b154 - 13*b155 <= 13;

e262:    0.5*x36 + x37 + 0.5*x44 - x45 + 13*b154 + 13*b155 <= 26;

e263:    x35 - x47 - x156 <= 0;

e264:  - x35 + x47 - x156 <= 0;

e265:    x37 - x49 - x157 <= 0;

e266:  - x37 + x49 - x157 <= 0;

e267:    0.5*x34 - x35 + 0.5*x46 + x47 - 12*b158 - 12*b159 <= 0;

e268:    0.5*x34 + x35 + 0.5*x46 - x47 - 12*b158 + 12*b159 <= 12;

e269:    0.5*x36 - x37 + 0.5*x48 + x49 + 13*b158 - 13*b159 <= 13;

e270:    0.5*x36 + x37 + 0.5*x48 - x49 + 13*b158 + 13*b159 <= 26;

e271:    x35 - x51 - x160 <= 0;

e272:  - x35 + x51 - x160 <= 0;

e273:    x37 - x53 - x161 <= 0;

e274:  - x37 + x53 - x161 <= 0;

e275:    0.5*x34 - x35 + 0.5*x50 + x51 - 12*b162 - 12*b163 <= 0;

e276:    0.5*x34 + x35 + 0.5*x50 - x51 - 12*b162 + 12*b163 <= 12;

e277:    0.5*x36 - x37 + 0.5*x52 + x53 + 13*b162 - 13*b163 <= 13;

e278:    0.5*x36 + x37 + 0.5*x52 - x53 + 13*b162 + 13*b163 <= 26;

e279:  - x12 + x39 - x43 <= 0;

e280:  - x12 - x39 + x43 <= 0;

e281:  - x13 + x41 - x45 <= 0;

e282:  - x13 - x41 + x45 <= 0;

e283:    0.5*x38 - x39 + 0.5*x42 + x43 - 12*b164 - 12*b165 <= 0;

e284:    0.5*x38 + x39 + 0.5*x42 - x43 - 12*b164 + 12*b165 <= 12;

e285:    0.5*x40 - x41 + 0.5*x44 + x45 + 13*b164 - 13*b165 <= 13;

e286:    0.5*x40 + x41 + 0.5*x44 - x45 + 13*b164 + 13*b165 <= 26;

e287:    x39 - x47 - x166 <= 0;

e288:  - x39 + x47 - x166 <= 0;

e289:    x41 - x49 - x167 <= 0;

e290:  - x41 + x49 - x167 <= 0;

e291:    0.5*x38 - x39 + 0.5*x46 + x47 - 12*b168 - 12*b169 <= 0;

e292:    0.5*x38 + x39 + 0.5*x46 - x47 - 12*b168 + 12*b169 <= 12;

e293:    0.5*x40 - x41 + 0.5*x48 + x49 + 13*b168 - 13*b169 <= 13;

e294:    0.5*x40 + x41 + 0.5*x48 - x49 + 13*b168 + 13*b169 <= 26;

e295:    x39 - x51 - x170 <= 0;

e296:  - x39 + x51 - x170 <= 0;

e297:    x41 - x53 - x171 <= 0;

e298:  - x41 + x53 - x171 <= 0;

e299:    0.5*x38 - x39 + 0.5*x50 + x51 - 12*b172 - 12*b173 <= 0;

e300:    0.5*x38 + x39 + 0.5*x50 - x51 - 12*b172 + 12*b173 <= 12;

e301:    0.5*x40 - x41 + 0.5*x52 + x53 + 13*b172 - 13*b173 <= 13;

e302:    0.5*x40 + x41 + 0.5*x52 - x53 + 13*b172 + 13*b173 <= 26;

e303:  - x14 + x43 - x47 <= 0;

e304:  - x14 - x43 + x47 <= 0;

e305:  - x15 + x45 - x49 <= 0;

e306:  - x15 - x45 + x49 <= 0;

e307:    0.5*x42 - x43 + 0.5*x46 + x47 - 12*b174 - 12*b175 <= 0;

e308:    0.5*x42 + x43 + 0.5*x46 - x47 - 12*b174 + 12*b175 <= 12;

e309:    0.5*x44 - x45 + 0.5*x48 + x49 + 13*b174 - 13*b175 <= 13;

e310:    0.5*x44 + x45 + 0.5*x48 - x49 + 13*b174 + 13*b175 <= 26;

e311:    x43 - x51 - x176 <= 0;

e312:  - x43 + x51 - x176 <= 0;

e313:    x45 - x53 - x177 <= 0;

e314:  - x45 + x53 - x177 <= 0;

e315:    0.5*x42 - x43 + 0.5*x50 + x51 - 12*b178 - 12*b179 <= 0;

e316:    0.5*x42 + x43 + 0.5*x50 - x51 - 12*b178 + 12*b179 <= 12;

e317:    0.5*x44 - x45 + 0.5*x52 + x53 + 13*b178 - 13*b179 <= 13;

e318:    0.5*x44 + x45 + 0.5*x52 - x53 + 13*b178 + 13*b179 <= 26;

e319:  - x16 + x47 - x51 <= 0;

e320:  - x16 - x47 + x51 <= 0;

e321:  - x17 + x49 - x53 <= 0;

e322:  - x17 - x49 + x53 <= 0;

e323:    0.5*x46 - x47 + 0.5*x50 + x51 - 12*b180 - 12*b181 <= 0;

e324:    0.5*x46 + x47 + 0.5*x50 - x51 - 12*b180 + 12*b181 <= 12;

e325:    0.5*x48 - x49 + 0.5*x52 + x53 + 13*b180 - 13*b181 <= 13;

e326:    0.5*x48 + x49 + 0.5*x52 - x53 + 13*b180 + 13*b181 <= 26;

e327: -x21*x20 <= -16;

e328: -x21*x20 <= -16;

e329: -x24*x23 <= -16;

e330: -x24*x23 <= -16;

e331: -x28*x26 <= -16;

e332: -x28*x26 <= -16;

e333: -x32*x30 <= -36;

e334: -x32*x30 <= -36;

e335: -x36*x34 <= -36;

e336: -x36*x34 <= -36;

e337: -x40*x38 <= -9;

e338: -x40*x38 <= -9;

e339: -x44*x42 <= -9;

e340: -x44*x42 <= -9;

e341: -x48*x46 <= -9;

e342: -x48*x46 <= -9;

e343: -x52*x50 <= -9;

e344: -x52*x50 <= -9;