#  MINLP written by GAMS Convert at 01/12/18 13:31:26
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        481        0        1      480        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#         91        1       90        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       1531     1441       90        0


var b1 binary >= 0, <= 1;
var b2 binary >= 0, <= 1;
var b3 binary >= 0, <= 1;
var b4 binary >= 0, <= 1;
var b5 binary >= 0, <= 1;
var b6 binary >= 0, <= 1;
var b7 binary >= 0, <= 1;
var b8 binary >= 0, <= 1;
var b9 binary >= 0, <= 1;
var b10 binary >= 0, <= 1;
var b11 binary >= 0, <= 1;
var b12 binary >= 0, <= 1;
var b13 binary >= 0, <= 1;
var b14 binary >= 0, <= 1;
var b15 binary >= 0, <= 1;
var b16 binary >= 0, <= 1;
var b17 binary >= 0, <= 1;
var b18 binary >= 0, <= 1;
var b19 binary >= 0, <= 1;
var b20 binary >= 0, <= 1;
var b21 binary >= 0, <= 1;
var b22 binary >= 0, <= 1;
var b23 binary >= 0, <= 1;
var b24 binary >= 0, <= 1;
var b25 binary >= 0, <= 1;
var b26 binary >= 0, <= 1;
var b27 binary >= 0, <= 1;
var b28 binary >= 0, <= 1;
var b29 binary >= 0, <= 1;
var b30 binary >= 0, <= 1;
var b31 binary >= 0, <= 1;
var b32 binary >= 0, <= 1;
var b33 binary >= 0, <= 1;
var b34 binary >= 0, <= 1;
var b35 binary >= 0, <= 1;
var b36 binary >= 0, <= 1;
var b37 binary >= 0, <= 1;
var b38 binary >= 0, <= 1;
var b39 binary >= 0, <= 1;
var b40 binary >= 0, <= 1;
var b41 binary >= 0, <= 1;
var b42 binary >= 0, <= 1;
var b43 binary >= 0, <= 1;
var b44 binary >= 0, <= 1;
var b45 binary >= 0, <= 1;
var b46 binary >= 0, <= 1;
var b47 binary >= 0, <= 1;
var b48 binary >= 0, <= 1;
var b49 binary >= 0, <= 1;
var b50 binary >= 0, <= 1;
var b51 binary >= 0, <= 1;
var b52 binary >= 0, <= 1;
var b53 binary >= 0, <= 1;
var b54 binary >= 0, <= 1;
var b55 binary >= 0, <= 1;
var b56 binary >= 0, <= 1;
var b57 binary >= 0, <= 1;
var b58 binary >= 0, <= 1;
var b59 binary >= 0, <= 1;
var b60 binary >= 0, <= 1;
var b61 binary >= 0, <= 1;
var b62 binary >= 0, <= 1;
var b63 binary >= 0, <= 1;
var b64 binary >= 0, <= 1;
var b65 binary >= 0, <= 1;
var b66 binary >= 0, <= 1;
var b67 binary >= 0, <= 1;
var b68 binary >= 0, <= 1;
var b69 binary >= 0, <= 1;
var b70 binary >= 0, <= 1;
var b71 binary >= 0, <= 1;
var b72 binary >= 0, <= 1;
var b73 binary >= 0, <= 1;
var b74 binary >= 0, <= 1;
var b75 binary >= 0, <= 1;
var b76 binary >= 0, <= 1;
var b77 binary >= 0, <= 1;
var b78 binary >= 0, <= 1;
var b79 binary >= 0, <= 1;
var b80 binary >= 0, <= 1;
var b81 binary >= 0, <= 1;
var b82 binary >= 0, <= 1;
var b83 binary >= 0, <= 1;
var b84 binary >= 0, <= 1;
var b85 binary >= 0, <= 1;
var b86 binary >= 0, <= 1;
var b87 binary >= 0, <= 1;
var b88 binary >= 0, <= 1;
var b89 binary >= 0, <= 1;
var b90 binary >= 0, <= 1;
var x91;

minimize obj: x91;

subject to

e1:  - b1 + b2 + b3 <= 1;

e2:    b3 - b4 + b5 <= 1;

e3:    b3 - b6 + b7 <= 1;

e4:    b3 - b8 + b9 <= 1;

e5:    b3 - b10 + b11 <= 1;

e6:    b3 - b12 + b13 <= 1;

e7:    b3 - b14 + b15 <= 1;

e8:    b3 - b16 + b17 <= 1;

e9:    b1 - b4 + b18 <= 1;

e10:    b1 - b6 + b19 <= 1;

e11:    b1 - b8 + b20 <= 1;

e12:    b1 - b10 + b21 <= 1;

e13:    b1 - b12 + b22 <= 1;

e14:    b1 - b14 + b23 <= 1;

e15:    b1 - b16 + b24 <= 1;

e16:    b4 - b6 + b25 <= 1;

e17:    b4 - b8 + b26 <= 1;

e18:    b4 - b10 + b27 <= 1;

e19:    b4 - b12 + b28 <= 1;

e20:    b4 - b14 + b29 <= 1;

e21:    b4 - b16 + b30 <= 1;

e22:    b6 - b8 + b31 <= 1;

e23:    b6 - b10 + b32 <= 1;

e24:    b6 - b12 + b33 <= 1;

e25:    b6 - b14 + b34 <= 1;

e26:    b6 - b16 + b35 <= 1;

e27:    b8 - b10 + b36 <= 1;

e28:    b8 - b12 + b37 <= 1;

e29:    b8 - b14 + b38 <= 1;

e30:    b8 - b16 + b39 <= 1;

e31:    b10 - b12 + b40 <= 1;

