#  MINLP written by GAMS Convert at 01/12/18 13:31:27
#  
#  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       47       44        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 x45 >= 0, <= 1;
var x46 >= 0, <= 1;
var x47 >= 0, <= 1;
var x48 >= 0, <= 1;
var x49 >= 0, <= 1;
var x50 >= 0, <= 1;
var x51 >= 0, <= 1;
var x52 >= 0, <= 1;
var x53 >= 0, <= 1;
var x54 >= 0, <= 1;
var x55 >= 0, <= 1;
var x56 >= 0, <= 1;
var x57 >= 0, <= 1;
var x58 >= 0, <= 1;
var x59 >= 0, <= 1;
var x60 >= 0, <= 1;
var x61 >= 0, <= 1;
var x62 >= 0, <= 1;
var x63 >= 0, <= 1;
var x64 >= 0, <= 1;
var x65 >= 0, <= 1;
var x66 >= 0, <= 1;
var x67 >= 0, <= 1;
var x68 >= 0, <= 1;
var x69 >= 0, <= 1;
var x70 >= 0, <= 1;
var x71 >= 0, <= 1;
var x72 >= 0, <= 1;
var x73 >= 0, <= 1;
var x74 >= 0, <= 1;
var x75 >= 0, <= 1;
var x76 >= 0, <= 1;
var x77 >= 0, <= 1;
var x78 >= 0, <= 1;
var x79 >= 0, <= 1;
var x80 >= 0, <= 1;
var x81 >= 0, <= 1;
var x82 >= 0, <= 1;
var x83 >= 0, <= 1;
var x84 >= 0, <= 1;
var x85 >= 0, <= 1;
var x86 >= 0, <= 1;
var x87 >= 0, <= 1;
var x88 >= 0, <= 1;
var x89 >= 0, <= 1;
var x90 >= 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 + x45 <= 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 + x45 <= 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 + x45 <= 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 + x45 <= 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 + x45 <= 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 + x45 <= 1;

e117:    b40 - b41 + b43 <= 1;

e118:    b40 - b42 + b44 <= 1;

e119:    b41 - b42 + x45 <= 1;

e120:    b43 - b44 + x45 <= 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 - x45 <= 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 - x45 <= 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 - x45 <= 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 - x45 <= 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 - x45 <= 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 - x45 <= 0;

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

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

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

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

e241:  - x46 + x47 + x48 <= 1;

e242:    x48 - x49 + x50 <= 1;

e243:    x48 - x51 + x52 <= 1;

e244:    x48 - x53 + x54 <= 1;

e245:    x48 - x55 + x56 <= 1;

e246:    x48 - x57 + x58 <= 1;

e247:    x48 - x59 + x60 <= 1;

e248:    x48 - x61 + x62 <= 1;

e249:    x46 - x49 + x63 <= 1;

e250:    x46 - x51 + x64 <= 1;

e251:    x46 - x53 + x65 <= 1;

e252:    x46 - x55 + x66 <= 1;

e253:    x46 - x57 + x67 <= 1;

e254:    x46 - x59 + x68 <= 1;

e255:    x46 - x61 + x69 <= 1;

e256:    x49 - x51 + x70 <= 1;

e257:    x49 - x53 + x71 <= 1;

e258:    x49 - x55 + x72 <= 1;

e259:    x49 - x57 + x73 <= 1;

e260:    x49 - x59 + x74 <= 1;

e261:    x49 - x61 + x75 <= 1;

e262:    x51 - x53 + x76 <= 1;

e263:    x51 - x55 + x77 <= 1;

e264:    x51 - x57 + x78 <= 1;

e265:    x51 - x59 + x79 <= 1;

e266:    x51 - x61 + x80 <= 1;

e267:    x53 - x55 + x81 <= 1;

e268:    x53 - x57 + x82 <= 1;

e269:    x53 - x59 + x83 <= 1;

e270:    x53 - x61 + x84 <= 1;

e271:    x55 - x57 + x85 <= 1;

e272:    x55 - x59 + x86 <= 1;

e273:    x55 - x61 + x87 <= 1;

e274:    x57 - x59 + x88 <= 1;

e275:    x57 - x61 + x89 <= 1;

e276:    x59 - x61 + x90 <= 1;

e277:    x47 - x50 + x63 <= 1;

e278:    x47 - x52 + x64 <= 1;

e279:    x47 - x54 + x65 <= 1;

e280:    x47 - x56 + x66 <= 1;

e281:    x47 - x58 + x67 <= 1;

e282:    x47 - x60 + x68 <= 1;

e283:    x47 - x62 + x69 <= 1;

e284:    x50 - x52 + x70 <= 1;

e285:    x50 - x54 + x71 <= 1;

e286:    x50 - x56 + x72 <= 1;

e287:    x50 - x58 + x73 <= 1;

e288:    x50 - x60 + x74 <= 1;

e289:    x50 - x62 + x75 <= 1;

e290:    x52 - x54 + x76 <= 1;

e291:    x52 - x56 + x77 <= 1;

e292:    x52 - x58 + x78 <= 1;

e293:    x52 - x60 + x79 <= 1;

e294:    x52 - x62 + x80 <= 1;

e295:    x54 - x56 + x81 <= 1;

e296:    x54 - x58 + x82 <= 1;