e32:    b10 - b14 + b41 <= 1;

e33:    b10 - b16 + b42 <= 1;

e34:    b12 - b14 + b43 <= 1;

e35:    b12 - b16 + b44 <= 1;

e36:    b14 - b16 + b45 <= 1;

e37:    b2 - b5 + b18 <= 1;

e38:    b2 - b7 + b19 <= 1;

e39:    b2 - b9 + b20 <= 1;

e40:    b2 - b11 + b21 <= 1;

e41:    b2 - b13 + b22 <= 1;

e42:    b2 - b15 + b23 <= 1;

e43:    b2 - b17 + b24 <= 1;

e44:    b5 - b7 + b25 <= 1;

e45:    b5 - b9 + b26 <= 1;

e46:    b5 - b11 + b27 <= 1;

e47:    b5 - b13 + b28 <= 1;

e48:    b5 - b15 + b29 <= 1;

e49:    b5 - b17 + b30 <= 1;

e50:    b7 - b9 + b31 <= 1;

e51:    b7 - b11 + b32 <= 1;

e52:    b7 - b13 + b33 <= 1;

e53:    b7 - b15 + b34 <= 1;

e54:    b7 - b17 + b35 <= 1;

e55:    b9 - b11 + b36 <= 1;

e56:    b9 - b13 + b37 <= 1;

e57:    b9 - b15 + b38 <= 1;

e58:    b9 - b17 + b39 <= 1;

e59:    b11 - b13 + b40 <= 1;

e60:    b11 - b15 + b41 <= 1;

e61:    b11 - b17 + b42 <= 1;

e62:    b13 - b15 + b43 <= 1;

e63:    b13 - b17 + b44 <= 1;

e64:    b15 - b17 + b45 <= 1;

e65:    b18 - b19 + b25 <= 1;

e66:    b18 - b20 + b26 <= 1;

e67:    b18 - b21 + b27 <= 1;

e68:    b18 - b22 + b28 <= 1;

e69:    b18 - b23 + b29 <= 1;

e70:    b18 - b24 + b30 <= 1;

e71:    b19 - b20 + b31 <= 1;

e72:    b19 - b21 + b32 <= 1;

e73:    b19 - b22 + b33 <= 1;

e74:    b19 - b23 + b34 <= 1;

e75:    b19 - b24 + b35 <= 1;

e76:    b20 - b21 + b36 <= 1;

e77:    b20 - b22 + b37 <= 1;

e78:    b20 - b23 + b38 <= 1;

e79:    b20 - b24 + b39 <= 1;

e80:    b21 - b22 + b40 <= 1;

e81:    b21 - b23 + b41 <= 1;

e82:    b21 - b24 + b42 <= 1;

e83:    b22 - b23 + b43 <= 1;

e84:    b22 - b24 + b44 <= 1;

e85:    b23 - b24 + b45 <= 1;

e86:    b25 - b26 + b31 <= 1;

e87:    b25 - b27 + b32 <= 1;

e88:    b25 - b28 + b33 <= 1;

e89:    b25 - b29 + b34 <= 1;

e90:    b25 - b30 + b35 <= 1;

e91:    b26 - b27 + b36 <= 1;

e92:    b26 - b28 + b37 <= 1;

e93:    b26 - b29 + b38 <= 1;

e94:    b26 - b30 + b39 <= 1;

e95:    b27 - b28 + b40 <= 1;

e96:    b27 - b29 + b41 <= 1;

e97:    b27 - b30 + b42 <= 1;

e98:    b28 - b29 + b43 <= 1;

e99:    b28 - b30 + b44 <= 1;

e100:    b29 - b30 + b45 <= 1;

e101:    b31 - b32 + b36 <= 1;

e102:    b31 - b33 + b37 <= 1;

e103:    b31 - b34 + b38 <= 1;

e104:    b31 - b35 + b39 <= 1;

e105:    b32 - b33 + b40 <= 1;

e106:    b32 - b34 + b41 <= 1;

e107:    b32 - b35 + b42 <= 1;

e108:    b33 - b34 + b43 <= 1;

e109:    b33 - b35 + b44 <= 1;

e110:    b34 - b35 + b45 <= 1;

e111:    b36 - b37 + b40 <= 1;

e112:    b36 - b38 + b41 <= 1;

e113:    b36 - b39 + b42 <= 1;

e114:    b37 - b38 + b43 <= 1;

e115:    b37 - b39 + b44 <= 1;

e116:    b38 - b39 + b45 <= 1;

e117:    b40 - b41 + b43 <= 1;

e118:    b40 - b42 + b44 <= 1;

e119:    b41 - b42 + b45 <= 1;

e120:    b43 - b44 + b45 <= 1;

e121:    b1 - b2 - b3 <= 0;

e122:  - b3 + b4 - b5 <= 0;

e123:  - b3 + b6 - b7 <= 0;

e124:  - b3 + b8 - b9 <= 0;

e125:  - b3 + b10 - b11 <= 0;

e126:  - b3 + b12 - b13 <= 0;

e127:  - b3 + b14 - b15 <= 0;

e128:  - b3 + b16 - b17 <= 0;

e129:  - b1 + b4 - b18 <= 0;

e130:  - b1 + b6 - b19 <= 0;

e131:  - b1 + b8 - b20 <= 0;

e132:  - b1 + b10 - b21 <= 0;

e133:  - b1 + b12 - b22 <= 0;

e134:  - b1 + b14 - b23 <= 0;

e135:  - b1 + b16 - b24 <= 0;

e136:  - b4 + b6 - b25 <= 0;

e137:  - b4 + b8 - b26 <= 0;

e138:  - b4 + b10 - b27 <= 0;

e139:  - b4 + b12 - b28 <= 0;

e140:  - b4 + b14 - b29 <= 0;

e141:  - b4 + b16 - b30 <= 0;

e142:  - b6 + b8 - b31 <= 0;

e143:  - b6 + b10 - b32 <= 0;

e144:  - b6 + b12 - b33 <= 0;

e145:  - b6 + b14 - b34 <= 0;

e146:  - b6 + b16 - b35 <= 0;

e147:  - b8 + b10 - b36 <= 0;

e148:  - b8 + b12 - b37 <= 0;

e149:  - b8 + b14 - b38 <= 0;

e150:  - b8 + b16 - b39 <= 0;

e151:  - b10 + b12 - b40 <= 0;

e152:  - b10 + b14 - b41 <= 0;

e153:  - b10 + b16 - b42 <= 0;

e154:  - b12 + b14 - b43 <= 0;

e155:  - b12 + b16 - b44 <= 0;

e156:  - b14 + b16 - b45 <= 0;

e157:  - b2 + b5 - b18 <= 0;

e158:  - b2 + b7 - b19 <= 0;

e159:  - b2 + b9 - b20 <= 0;

e160:  - b2 + b11 - b21 <= 0;

e161:  - b2 + b13 - b22 <= 0;

e162:  - b2 + b15 - b23 <= 0;

e163:  - b2 + b17 - b24 <= 0;

e164:  - b5 + b7 - b25 <= 0;

e165:  - b5 + b9 - b26 <= 0;

e166:  - b5 + b11 - b27 <= 0;

e167:  - b5 + b13 - b28 <= 0;

e168:  - b5 + b15 - b29 <= 0;

e169:  - b5 + b17 - b30 <= 0;

e170:  - b7 + b9 - b31 <= 0;

e171:  - b7 + b11 - b32 <= 0;

e172:  - b7 + b13 - b33 <= 0;

e173:  - b7 + b15 - b34 <= 0;

e174:  - b7 + b17 - b35 <= 0;

e175:  - b9 + b11 - b36 <= 0;

e176:  - b9 + b13 - b37 <= 0;

e177:  - b9 + b15 - b38 <= 0;

e178:  - b9 + b17 - b39 <= 0;

e179:  - b11 + b13 - b40 <= 0;

e180:  - b11 + b15 - b41 <= 0;

e181:  - b11 + b17 - b42 <= 0;

e182:  - b13 + b15 - b43 <= 0;

e183:  - b13 + b17 - b44 <= 0;

e184:  - b15 + b17 - b45 <= 0;

e185:  - b18 + b19 - b25 <= 0;

e186:  - b18 + b20 - b26 <= 0;

e187:  - b18 + b21 - b27 <= 0;

e188:  - b18 + b22 - b28 <= 0;

e189:  - b18 + b23 - b29 <= 0;

e190:  - b18 + b24 - b30 <= 0;

e191:  - b19 + b20 - b31 <= 0;

e192:  - b19 + b21 - b32 <= 0;

e193:  - b19 + b22 - b33 <= 0;

e194:  - b19 + b23 - b34 <= 0;

e195:  - b19 + b24 - b35 <= 0;

e196:  - b20 + b21 - b36 <= 0;

e197:  - b20 + b22 - b37 <= 0;

e198:  - b20 + b23 - b38 <= 0;

e199:  - b20 + b24 - b39 <= 0;

e200:  - b21 + b22 - b40 <= 0;

e201:  - b21 + b23 - b41 <= 0;

e202:  - b21 + b24 - b42 <= 0;

e203:  - b22 + b23 - b43 <= 0;

e204:  - b22 + b24 - b44 <= 0;

e205:  - b23 + b24 - b45 <= 0;

e206:  - b25 + b26 - b31 <= 0;

e207:  - b25 + b27 - b32 <= 0;

e208:  - b25 + b28 - b33 <= 0;

e209:  - b25 + b29 - b34 <= 0;

e210:  - b25 + b30 - b35 <= 0;

e211:  - b26 + b27 - b36 <= 0;

e212:  - b26 + b28 - b37 <= 0;

e213:  - b26 + b29 - b38 <= 0;

e214:  - b26 + b30 - b39 <= 0;

e215:  - b27 + b28 - b40 <= 0;

e216:  - b27 + b29 - b41 <= 0;

e217:  - b27 + b30 - b42 <= 0;

e218:  - b28 + b29 - b43 <= 0;

e219:  - b28 + b30 - b44 <= 0;

e220:  - b29 + b30 - b45 <= 0;

e221:  - b31 + b32 - b36 <= 0;

e222:  - b31 + b33 - b37 <= 0;

e223:  - b31 + b34 - b38 <= 0;

e224:  - b31 + b35 - b39 <= 0;

e225:  - b32 + b33 - b40 <= 0;

e226:  - b32 + b34 - b41 <= 0;

e227:  - b32 + b35 - b42 <= 0;

e228:  - b33 + b34 - b43 <= 0;

e229:  - b33 + b35 - b44 <= 0;

e230:  - b34 + b35 - b45 <= 0;

e231:  - b36 + b37 - b40 <= 0;

e232:  - b36 + b38 - b41 <= 0;

e233:  - b36 + b39 - b42 <= 0;

e234:  - b37 + b38 - b43 <= 0;

e235:  - b37 + b39 - b44 <= 0;

e236:  - b38 + b39 - b45 <= 0;

e237:  - b40 + b41 - b43 <= 0;

e238:  - b40 + b42 - b44 <= 0;

e239:  - b41 + b42 - b45 <= 0;

e240:  - b43 + b44 - b45 <= 0;

e241:  - b46 + b47 + b48 <= 1;