e297:    x54 - x60 + x83 <= 1;

e298:    x54 - x62 + x84 <= 1;

e299:    x56 - x58 + x85 <= 1;

e300:    x56 - x60 + x86 <= 1;

e301:    x56 - x62 + x87 <= 1;

e302:    x58 - x60 + x88 <= 1;

e303:    x58 - x62 + x89 <= 1;

e304:    x60 - x62 + x90 <= 1;

e305:    x63 - x64 + x70 <= 1;

e306:    x63 - x65 + x71 <= 1;

e307:    x63 - x66 + x72 <= 1;

e308:    x63 - x67 + x73 <= 1;

e309:    x63 - x68 + x74 <= 1;

e310:    x63 - x69 + x75 <= 1;

e311:    x64 - x65 + x76 <= 1;

e312:    x64 - x66 + x77 <= 1;

e313:    x64 - x67 + x78 <= 1;

e314:    x64 - x68 + x79 <= 1;

e315:    x64 - x69 + x80 <= 1;

e316:    x65 - x66 + x81 <= 1;

e317:    x65 - x67 + x82 <= 1;

e318:    x65 - x68 + x83 <= 1;

e319:    x65 - x69 + x84 <= 1;

e320:    x66 - x67 + x85 <= 1;

e321:    x66 - x68 + x86 <= 1;

e322:    x66 - x69 + x87 <= 1;

e323:    x67 - x68 + x88 <= 1;

e324:    x67 - x69 + x89 <= 1;

e325:    x68 - x69 + x90 <= 1;

e326:    x70 - x71 + x76 <= 1;

e327:    x70 - x72 + x77 <= 1;

e328:    x70 - x73 + x78 <= 1;

e329:    x70 - x74 + x79 <= 1;

e330:    x70 - x75 + x80 <= 1;

e331:    x71 - x72 + x81 <= 1;

e332:    x71 - x73 + x82 <= 1;

e333:    x71 - x74 + x83 <= 1;

e334:    x71 - x75 + x84 <= 1;

e335:    x72 - x73 + x85 <= 1;

e336:    x72 - x74 + x86 <= 1;

e337:    x72 - x75 + x87 <= 1;

e338:    x73 - x74 + x88 <= 1;

e339:    x73 - x75 + x89 <= 1;

e340:    x74 - x75 + x90 <= 1;

e341:    x76 - x77 + x81 <= 1;

e342:    x76 - x78 + x82 <= 1;

e343:    x76 - x79 + x83 <= 1;

e344:    x76 - x80 + x84 <= 1;

e345:    x77 - x78 + x85 <= 1;

e346:    x77 - x79 + x86 <= 1;

e347:    x77 - x80 + x87 <= 1;

e348:    x78 - x79 + x88 <= 1;

e349:    x78 - x80 + x89 <= 1;

e350:    x79 - x80 + x90 <= 1;

e351:    x81 - x82 + x85 <= 1;

e352:    x81 - x83 + x86 <= 1;

e353:    x81 - x84 + x87 <= 1;

e354:    x82 - x83 + x88 <= 1;

e355:    x82 - x84 + x89 <= 1;

e356:    x83 - x84 + x90 <= 1;

e357:    x85 - x86 + x88 <= 1;

e358:    x85 - x87 + x89 <= 1;

e359:    x86 - x87 + x90 <= 1;

e360:    x88 - x89 + x90 <= 1;

e361:    x46 - x47 - x48 <= 0;

e362:  - x48 + x49 - x50 <= 0;

e363:  - x48 + x51 - x52 <= 0;

e364:  - x48 + x53 - x54 <= 0;

e365:  - x48 + x55 - x56 <= 0;

e366:  - x48 + x57 - x58 <= 0;

e367:  - x48 + x59 - x60 <= 0;

e368:  - x48 + x61 - x62 <= 0;

e369:  - x46 + x49 - x63 <= 0;

e370:  - x46 + x51 - x64 <= 0;

e371:  - x46 + x53 - x65 <= 0;

e372:  - x46 + x55 - x66 <= 0;

e373:  - x46 + x57 - x67 <= 0;

e374:  - x46 + x59 - x68 <= 0;

e375:  - x46 + x61 - x69 <= 0;

e376:  - x49 + x51 - x70 <= 0;

e377:  - x49 + x53 - x71 <= 0;

e378:  - x49 + x55 - x72 <= 0;

e379:  - x49 + x57 - x73 <= 0;

e380:  - x49 + x59 - x74 <= 0;

e381:  - x49 + x61 - x75 <= 0;

e382:  - x51 + x53 - x76 <= 0;

e383:  - x51 + x55 - x77 <= 0;

e384:  - x51 + x57 - x78 <= 0;

e385:  - x51 + x59 - x79 <= 0;

e386:  - x51 + x61 - x80 <= 0;

e387:  - x53 + x55 - x81 <= 0;

e388:  - x53 + x57 - x82 <= 0;

e389:  - x53 + x59 - x83 <= 0;

e390:  - x53 + x61 - x84 <= 0;

e391:  - x55 + x57 - x85 <= 0;

e392:  - x55 + x59 - x86 <= 0;

e393:  - x55 + x61 - x87 <= 0;

e394:  - x57 + x59 - x88 <= 0;