e242:    b48 - b49 + b50 <= 1;

e243:    b48 - b51 + b52 <= 1;

e244:    b48 - b53 + b54 <= 1;

e245:    b48 - b55 + b56 <= 1;

e246:    b48 - b57 + b58 <= 1;

e247:    b48 - b59 + b60 <= 1;

e248:    b48 - b61 + b62 <= 1;

e249:    b46 - b49 + b63 <= 1;

e250:    b46 - b51 + b64 <= 1;

e251:    b46 - b53 + b65 <= 1;

e252:    b46 - b55 + b66 <= 1;

e253:    b46 - b57 + b67 <= 1;

e254:    b46 - b59 + b68 <= 1;

e255:    b46 - b61 + b69 <= 1;

e256:    b49 - b51 + b70 <= 1;

e257:    b49 - b53 + b71 <= 1;

e258:    b49 - b55 + b72 <= 1;

e259:    b49 - b57 + b73 <= 1;

e260:    b49 - b59 + b74 <= 1;

e261:    b49 - b61 + b75 <= 1;

e262:    b51 - b53 + b76 <= 1;

e263:    b51 - b55 + b77 <= 1;

e264:    b51 - b57 + b78 <= 1;

e265:    b51 - b59 + b79 <= 1;

e266:    b51 - b61 + b80 <= 1;

e267:    b53 - b55 + b81 <= 1;

e268:    b53 - b57 + b82 <= 1;

e269:    b53 - b59 + b83 <= 1;

e270:    b53 - b61 + b84 <= 1;

e271:    b55 - b57 + b85 <= 1;

e272:    b55 - b59 + b86 <= 1;

e273:    b55 - b61 + b87 <= 1;

e274:    b57 - b59 + b88 <= 1;

e275:    b57 - b61 + b89 <= 1;

e276:    b59 - b61 + b90 <= 1;

e277:    b47 - b50 + b63 <= 1;

e278:    b47 - b52 + b64 <= 1;

e279:    b47 - b54 + b65 <= 1;

e280:    b47 - b56 + b66 <= 1;

e281:    b47 - b58 + b67 <= 1;

e282:    b47 - b60 + b68 <= 1;

e283:    b47 - b62 + b69 <= 1;

e284:    b50 - b52 + b70 <= 1;

e285:    b50 - b54 + b71 <= 1;

e286:    b50 - b56 + b72 <= 1;

e287:    b50 - b58 + b73 <= 1;

e288:    b50 - b60 + b74 <= 1;

e289:    b50 - b62 + b75 <= 1;

e290:    b52 - b54 + b76 <= 1;

e291:    b52 - b56 + b77 <= 1;

e292:    b52 - b58 + b78 <= 1;

e293:    b52 - b60 + b79 <= 1;

e294:    b52 - b62 + b80 <= 1;

e295:    b54 - b56 + b81 <= 1;

e296:    b54 - b58 + b82 <= 1;

e297:    b54 - b60 + b83 <= 1;

e298:    b54 - b62 + b84 <= 1;

e299:    b56 - b58 + b85 <= 1;

e300:    b56 - b60 + b86 <= 1;

e301:    b56 - b62 + b87 <= 1;

e302:    b58 - b60 + b88 <= 1;

e303:    b58 - b62 + b89 <= 1;

e304:    b60 - b62 + b90 <= 1;

e305:    b63 - b64 + b70 <= 1;

e306:    b63 - b65 + b71 <= 1;

e307:    b63 - b66 + b72 <= 1;

e308:    b63 - b67 + b73 <= 1;

e309:    b63 - b68 + b74 <= 1;

e310:    b63 - b69 + b75 <= 1;

e311:    b64 - b65 + b76 <= 1;

e312:    b64 - b66 + b77 <= 1;

e313:    b64 - b67 + b78 <= 1;

e314:    b64 - b68 + b79 <= 1;

e315:    b64 - b69 + b80 <= 1;

e316:    b65 - b66 + b81 <= 1;

e317:    b65 - b67 + b82 <= 1;

e318:    b65 - b68 + b83 <= 1;

e319:    b65 - b69 + b84 <= 1;

e320:    b66 - b67 + b85 <= 1;

e321:    b66 - b68 + b86 <= 1;

e322:    b66 - b69 + b87 <= 1;

e323:    b67 - b68 + b88 <= 1;

e324:    b67 - b69 + b89 <= 1;

e325:    b68 - b69 + b90 <= 1;

e326:    b70 - b71 + b76 <= 1;

e327:    b70 - b72 + b77 <= 1;

e328:    b70 - b73 + b78 <= 1;

e329:    b70 - b74 + b79 <= 1;

e330:    b70 - b75 + b80 <= 1;

e331:    b71 - b72 + b81 <= 1;

e332:    b71 - b73 + b82 <= 1;

e333:    b71 - b74 + b83 <= 1;

e334:    b71 - b75 + b84 <= 1;

e335:    b72 - b73 + b85 <= 1;

e336:    b72 - b74 + b86 <= 1;

e337:    b72 - b75 + b87 <= 1;

e338:    b73 - b74 + b88 <= 1;

e339:    b73 - b75 + b89 <= 1;

e340:    b74 - b75 + b90 <= 1;

e341:    b76 - b77 + b81 <= 1;

e342:    b76 - b78 + b82 <= 1;

e343:    b76 - b79 + b83 <= 1;

e344:    b76 - b80 + b84 <= 1;

e345:    b77 - b78 + b85 <= 1;

e346:    b77 - b79 + b86 <= 1;

e347:    b77 - b80 + b87 <= 1;

e348:    b78 - b79 + b88 <= 1;

e349:    b78 - b80 + b89 <= 1;

e350:    b79 - b80 + b90 <= 1;

e351:    b81 - b82 + b85 <= 1;

e352:    b81 - b83 + b86 <= 1;

e353:    b81 - b84 + b87 <= 1;

e354:    b82 - b83 + b88 <= 1;

e355:    b82 - b84 + b89 <= 1;

e356:    b83 - b84 + b90 <= 1;

e357:    b85 - b86 + b88 <= 1;

e358:    b85 - b87 + b89 <= 1;

e359:    b86 - b87 + b90 <= 1;

e360:    b88 - b89 + b90 <= 1;

e361:    b46 - b47 - b48 <= 0;

e362:  - b48 + b49 - b50 <= 0;

e363:  - b48 + b51 - b52 <= 0;

e364:  - b48 + b53 - b54 <= 0;

e365:  - b48 + b55 - b56 <= 0;

e366:  - b48 + b57 - b58 <= 0;

e367:  - b48 + b59 - b60 <= 0;

e368:  - b48 + b61 - b62 <= 0;

e369:  - b46 + b49 - b63 <= 0;

e370:  - b46 + b51 - b64 <= 0;

e371:  - b46 + b53 - b65 <= 0;

e372:  - b46 + b55 - b66 <= 0;

e373:  - b46 + b57 - b67 <= 0;

e374:  - b46 + b59 - b68 <= 0;

e375:  - b46 + b61 - b69 <= 0;

e376:  - b49 + b51 - b70 <= 0;

e377:  - b49 + b53 - b71 <= 0;

e378:  - b49 + b55 - b72 <= 0;

e379:  - b49 + b57 - b73 <= 0;

e380:  - b49 + b59 - b74 <= 0;

e381:  - b49 + b61 - b75 <= 0;

e382:  - b51 + b53 - b76 <= 0;

e383:  - b51 + b55 - b77 <= 0;

e384:  - b51 + b57 - b78 <= 0;

e385:  - b51 + b59 - b79 <= 0;

e386:  - b51 + b61 - b80 <= 0;

e387:  - b53 + b55 - b81 <= 0;

e388:  - b53 + b57 - b82 <= 0;

e389:  - b53 + b59 - b83 <= 0;

e390:  - b53 + b61 - b84 <= 0;

e391:  - b55 + b57 - b85 <= 0;

e392:  - b55 + b59 - b86 <= 0;

e393:  - b55 + b61 - b87 <= 0;

e394:  - b57 + b59 - b88 <= 0;

e395:  - b57 + b61 - b89 <= 0;

e396:  - b59 + b61 - b90 <= 0;

e397:  - b47 + b50 - b63 <= 0;

e398:  - b47 + b52 - b64 <= 0;

e399:  - b47 + b54 - b65 <= 0;

e400:  - b47 + b56 - b66 <= 0;

e401:  - b47 + b58 - b67 <= 0;

e402:  - b47 + b60 - b68 <= 0;

e403:  - b47 + b62 - b69 <= 0;

e404:  - b50 + b52 - b70 <= 0;

e405:  - b50 + b54 - b71 <= 0;

e406:  - b50 + b56 - b72 <= 0;

e407:  - b50 + b58 - b73 <= 0;

e408:  - b50 + b60 - b74 <= 0;

e409:  - b50 + b62 - b75 <= 0;

e410:  - b52 + b54 - b76 <= 0;

e411:  - b52 + b56 - b77 <= 0;

e412:  - b52 + b58 - b78 <= 0;

e413:  - b52 + b60 - b79 <= 0;

e414:  - b52 + b62 - b80 <= 0;

e415:  - b54 + b56 - b81 <= 0;

e416:  - b54 + b58 - b82 <= 0;

e417:  - b54 + b60 - b83 <= 0;

e418:  - b54 + b62 - b84 <= 0;

e419:  - b56 + b58 - b85 <= 0;

e420:  - b56 + b60 - b86 <= 0;

e421:  - b56 + b62 - b87 <= 0;

e422:  - b58 + b60 - b88 <= 0;

e423:  - b58 + b62 - b89 <= 0;

e424:  - b60 + b62 - b90 <= 0;

e425:  - b63 + b64 - b70 <= 0;

e426:  - b63 + b65 - b71 <= 0;

e427:  - b63 + b66 - b72 <= 0;

e428:  - b63 + b67 - b73 <= 0;

e429:  - b63 + b68 - b74 <= 0;

e430:  - b63 + b69 - b75 <= 0;

e431:  - b64 + b65 - b76 <= 0;

e432:  - b64 + b66 - b77 <= 0;

e433:  - b64 + b67 - b78 <= 0;

e434:  - b64 + b68 - b79 <= 0;

e435:  - b64 + b69 - b80 <= 0;

e436:  - b65 + b66 - b81 <= 0;

e437:  - b65 + b67 - b82 <= 0;

e438:  - b65 + b68 - b83 <= 0;

e439:  - b65 + b69 - b84 <= 0;

e440:  - b66 + b67 - b85 <= 0;

e441:  - b66 + b68 - b86 <= 0;

e442:  - b66 + b69 - b87 <= 0;

e443:  - b67 + b68 - b88 <= 0;

e444:  - b67 + b69 - b89 <= 0;

e445:  - b68 + b69 - b90 <= 0;

e446:  - b70 + b71 - b76 <= 0;

e447:  - b70 + b72 - b77 <= 0;

e448:  - b70 + b73 - b78 <= 0;

e449:  - b70 + b74 - b79 <= 0;

e450:  - b70 + b75 - b80 <= 0;

e451:  - b71 + b72 - b81 <= 0;

e452:  - b71 + b73 - b82 <= 0;

e453:  - b71 + b74 - b83 <= 0;