e395:  - x57 + x61 - x89 <= 0;

e396:  - x59 + x61 - x90 <= 0;

e397:  - x47 + x50 - x63 <= 0;

e398:  - x47 + x52 - x64 <= 0;

e399:  - x47 + x54 - x65 <= 0;

e400:  - x47 + x56 - x66 <= 0;

e401:  - x47 + x58 - x67 <= 0;

e402:  - x47 + x60 - x68 <= 0;

e403:  - x47 + x62 - x69 <= 0;

e404:  - x50 + x52 - x70 <= 0;

e405:  - x50 + x54 - x71 <= 0;

e406:  - x50 + x56 - x72 <= 0;

e407:  - x50 + x58 - x73 <= 0;

e408:  - x50 + x60 - x74 <= 0;

e409:  - x50 + x62 - x75 <= 0;

e410:  - x52 + x54 - x76 <= 0;

e411:  - x52 + x56 - x77 <= 0;

e412:  - x52 + x58 - x78 <= 0;

e413:  - x52 + x60 - x79 <= 0;

e414:  - x52 + x62 - x80 <= 0;

e415:  - x54 + x56 - x81 <= 0;

e416:  - x54 + x58 - x82 <= 0;

e417:  - x54 + x60 - x83 <= 0;

e418:  - x54 + x62 - x84 <= 0;

e419:  - x56 + x58 - x85 <= 0;

e420:  - x56 + x60 - x86 <= 0;

e421:  - x56 + x62 - x87 <= 0;

e422:  - x58 + x60 - x88 <= 0;

e423:  - x58 + x62 - x89 <= 0;

e424:  - x60 + x62 - x90 <= 0;

e425:  - x63 + x64 - x70 <= 0;

e426:  - x63 + x65 - x71 <= 0;

e427:  - x63 + x66 - x72 <= 0;

e428:  - x63 + x67 - x73 <= 0;

e429:  - x63 + x68 - x74 <= 0;

e430:  - x63 + x69 - x75 <= 0;

e431:  - x64 + x65 - x76 <= 0;

e432:  - x64 + x66 - x77 <= 0;

e433:  - x64 + x67 - x78 <= 0;

e434:  - x64 + x68 - x79 <= 0;

e435:  - x64 + x69 - x80 <= 0;

e436:  - x65 + x66 - x81 <= 0;

e437:  - x65 + x67 - x82 <= 0;

e438:  - x65 + x68 - x83 <= 0;

e439:  - x65 + x69 - x84 <= 0;

e440:  - x66 + x67 - x85 <= 0;

e441:  - x66 + x68 - x86 <= 0;

e442:  - x66 + x69 - x87 <= 0;

e443:  - x67 + x68 - x88 <= 0;

e444:  - x67 + x69 - x89 <= 0;

e445:  - x68 + x69 - x90 <= 0;

e446:  - x70 + x71 - x76 <= 0;

e447:  - x70 + x72 - x77 <= 0;

e448:  - x70 + x73 - x78 <= 0;

e449:  - x70 + x74 - x79 <= 0;

e450:  - x70 + x75 - x80 <= 0;

e451:  - x71 + x72 - x81 <= 0;

e452:  - x71 + x73 - x82 <= 0;

e453:  - x71 + x74 - x83 <= 0;

e454:  - x71 + x75 - x84 <= 0;

e455:  - x72 + x73 - x85 <= 0;

e456:  - x72 + x74 - x86 <= 0;

e457:  - x72 + x75 - x87 <= 0;

e458:  - x73 + x74 - x88 <= 0;

e459:  - x73 + x75 - x89 <= 0;

e460:  - x74 + x75 - x90 <= 0;

e461:  - x76 + x77 - x81 <= 0;

e462:  - x76 + x78 - x82 <= 0;

e463:  - x76 + x79 - x83 <= 0;

e464:  - x76 + x80 - x84 <= 0;

e465:  - x77 + x78 - x85 <= 0;

e466:  - x77 + x79 - x86 <= 0;

e467:  - x77 + x80 - x87 <= 0;

e468:  - x78 + x79 - x88 <= 0;

e469:  - x78 + x80 - x89 <= 0;

e470:  - x79 + x80 - x90 <= 0;

e471:  - x81 + x82 - x85 <= 0;

e472:  - x81 + x83 - x86 <= 0;

e473:  - x81 + x84 - x87 <= 0;

e474:  - x82 + x83 - x88 <= 0;

e475:  - x82 + x84 - x89 <= 0;

e476:  - x83 + x84 - x90 <= 0;

e477:  - x85 + x86 - x88 <= 0;

e478:  - x85 + x87 - x89 <= 0;

e479:  - x86 + x87 - x90 <= 0;

e480:  - x88 + x89 - x90 <= 0;