e454:  - b71 + b75 - b84 <= 0;

e455:  - b72 + b73 - b85 <= 0;

e456:  - b72 + b74 - b86 <= 0;

e457:  - b72 + b75 - b87 <= 0;

e458:  - b73 + b74 - b88 <= 0;

e459:  - b73 + b75 - b89 <= 0;

e460:  - b74 + b75 - b90 <= 0;

e461:  - b76 + b77 - b81 <= 0;

e462:  - b76 + b78 - b82 <= 0;

e463:  - b76 + b79 - b83 <= 0;

e464:  - b76 + b80 - b84 <= 0;

e465:  - b77 + b78 - b85 <= 0;

e466:  - b77 + b79 - b86 <= 0;

e467:  - b77 + b80 - b87 <= 0;

e468:  - b78 + b79 - b88 <= 0;

e469:  - b78 + b80 - b89 <= 0;

e470:  - b79 + b80 - b90 <= 0;

e471:  - b81 + b82 - b85 <= 0;

e472:  - b81 + b83 - b86 <= 0;

e473:  - b81 + b84 - b87 <= 0;

e474:  - b82 + b83 - b88 <= 0;

e475:  - b82 + b84 - b89 <= 0;

e476:  - b83 + b84 - b90 <= 0;

e477:  - b85 + b86 - b88 <= 0;

e478:  - b85 + b87 - b89 <= 0;

e479:  - b86 + b87 - b90 <= 0;

e480:  - b88 + b89 - b90 <= 0;

e481: b1 - 2*b1*b52 + b52 - 2*b1*b56 - b56 + 2*b1*b76 + 2*b76 + 2*b1*b77 - b77
       - 2*b1*b81 - 3*b81 - 2*b2*b52 + b2 - 2*b2*b56 - 2*b2*b64 - 7*b64 - 2*b2*
      b66 - 8*b66 - 2*b2*b77 + 2*b2*b78 + 4*b78 + 2*b2*b79 + 3*b79 + 2*b2*b85
       + 5*b85 + 2*b2*b86 + 4*b86 - 2*b3*b47 + 2*b3 + 8*b47 - 2*b3*b52 + 2*b3*
      b54 + 3*b54 + 2*b3*b56 - 2*b3*b58 + 6*b58 - 2*b3*b60 + 3*b60 + 2*b3*b65
       + b65 + 2*b3*b66 + 2*b3*b76 + 2*b3*b77 - 2*b3*b82 + b82 - 2*b3*b83 - 2*
      b83 - 2*b3*b85 - 2*b3*b86 - 2*b4*b47 + b4 - 2*b4*b50 + 9*b50 - 2*b4*b52
       + 2*b4*b54 + 2*b4*b56 - 2*b4*b58 - 2*b4*b62 + 12*b62 + 2*b4*b65 + 2*b4*
      b66 + 2*b4*b71 + b71 + 2*b4*b72 - 10*b72 + 2*b4*b76 + 2*b4*b77 - 2*b4*b82
       - 2*b4*b84 + 3*b84 - 2*b4*b85 - 2*b4*b87 + 11*b87 - 2*b5*b50 + 2*b5*b60
       - 2*b5*b62 - 2*b5*b63 + 4*b63 + 2*b5*b68 - 3*b68 - 2*b5*b69 + 11*b69 + 2
      *b5*b70 - 10*b70 + 2*b5*b73 - 2*b73 + 2*b5*b74 - 5*b74 + 2*b5*b79 - 2*b5*
      b80 + 10*b80 + 2*b5*b88 - 2*b88 - 2*b5*b89 + 5*b89 - 2*b5*b90 + 9*b90 - 2
      *b6*b47 + 3*b6 - 2*b6*b50 - 2*b6*b56 - 2*b6*b60 + 2*b6*b65 + 2*b6*b66 + 2
      *b6*b71 + 2*b6*b72 - 2*b6*b81 - 2*b6*b83 - 2*b6*b86 - 2*b7*b47 + 2*b7 - 2
      *b7*b50 - 2*b7*b56 - 2*b7*b60 - 2*b7*b63 + 2*b7*b64 - 2*b7*b66 + 2*b7*b67
       + b67 + 2*b7*b70 + 2*b7*b73 + 2*b7*b74 - 2*b7*b77 - 2*b7*b79 + 2*b7*b85
       + 2*b7*b86 - 2*b7*b88 - 2*b8*b50 + 2*b8 - 2*b8*b60 + 2*b8*b71 + 2*b8*b72
       - 2*b8*b83 - 2*b8*b86 - 2*b9*b50 + 3*b9 - 2*b9*b60 - 2*b9*b63 - 2*b9*b68
       + 2*b9*b70 + 2*b9*b73 + 2*b9*b74 - 2*b9*b79 - 2*b9*b88 - 2*b10*b47 - 3*
      b10 + 2*b10*b56 + 2*b10*b65 + 2*b10*b66 + 2*b10*b81 + 2*b11*b52 - 5*b11
       - 2*b11*b54 + 2*b11*b58 + 2*b11*b60 + 2*b11*b64 - 2*b11*b65 + 2*b11*b67
       + 2*b11*b68 - 2*b11*b76 + 2*b11*b82 + 2*b11*b83 - 2*b12*b47 + 9*b12 - 2*
      b12*b50 - 2*b12*b56 - 2*b12*b58 - 2*b12*b60 - 2*b12*b62 + 2*b12*b65 + 2*
      b12*b66 + 2*b12*b71 + 2*b12*b72 - 2*b12*b81 - 2*b12*b82 - 2*b12*b83 - 2*
      b12*b84 - 2*b12*b85 - 2*b12*b86 - 2*b12*b87 - 2*b13*b47 + 9*b13 - 2*b13*
      b50 - 2*b13*b56 - 2*b13*b58 - 2*b13*b60 - 2*b13*b62 - 2*b13*b63 + 2*b13*
      b64 - 2*b13*b66 - 2*b13*b69 + 2*b13*b70 + 2*b13*b73 + 2*b13*b74 - 2*b13*
      b77 - 2*b13*b78 - 2*b13*b79 - 2*b13*b80 + 2*b13*b85 + 2*b13*b86 - 2*b13*
      b89 - 2*b13*b90 - 2*b14*b47 - 2*b14 - 2*b14*b50 - 2*b14*b52 + 2*b14*b54
       + 2*b14*b56 - 2*b14*b62 + 2*b14*b65 + 2*b14*b66 + 2*b14*b71 + 2*b14*b72
       + 2*b14*b76 + 2*b14*b77 - 2*b14*b84 - 2*b14*b87 - 2*b15*b50 - 2*b15 + 2*
      b15*b58 + 2*b15*b60 - 2*b15*b62 - 2*b15*b63 + 2*b15*b67 + 2*b15*b68 - 2*
      b15*b69 + 2*b15*b70 + 2*b15*b73 + 2*b15*b74 + 2*b15*b78 + 2*b15*b79 - 2*
      b15*b80 - 2*b15*b89 - 2*b15*b90 + 2*b16*b48 + 3*b16 - 5*b48 + 2*b16*b53
       - 2*b53 - 2*b16*b54 + 2*b16*b55 - 4*b55 - 2*b16*b58 - 2*b16*b62 + 2*b16*
      b81 - 2*b16*b82 - 2*b16*b84 - 2*b16*b85 - 2*b16*b87 + 2*b17*b46 + 3*b17
       - 6*b46 + 2*b17*b48 + 2*b17*b51 - 4*b51 - 2*b17*b54 + 2*b17*b57 - 3*b57
       - 2*b17*b58 + 2*b17*b59 - 4*b59 - 2*b17*b62 - 2*b17*b65 - 2*b17*b67 - 2*
      b17*b69 - 2*b17*b76 - 2*b17*b78 - 2*b17*b80 + 2*b17*b82 + 2*b17*b83 + 2*
      b17*b88 - 2*b17*b89 - 2*b17*b90 + 2*b18*b52 - 3*b18 + 2*b18*b56 + 2*b18*
      b64 + 2*b18*b66 + 2*b18*b70 + 2*b18*b72 + 2*b18*b77 - 2*b18*b78 - 2*b18*
      b80 - 2*b18*b85 - 2*b18*b87 + 2*b19*b64 - b19 + 2*b19*b66 + 2*b19*b70 + 2
      *b19*b72 - 2*b19*b77 - 2*b19*b79 - 2*b19*b86 + 2*b20*b70 + 2*b20*b72 - 2*
      b20*b79 - 2*b20*b86 + 2*b21*b52 - 4*b21 + 2*b21*b56 + 2*b21*b64 + 2*b21*
      b66 - 2*b21*b76 + 2*b21*b81 + 2*b22*b64 + 3*b22 + 2*b22*b66 + 2*b22*b70
       + 2*b22*b72 - 2*b22*b77 - 2*b22*b78 - 2*b22*b79 - 2*b22*b80 - 2*b22*b85
       - 2*b22*b86 - 2*b22*b87 + 2*b23*b52 - 5*b23 + 2*b23*b56 + 2*b23*b64 + 2*
      b23*b66 + 2*b23*b70 + 2*b23*b72 + 2*b23*b77 - 2*b23*b80 - 2*b23*b87 + 2*
      b24*b51 + 2*b24 + 2*b24*b55 - 2*b24*b76 - 2*b24*b78 - 2*b24*b80 + 2*b24*
      b81 - 2*b24*b85 - 2*b24*b87 - 2*b25*b47 + 2*b25 - 2*b25*b50 - 2*b25*b56
       - 2*b25*b60 + 2*b25*b64 - 2*b25*b66 + 2*b25*b67 - 2*b25*b68 + 2*b25*b69
       + 2*b25*b70 - 2*b25*b72 + 2*b25*b73 - 2*b25*b74 + 2*b25*b75 + 7*b75 - 2*
      b25*b77 - 2*b25*b79 + 2*b25*b85 + 2*b25*b87 - 2*b25*b88 + 2*b25*b90 - 2*
      b26*b50 + 3*b26 - 2*b26*b60 - 2*b26*b63 - 2*b26*b68 + 2*b26*b70 + 2*b26*
      b73 - 2*b26*b74 + 2*b26*b75 - 2*b26*b79 - 2*b26*b88 + 2*b26*b90 + 2*b27*
      b50 - 6*b27 + 2*b27*b52 - 2*b27*b54 + 2*b27*b58 + 2*b27*b62 + 2*b27*b63
       + 2*b27*b64 - 2*b27*b65 + 2*b27*b67 + 2*b27*b69 - 2*b27*b71 - 2*b27*b76
       + 2*b27*b82 + 2*b27*b84 - 2*b28*b47 + 10*b28 - 2*b28*b50 - 2*b28*b56 - 2
      *b28*b58 - 2*b28*b60 - 2*b28*b62 + 2*b28*b64 - 2*b28*b66 - 2*b28*b68 + 2*
      b28*b70 - 2*b28*b72 - 2*b28*b74 - 2*b28*b77 - 2*b28*b78 - 2*b28*b79 - 2*
      b28*b80 + 2*b28*b85 + 2*b28*b87 - 2*b28*b88 + 2*b28*b90 + 2*b29*b58 - 3*
      b29 + 2*b29*b67 + 2*b29*b73 + 2*b29*b78 - 2*b29*b89 + 2*b30*b46 + 4*b30
       + 2*b30*b48 + 2*b30*b49 - 5*b49 + 2*b30*b51 - 2*b30*b54 + 2*b30*b57 - 2*
      b30*b58 + 2*b30*b61 - 3*b61 - 2*b30*b62 - 2*b30*b65 - 2*b30*b67 - 2*b30*
      b69 - 2*b30*b71 - 2*b30*b73 - 2*b30*b75 - 2*b30*b76 - 2*b30*b78 - 2*b30*
      b80 + 2*b30*b82 + 2*b30*b84 - 2*b31*b63 + 2*b31 - 2*b31*b68 + 2*b31*b72
       - 2*b31*b86 + 2*b32*b47 - 7*b32 + 2*b32*b50 + 2*b32*b56 + 2*b32*b60 + 2*
      b32*b63 - 2*b32*b65 + 2*b32*b66 + 2*b32*b68 - 2*b32*b71 + 2*b32*b81 + 2*
      b32*b83 - 2*b33*b67 + 6*b33 - 2*b33*b69 - 2*b33*b73 - 2*b33*b75 - 2*b33*
      b85 - 2*b33*b87 + 2*b33*b88 - 2*b33*b90 + 2*b34*b47 - 4*b34 + 2*b34*b50
       + 2*b34*b56 + 2*b34*b60 - 2*b34*b64 + 2*b34*b66 + 2*b34*b68 - 2*b34*b69
       - 2*b34*b70 + 2*b34*b72 + 2*b34*b74 - 2*b34*b75 + 2*b34*b77 + 2*b34*b79
       - 2*b34*b87 - 2*b34*b90 + 2*b35*b46 + 2*b35 + 2*b35*b49 + 2*b35*b55 + 2*
      b35*b59 - 2*b35*b65 - 2*b35*b67 - 2*b35*b69 - 2*b35*b71 - 2*b35*b73 - 2*
      b35*b75 + 2*b35*b81 + 2*b35*b83 - 2*b35*b85 - 2*b35*b87 + 2*b35*b88 - 2*
      b35*b90 + 2*b36*b50 - 4*b36 + 2*b36*b60 + 2*b36*b63 + 2*b36*b68 - 2*b36*
      b71 + 2*b36*b83 + 2*b37*b63 + 2*b37*b68 - 2*b37*b72 - 2*b37*b73 - 2*b37*
      b75 + 2*b37*b86 + 2*b37*b88 - 2*b37*b90 + 2*b38*b50 - 3*b38 + 2*b38*b60
       + 2*b38*b63 + 2*b38*b68 - 2*b38*b70 + 2*b38*b74 - 2*b38*b75 + 2*b38*b79
       - 2*b38*b90 + 2*b39*b49 + 2*b39*b59 - 2*b39*b71 - 2*b39*b73 - 2*b39*b75
       + 2*b39*b83 + 2*b39*b88 - 2*b39*b90 - 2*b40*b47 + 13*b40 - 2*b40*b50 - 2
      *b40*b56 - 2*b40*b58 - 2*b40*b60 - 2*b40*b62 - 2*b40*b63 + 2*b40*b65 - 2*
      b40*b66 - 2*b40*b67 - 2*b40*b68 - 2*b40*b69 + 2*b40*b71 - 2*b40*b81 - 2*
      b40*b82 - 2*b40*b83 - 2*b40*b84 - 2*b41*b50 + 3*b41 - 2*b41*b52 + 2*b41*
      b54 - 2*b41*b62 - 2*b41*b63 - 2*b41*b64 + 2*b41*b65 - 2*b41*b69 + 2*b41*
      b71 + 2*b41*b76 - 2*b41*b84 + 2*b42*b46 + 5*b42 + 2*b42*b48 + 2*b42*b53
       - 2*b42*b54 - 2*b42*b58 - 2*b42*b62 - 2*b42*b65 - 2*b42*b67 - 2*b42*b69
       - 2*b42*b82 - 2*b42*b84 + 2*b43*b47 - 11*b43 + 2*b43*b50 + 2*b43*b56 + 2
      *b43*b58 + 2*b43*b60 + 2*b43*b62 - 2*b43*b64 + 2*b43*b66 + 2*b43*b67 + 2*
      b43*b68 - 2*b43*b70 + 2*b43*b72 + 2*b43*b73 + 2*b43*b74 + 2*b43*b77 + 2*
      b43*b78 + 2*b43*b79 + 2*b43*b80 - 2*b43*b87 - 2*b43*b89 - 2*b43*b90 + 2*
      b44*b46 - 2*b44 + 2*b44*b49 + 2*b44*b55 + 2*b44*b57 + 2*b44*b59 + 2*b44*
      b61 - 2*b44*b65 - 2*b44*b67 - 2*b44*b69 - 2*b44*b71 - 2*b44*b73 - 2*b44*
      b75 + 2*b44*b81 + 2*b44*b82 + 2*b44*b83 + 2*b44*b84 - 2*b44*b85 - 2*b44*
      b87 + 2*b44*b88 - 2*b44*b90 + 2*b45*b46 + 5*b45 + 2*b45*b48 + 2*b45*b49
       + 2*b45*b51 - 2*b45*b54 - 2*b45*b58 + 2*b45*b61 - 2*b45*b62 - 2*b45*b65
       - 2*b45*b67 - 2*b45*b69 - 2*b45*b71 - 2*b45*b73 - 2*b45*b75 - 2*b45*b76
       - 2*b45*b78 - 2*b45*b80 + 2*b45*b84 + 2*b45*b89 + x91 >= 338;