e481: 2*b1*x47 + 2*b1 + 3*x47 - 2*b1*x50 + 17*x50 + 2*b1*x58 + 8*x58 - 2*b1*x62
       + 16*x62 - 2*b1*x63 + 13*x63 - 2*b1*x64 - 2*x64 - 2*b1*x65 + 6*x65 - 2*
      b1*x66 + 4*x66 - 2*b1*x69 + 12*x69 + 2*b1*x70 - 14*x70 + 2*b1*x71 - 2*x71
       + 2*b1*x72 - 6*x72 + 2*b1*x73 - 6*x73 + 2*b1*x78 + 5*x78 - 2*b1*x80 + 12
      *x80 + 2*b1*x82 - 2*x82 - 2*b1*x84 + 3*x84 + 2*b1*x85 + x85 - 2*b1*x87 + 
      6*x87 - 2*b1*x89 + 6*x89 + 2*b2*x47 + 2*b2 - 2*b2*x50 - 2*b2*x54 + 7*x54
       - 2*b2*x56 + 6*x56 + 2*b2*x58 + 2*b2*x60 + 8*x60 - 2*b2*x62 - 2*b2*x63
       - 2*b2*x64 - 2*b2*x65 - 2*b2*x66 - 2*b2*x69 + 2*b2*x70 + 2*b2*x73 + 2*b2
      *x74 - 3*x74 - 2*b2*x76 + 4*x76 - 2*b2*x77 + 5*x77 + 2*b2*x78 + 2*b2*x79
       + 6*x79 - 2*b2*x80 + 2*b2*x82 + 2*b2*x83 - 2*x83 + 2*b2*x85 + 2*b2*x86
       + 2*x86 - 2*b2*x89 - 2*b2*x90 + 3*x90 + 2*b3*x54 + 2*b3 + 2*b3*x56 - 2*
      b3*x60 + 2*b3*x65 + 2*b3*x66 - 2*b3*x68 + 7*x68 + 2*b3*x76 + 2*b3*x77 - 2
      *b3*x79 - 2*b3*x82 - 2*b3*x83 - 2*b3*x85 - 2*b3*x86 - 2*b3*x88 + x88 + 2*
      b4*x46 - 6*b4 - 12*x46 + 2*b4*x48 - 14*x48 - 2*b4*x50 + 2*b4*x51 - 11*x51
       + 2*b4*x53 - 4*x53 + 2*b4*x54 + 2*b4*x55 - 7*x55 + 2*b4*x56 + 2*b4*x57
       - 8*x57 - 2*b4*x62 - 2*b4*x63 + 2*b4*x65 + 2*b4*x66 - 2*b4*x69 + 2*b4*
      x70 + 2*b4*x71 + 2*b4*x72 + 2*b4*x73 + 2*b4*x76 + 2*b4*x77 - 2*b4*x80 - 2
      *b4*x82 - 2*b4*x84 - 2*b4*x85 - 2*b4*x87 - 2*b4*x89 + 2*b5*x46 - 5*b5 + 2
      *b5*x48 - 2*b5*x50 + 2*b5*x51 + 2*b5*x57 + 2*b5*x59 - 6*x59 + 2*b5*x60 - 
      2*b5*x62 - 2*b5*x63 + 2*b5*x68 - 2*b5*x69 + 2*b5*x70 + 2*b5*x73 + 2*b5*
      x74 + 2*b5*x79 - 2*b5*x80 + 2*b5*x88 - 2*b5*x89 - 2*b5*x90 - 2*b6*x47 + 
      10*b6 - 2*b6*x50 - 2*b6*x56 - 2*b6*x60 - 2*b6*x62 - 2*b6*x63 + 2*b6*x64
       + 2*b6*x65 + 2*b6*x67 + 6*x67 - 2*b6*x68 - 2*b6*x69 + 2*b6*x70 + 2*b6*
      x71 + 2*b6*x72 + 2*b6*x73 - 2*b6*x77 - 2*b6*x79 - 2*b6*x80 - 2*b6*x81 - 2
      *x81 - 2*b6*x83 - 2*b6*x84 + 2*b6*x85 - 2*b6*x86 - 2*b6*x87 - 2*b6*x88 - 
      2*b6*x89 - 2*b7*x47 + 7*b7 - 2*b7*x50 - 2*b7*x56 - 2*b7*x60 - 2*b7*x62 - 
      2*b7*x63 + 2*b7*x64 - 2*b7*x66 + 2*b7*x67 - 2*b7*x69 + 2*b7*x70 + 2*b7*
      x73 + 2*b7*x74 - 2*b7*x77 - 2*b7*x79 - 2*b7*x80 + 2*b7*x85 + 2*b7*x86 - 2
      *b7*x88 - 2*b7*x89 - 2*b7*x90 + 2*b8*x46 + 3*b8 + 2*b8*x48 - 2*b8*x50 + 2
      *b8*x51 + 2*b8*x53 + 2*b8*x55 + 2*b8*x57 - 2*b8*x58 - 2*b8*x60 - 2*b8*x63
       - 2*b8*x67 - 2*b8*x68 + 2*b8*x70 + 2*b8*x71 + 2*b8*x72 + 2*b8*x73 - 2*b8
      *x78 - 2*b8*x79 - 2*b8*x82 - 2*b8*x83 - 2*b8*x85 - 2*b8*x86 - 2*b8*x88 + 
      2*b9*x46 + 2*b9*x48 - 2*b9*x50 + 2*b9*x51 + 2*b9*x57 - 2*b9*x58 + 2*b9*
      x59 - 2*b9*x60 - 2*b9*x63 - 2*b9*x67 - 2*b9*x68 + 2*b9*x70 + 2*b9*x73 + 2
      *b9*x74 - 2*b9*x78 - 2*b9*x79 + 2*b10*x52 - 4*b10 + x52 + 2*b10*x58 + 2*
      b10*x64 + 2*b10*x67 - 2*b10*x76 - 2*b10*x77 + 2*b10*x82 + 2*b10*x85 + 2*
      b11*x52 - 4*b11 - 2*b11*x54 - 2*b11*x56 + 2*b11*x58 + 2*b11*x60 + 2*b11*
      x64 - 2*b11*x65 - 2*b11*x66 + 2*b11*x67 + 2*b11*x68 - 2*b11*x76 - 2*b11*
      x77 + 2*b11*x82 + 2*b11*x83 + 2*b11*x85 + 2*b11*x86 - 2*b12*x50 + 10*b12
       + 2*b12*x52 + 2*b12*x54 - 2*b12*x60 - 2*b12*x62 - 2*b12*x63 + 2*b12*x64
       + 2*b12*x65 - 2*b12*x68 - 2*b12*x69 + 2*b12*x70 + 2*b12*x71 + 2*b12*x72
       + 2*b12*x73 - 2*b12*x77 - 2*b12*x78 - 2*b12*x79 - 2*b12*x80 - 2*b12*x81
       - 2*b12*x82 - 2*b12*x83 - 2*b12*x84 - 2*b12*x86 - 2*b12*x87 - 2*b12*x88
       - 2*b12*x89 - 2*b13*x50 + 5*b13 + 2*b13*x52 - 2*b13*x56 - 2*b13*x62 - 2*
      b13*x63 + 2*b13*x64 - 2*b13*x66 - 2*b13*x69 + 2*b13*x70 + 2*b13*x73 + 2*
      b13*x74 - 2*b13*x77 - 2*b13*x78 - 2*b13*x79 - 2*b13*x80 + 2*b13*x85 + 2*
      b13*x86 - 2*b13*x89 - 2*b13*x90 + 2*b14*x46 + b14 + 2*b14*x48 - 2*b14*x50
       + 2*b14*x51 + 2*b14*x53 + 2*b14*x55 + 2*b14*x56 + 2*b14*x57 - 2*b14*x60
       - 2*b14*x62 - 2*b14*x63 + 2*b14*x66 - 2*b14*x68 - 2*b14*x69 + 2*b14*x70
       + 2*b14*x71 + 2*b14*x72 + 2*b14*x73 + 2*b14*x77 - 2*b14*x79 - 2*b14*x80
       + 2*b14*x81 - 2*b14*x83 - 2*b14*x84 - 2*b14*x85 - 2*b14*x86 - 2*b14*x87
       - 2*b14*x88 - 2*b14*x89 + 2*b15*x46 + 2*b15*x48 - 2*b15*x50 + 2*b15*x51
       - 2*b15*x54 + 2*b15*x57 + 2*b15*x59 - 2*b15*x62 - 2*b15*x63 - 2*b15*x65
       - 2*b15*x69 + 2*b15*x70 + 2*b15*x73 + 2*b15*x74 - 2*b15*x76 - 2*b15*x80
       + 2*b15*x82 + 2*b15*x83 - 2*b15*x89 - 2*b15*x90 + 2*b16*x46 + 6*b16 + 2*
      b16*x48 - 2*b16*x50 + 2*b16*x51 - 2*b16*x52 + 2*b16*x53 - 2*b16*x54 + 2*
      b16*x55 - 2*b16*x56 + 2*b16*x57 - 2*b16*x58 - 2*b16*x62 - 2*b16*x63 - 2*
      b16*x64 - 2*b16*x65 - 2*b16*x66 - 2*b16*x67 - 2*b16*x69 + 2*b16*x70 + 2*
      b16*x71 + 2*b16*x72 + 2*b16*x73 - 2*b16*x80 - 2*b16*x84 - 2*b16*x87 - 2*
      b16*x89 + 2*b17*x46 + 3*b17 + 2*b17*x48 - 2*b17*x50 + 2*b17*x51 - 2*b17*
      x52 - 2*b17*x54 - 2*b17*x56 + 2*b17*x57 - 2*b17*x58 + 2*b17*x59 - 2*b17*
      x62 - 2*b17*x63 - 2*b17*x64 - 2*b17*x65 - 2*b17*x66 - 2*b17*x67 - 2*b17*
      x69 + 2*b17*x70 + 2*b17*x73 + 2*b17*x74 - 2*b17*x76 - 2*b17*x77 + 2*b17*
      x79 - 2*b17*x80 + 2*b17*x82 + 2*b17*x83 + 2*b17*x85 + 2*b17*x86 + 2*b17*
      x88 - 2*b17*x89 - 2*b17*x90 - 2*b18*x47 - 10*b18 + 2*b18*x48 + 2*b18*x49
       - 6*x49 + 2*b18*x51 + 2*b18*x53 + 2*b18*x54 + 2*b18*x55 + 2*b18*x56 - 2*
      b18*x58 + 2*b18*x61 - 5*x61 + 2*b18*x63 + 2*b18*x64 + 2*b18*x65 + 2*b18*
      x66 + 2*b18*x69 + 2*b18*x71 + 2*b18*x72 - 2*b18*x73 + 2*b18*x76 + 2*b18*
      x77 - 2*b18*x78 - 2*b18*x82 - 2*b18*x84 - 2*b18*x85 - 2*b18*x87 + 2*b18*
      x89 - 2*b19*x47 + 5*b19 - 2*b19*x50 - 2*b19*x56 - 2*b19*x60 - 2*b19*x62
       + 2*b19*x63 + 2*b19*x64 + 2*b19*x65 + 2*b19*x66 + 2*b19*x69 + 2*b19*x70
       + 2*b19*x71 - 2*b19*x74 - 2*b19*x77 - 2*b19*x79 - 2*b19*x80 - 2*b19*x81
       - 2*b19*x83 - 2*b19*x84 - 2*b19*x86 + 2*b19*x90 + 2*b20*x48 - b20 + 2*
      b20*x49 - 2*b20*x50 + 2*b20*x51 + 2*b20*x53 + 2*b20*x55 - 2*b20*x58 - 2*
      b20*x60 + 2*b20*x61 + 2*b20*x70 + 2*b20*x71 + 2*b20*x72 - 2*b20*x73 - 2*
      b20*x74 + 2*b20*x75 - 2*b20*x78 - 2*b20*x79 - 2*b20*x82 - 2*b20*x83 - 2*
      b20*x85 - 2*b20*x86 + 2*b20*x89 + 2*b20*x90 - 2*b21*x47 - 5*b21 + 2*b21*
      x50 + 2*b21*x52 + 2*b21*x62 + 2*b21*x63 + 2*b21*x64 + 2*b21*x65 + 2*b21*
      x66 + 2*b21*x69 - 2*b21*x71 - 2*b21*x72 - 2*b21*x76 - 2*b21*x77 + 2*b21*
      x84 + 2*b21*x87 - 2*b22*x47 + 4*b22 + 2*b22*x52 + 2*b22*x54 - 2*b22*x58
       - 2*b22*x60 + 2*b22*x63 + 2*b22*x64 + 2*b22*x65 + 2*b22*x66 + 2*b22*x69
       + 2*b22*x70 + 2*b22*x71 - 2*b22*x73 - 2*b22*x74 - 2*b22*x77 - 2*b22*x78
       - 2*b22*x79 - 2*b22*x80 - 2*b22*x81 - 2*b22*x82 - 2*b22*x83 - 2*b22*x84
       - 2*b22*x85 - 2*b22*x86 + 2*b22*x89 + 2*b22*x90 - 2*b23*x47 - 5*b23 + 2*
      b23*x48 + 2*b23*x49 + 2*b23*x51 + 2*b23*x53 + 2*b23*x55 + 2*b23*x56 - 2*
      b23*x58 - 2*b23*x60 + 2*b23*x61 + 2*b23*x63 + 2*b23*x64 + 2*b23*x65 + 2*
      b23*x66 + 2*b23*x69 + 2*b23*x72 - 2*b23*x73 - 2*b23*x74 + 2*b23*x77 - 2*
      b23*x78 - 2*b23*x79 + 2*b23*x81 - 2*b23*x82 - 2*b23*x83 - 2*b23*x85 - 2*
      b23*x86 - 2*b23*x87 + 2*b23*x89 + 2*b23*x90 + 2*b24*x48 + 3*b24 + 2*b24*
      x49 - 2*b24*x50 + 2*b24*x51 - 2*b24*x52 + 2*b24*x53 - 2*b24*x54 + 2*b24*
      x55 - 2*b24*x56 - 2*b24*x58 + 2*b24*x61 - 2*b24*x62 - 2*b24*x73 - 2*b24*
      x78 - 2*b24*x82 - 2*b24*x85 + 2*b24*x89 - 2*b25*x46 + 12*b25 - 2*b25*x47
       - 2*b25*x49 - 2*b25*x50 - 2*b25*x55 - 2*b25*x56 - 2*b25*x59 - 2*b25*x60
       - 2*b25*x61 - 2*b25*x62 + 2*b25*x64 - 2*b25*x66 + 2*b25*x67 - 2*b25*x68
       + 2*b25*x70 - 2*b25*x72 + 2*b25*x73 - 2*b25*x74 - 2*b25*x77 - 2*b25*x79
       - 2*b25*x80 + 2*b25*x85 + 2*b25*x87 - 2*b25*x88 - 2*b25*x89 + 2*b25*x90
       + 2*b26*x46 + 3*b26 + 2*b26*x48 - 2*b26*x50 + 2*b26*x51 - 2*b26*x58 - 2*
      b26*x59 - 2*b26*x60 + 2*b26*x61 - 2*b26*x63 - 2*b26*x67 - 2*b26*x68 + 2*
      b26*x70 - 2*b26*x74 + 2*b26*x75 - 2*b26*x78 - 2*b26*x79 - 2*b26*x88 + 2*
      b26*x89 + 2*b26*x90 - 2*b27*x46 - 2*b27*x48 + 2*b27*x50 + 2*b27*x52 - 2*
      b27*x53 - 2*b27*x54 - 2*b27*x55 - 2*b27*x56 + 2*b27*x58 + 2*b27*x62 + 2*
      b27*x63 + 2*b27*x64 - 2*b27*x65 - 2*b27*x66 + 2*b27*x67 + 2*b27*x69 - 2*
      b27*x71 - 2*b27*x72 - 2*b27*x76 - 2*b27*x77 + 2*b27*x82 + 2*b27*x84 + 2*
      b27*x85 + 2*b27*x87 - 2*b28*x46 + 12*b28 - 2*b28*x48 - 2*b28*x49 + 2*b28*
      x52 - 2*b28*x55 - 2*b28*x56 - 2*b28*x57 - 2*b28*x59 - 2*b28*x60 - 2*b28*
      x61 + 2*b28*x64 - 2*b28*x66 - 2*b28*x68 + 2*b28*x70 - 2*b28*x72 - 2*b28*
      x74 - 2*b28*x77 - 2*b28*x78 - 2*b28*x79 - 2*b28*x80 + 2*b28*x85 + 2*b28*
      x87 - 2*b28*x88 + 2*b28*x90 - 2*b29*x53 + 8*b29 - 2*b29*x54 - 2*b29*x59
       - 2*b29*x60 - 2*b29*x65 - 2*b29*x68 - 2*b29*x71 - 2*b29*x74 - 2*b29*x76
       - 2*b29*x79 + 2*b29*x82 + 2*b29*x84 - 2*b29*x88 + 2*b29*x90 + 2*b30*x46
       + 12*b30 + 2*b30*x48 - 2*b30*x50 - 2*b30*x52 - 2*b30*x53 - 2*b30*x54 - 2
      *b30*x55 - 2*b30*x56 - 2*b30*x58 - 2*b30*x62 - 2*b30*x63 - 2*b30*x64 - 2*
      b30*x65 - 2*b30*x66 - 2*b30*x67 - 2*b30*x69 - 2*b30*x71 - 2*b30*x72 - 2*
      b30*x76 - 2*b30*x77 + 2*b30*x82 + 2*b30*x84 + 2*b30*x85 + 2*b30*x87 + 2*
      b31*x46 - 4*b31 + 2*b31*x49 + 2*b31*x55 + 2*b31*x59 + 2*b31*x61 - 2*b31*
      x63 - 2*b31*x67 - 2*b31*x68 + 2*b31*x72 - 2*b31*x73 + 2*b31*x75 - 2*b31*
      x85 - 2*b31*x86 + 2*b31*x88 + 2*b31*x89 + 2*b31*x90 + 2*b32*x47 - 10*b32
       + 2*b32*x50 + 2*b32*x56 + 2*b32*x60 + 2*b32*x62 + 2*b32*x63 - 2*b32*x65
       + 2*b32*x68 + 2*b32*x69 - 2*b32*x71 - 2*b32*x72 + 2*b32*x81 + 2*b32*x83
       + 2*b32*x84 + 2*b32*x86 + 2*b32*x87 + 2*b33*x47 - 4*b33 + 2*b33*x50 + 2*
      b33*x56 + 2*b33*x60 + 2*b33*x62 - 2*b33*x67 - 2*b33*x73 - 2*b33*x85 + 2*
      b33*x88 + 2*b33*x89 + 2*b34*x46 - 11*b34 + 2*b34*x47 + 2*b34*x49 + 2*b34*
      x50 + 2*b34*x55 + 2*b34*x56 + 2*b34*x59 + 2*b34*x60 + 2*b34*x61 + 2*b34*
      x62 - 2*b34*x64 - 2*b34*x65 + 2*b34*x66 - 2*b34*x67 - 2*b34*x70 - 2*b34*
      x71 + 2*b34*x72 - 2*b34*x73 + 2*b34*x77 + 2*b34*x79 + 2*b34*x80 + 2*b34*
      x81 + 2*b34*x83 + 2*b34*x84 - 2*b34*x85 - 2*b34*x86 - 2*b34*x87 + 2*b34*
      x88 + 2*b34*x89 + 2*b35*x46 - 4*b35 + 2*b35*x49 + 2*b35*x55 + 2*b35*x59
       + 2*b35*x61 - 2*b35*x63 - 2*b35*x64 - 2*b35*x65 - 2*b35*x66 - 2*b35*x67
       - 2*b35*x69 - 2*b35*x70 - 2*b35*x71 - 2*b35*x73 + 2*b35*x74 + 2*b35*x77
       + 2*b35*x79 + 2*b35*x80 + 2*b35*x81 + 2*b35*x83 + 2*b35*x84 - 2*b35*x85
       + 2*b35*x86 + 2*b35*x88 + 2*b35*x89 - 2*b35*x90 - 2*b36*x46 - 4*b36 - 2*
      b36*x48 + 2*b36*x50 - 2*b36*x53 - 2*b36*x55 + 2*b36*x58 + 2*b36*x60 + 2*
      b36*x63 + 2*b36*x67 + 2*b36*x68 - 2*b36*x71 - 2*b36*x72 + 2*b36*x82 + 2*
      b36*x83 + 2*b36*x85 + 2*b36*x86 - 2*b37*x46 + 3*b37 - 2*b37*x48 - 2*b37*
      x49 + 2*b37*x50 - 2*b37*x55 - 2*b37*x57 + 2*b37*x58 - 2*b37*x59 + 2*b37*
      x60 - 2*b37*x61 + 2*b37*x63 + 2*b37*x67 + 2*b37*x68 - 2*b37*x72 - 2*b37*
      x75 + 2*b37*x85 + 2*b37*x86 - 2*b37*x89 - 2*b37*x90 - 2*b38*x46 - 2*b38*
      x48 + 2*b38*x50 - 2*b38*x51 - 2*b38*x53 + 2*b38*x58 + 2*b38*x60 - 2*b38*
      x61 + 2*b38*x63 + 2*b38*x67 + 2*b38*x68 - 2*b38*x70 - 2*b38*x71 - 2*b38*
      x75 + 2*b38*x78 + 2*b38*x79 + 2*b38*x82 + 2*b38*x83 - 2*b38*x89 - 2*b38*
      x90 - 2*b39*x51 + b39 - 2*b39*x53 - 2*b39*x55 + 2*b39*x59 - 2*b39*x61 - 2
      *b39*x70 - 2*b39*x71 - 2*b39*x72 + 2*b39*x74 - 2*b39*x75 + 2*b39*x78 + 2*
      b39*x79 + 2*b39*x82 + 2*b39*x83 + 2*b39*x85 + 2*b39*x86 + 2*b39*x88 - 2*
      b39*x89 - 2*b39*x90 - 2*b40*x50 + 11*b40 + 2*b40*x54 - 2*b40*x58 - 2*b40*
      x60 - 2*b40*x62 - 2*b40*x63 + 2*b40*x65 - 2*b40*x67 - 2*b40*x68 - 2*b40*
      x69 + 2*b40*x71 + 2*b40*x72 - 2*b40*x81 - 2*b40*x82 - 2*b40*x83 - 2*b40*
      x84 - 2*b40*x85 - 2*b40*x86 - 2*b40*x87 + 2*b41*x46 + 5*b41 + 2*b41*x48
       - 2*b41*x50 - 2*b41*x52 + 2*b41*x53 + 2*b41*x55 + 2*b41*x56 - 2*b41*x58
       - 2*b41*x60 - 2*b41*x62 - 2*b41*x63 - 2*b41*x64 + 2*b41*x66 - 2*b41*x67
       - 2*b41*x68 - 2*b41*x69 + 2*b41*x71 + 2*b41*x72 + 2*b41*x76 + 2*b41*x77
       + 2*b41*x81 - 2*b41*x82 - 2*b41*x83 - 2*b41*x84 - 2*b41*x85 - 2*b41*x86
       - 2*b41*x87 + 2*b42*x46 + 8*b42 + 2*b42*x48 - 2*b42*x50 - 2*b42*x52 + 2*
      b42*x53 - 2*b42*x54 + 2*b42*x55 - 2*b42*x56 - 2*b42*x58 - 2*b42*x62 - 2*
      b42*x63 - 2*b42*x64 - 2*b42*x65 - 2*b42*x66 - 2*b42*x67 - 2*b42*x69 + 2*
      b42*x71 + 2*b42*x72 + 2*b42*x76 + 2*b42*x77 - 2*b42*x82 - 2*b42*x84 - 2*
      b42*x85 - 2*b42*x87 + 2*b43*x46 - 9*b43 + 2*b43*x48 + 2*b43*x49 - 2*b43*
      x52 - 2*b43*x54 + 2*b43*x55 + 2*b43*x56 + 2*b43*x57 + 2*b43*x59 + 2*b43*
      x61 - 2*b43*x64 - 2*b43*x65 + 2*b43*x66 - 2*b43*x70 - 2*b43*x71 + 2*b43*
      x72 + 2*b43*x77 + 2*b43*x78 + 2*b43*x79 + 2*b43*x80 + 2*b43*x81 + 2*b43*
      x82 + 2*b43*x83 + 2*b43*x84 - 2*b43*x85 - 2*b43*x86 - 2*b43*x87 + 2*b44*
      x46 - 3*b44 + 2*b44*x48 + 2*b44*x49 - 2*b44*x50 - 2*b44*x52 - 2*b44*x54
       + 2*b44*x55 - 2*b44*x56 + 2*b44*x57 - 2*b44*x58 + 2*b44*x59 + 2*b44*x61
       - 2*b44*x62 - 2*b44*x63 - 2*b44*x64 - 2*b44*x65 - 2*b44*x66 - 2*b44*x67
       - 2*b44*x69 - 2*b44*x70 - 2*b44*x71 + 2*b44*x74 + 2*b44*x77 + 2*b44*x78
       + 2*b44*x79 + 2*b44*x80 + 2*b44*x81 + 2*b44*x82 + 2*b44*x83 + 2*b44*x84
       + 2*b44*x86 + 2*b44*x88 - 2*b44*x90 + 2*x45*x46 + 7*x45 + 2*x45*x48 - 2*
      x45*x50 - 2*x45*x52 - 2*x45*x54 - 2*x45*x55 - 2*x45*x56 - 2*x45*x58 + 2*
      x45*x59 - 2*x45*x62 - 2*x45*x63 - 2*x45*x64 - 2*x45*x65 - 2*x45*x66 - 2*
      x45*x67 - 2*x45*x69 - 2*x45*x72 + 2*x45*x74 - 2*x45*x77 + 2*x45*x79 - 2*
      x45*x81 + 2*x45*x83 + 2*x45*x85 + 2*x45*x86 + 2*x45*x87 + 2*x45*x88 - 2*
      x45*x90 + x91 >= 755;