#  MIQCP written by GAMS Convert at 02/15/18 15:45:48
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        271      181        0       90        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        286      196       90        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       1877     1697      180        0
# 
#  Reformulation has removed 1 variable and 1 equation


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 b91 binary >= 0, <= 1;
var x92;
var x93;
var x94;
var x95;
var x96;
var x97;
var x98;
var x99;
var x100;
var x101;
var x102;
var x103;
var x104;
var x105;
var x106;
var x107 >= 0;
var x108 >= 0;
var x109 >= 0;
var x110 >= 0;
var x111 >= 0;
var x112 >= 0;
var x113 >= 0;
var x114 >= 0;
var x115 >= 0;
var x116 >= 0;
var x117 >= 0;
var x118 >= 0;
var x119 >= 0;
var x120 >= 0;
var x121 >= 0;
var x122 >= 0;
var x123 >= 0;
var x124 >= 0;
var x125 >= 0;
var x126 >= 0;
var x127 >= 0;
var x128 >= 0;
var x129 >= 0;
var x130 >= 0;
var x131 >= 0;
var x132 >= 0;
var x133 >= 0;
var x134 >= 0;
var x135 >= 0;
var x136 >= 0;
var x137 >= 0;
var x138 >= 0;
var x139 >= 0;
var x140 >= 0;
var x141 >= 0;
var x142 >= 0;
var x143 >= 0;
var x144 >= 0;
var x145 >= 0;
var x146 >= 0;
var x147 >= 0;
var x148 >= 0;
var x149 >= 0;
var x150 >= 0;
var x151 >= 0;
var x152 >= 0;
var x153 >= 0;
var x154 >= 0;
var x155 >= 0;
var x156 >= 0;
var x157 >= 0;
var x158 >= 0;
var x159 >= 0;
var x160 >= 0;
var x161 >= 0;
var x162 >= 0;
var x163 >= 0;
var x164 >= 0;
var x165 >= 0;
var x166 >= 0;
var x167 >= 0;
var x168 >= 0;
var x169 >= 0;
var x170 >= 0;
var x171 >= 0;
var x172 >= 0;
var x173 >= 0;
var x174 >= 0;
var x175 >= 0;
var x176 >= 0;
var x177 >= 0;
var x178 >= 0;
var x179 >= 0;
var x180 >= 0;
var x181 >= 0;
var x182 >= 0;
var x183 >= 0;
var x184 >= 0;
var x185 >= 0;
var x186 >= 0;
var x187 >= 0;
var x188 >= 0;
var x189 >= 0;
var x190 >= 0;
var x191 >= 0;
var x192 >= 0;
var x193 >= 0;
var x194 >= 0;
var x195 >= 0;
var x196 >= 0;
var x197;
var x198;
var x199;
var x200;
var x201;
var x202;
var x203;
var x204;
var x205;
var x206;
var x207;
var x208;
var x209;
var x210;
var x211;
var x212;
var x213;
var x214;
var x215;
var x216;
var x217;
var x218;
var x219;
var x220;
var x221;
var x222;
var x223;
var x224;
var x225;
var x226;
var x227;
var x228;
var x229;
var x230;
var x231;
var x232;
var x233;
var x234;
var x235;
var x236;
var x237;
var x238;
var x239;
var x240;
var x241;
var x242;
var x243;
var x244;
var x245;
var x246;
var x247;
var x248;
var x249;
var x250;
var x251;
var x252;
var x253;
var x254;
var x255;
var x256;
var x257;
var x258;
var x259;
var x260;
var x261;
var x262;
var x263;
var x264;
var x265;
var x266;
var x267;
var x268;
var x269;
var x270;
var x271;
var x272;
var x273;
var x274;
var x275;
var x276;
var x277;
var x278;
var x279;
var x280;
var x281;
var x282;
var x283;
var x284;
var x285;
var x286;

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

subject to

e2:  - 66*x92 + 49*x93 - 81*x94 + 73*x95 + 15*x96 + 56*x97 + 38*x98 - 26*x99
     + 74*x100 + 48*x101 - 11*x102 - 29*x103 + 46*x104 - 48*x105 - 21*x106
     - x107 <= 55;

e3:    68*x92 + 14*x93 + 42*x94 - 84*x95 - 9*x96 - 78*x97 + 8*x98 - 22*x99
     + 13*x100 + 91*x101 + 73*x102 - 68*x103 - 45*x104 - 48*x105 + 84*x106
     - x108 <= -13;

e4:    57*x92 - 75*x93 - 84*x94 + 88*x95 - 95*x96 - 70*x97 - 24*x98 - 69*x99
     + 5*x100 + 75*x101 - 14*x102 - 47*x103 - 37*x104 + 53*x105 - 79*x106
     - x109 <= 53;

e5:    40*x92 - 57*x93 + 52*x94 - 18*x95 + 29*x96 + 85*x97 + 37*x99 - 13*x100
     + 21*x101 + 14*x102 + 26*x103 - 7*x104 + 26*x105 - 73*x106 - x110 <= 92;

e6:  - 71*x92 - 11*x93 - 35*x94 + 90*x95 - 29*x96 - 20*x97 - 80*x98 + 90*x99
     + 96*x100 + 14*x101 + 73*x102 - 70*x103 + 81*x104 + 29*x105 - 88*x106
     - x111 <= 90;

e7:    93*x92 + 56*x93 + 60*x94 + 13*x95 - 44*x96 + 92*x97 + 15*x98 - 13*x99
     - 25*x100 + 84*x101 - 95*x102 + 53*x103 + 44*x104 + 17*x105 - 15*x106
     - x112 <= 28;

e8:    49*x92 - 87*x93 - 90*x94 + 54*x95 + 40*x96 - 76*x97 - 40*x98 - 86*x99
     + 37*x100 - 27*x101 + 45*x102 - 61*x103 - 69*x104 - 68*x105 + 66*x106
     - x113 <= 9;

e9:  - 37*x92 + 5*x93 - 13*x94 - 58*x95 + 45*x96 - 100*x97 + 16*x98 - 5*x99
     + 87*x100 + 52*x101 - 75*x102 - 98*x103 + 68*x105 + 70*x106 - x114 <= -82;

e10:    71*x92 + 57*x93 + 15*x94 - 81*x95 + 65*x96 + 49*x97 + 81*x98 + x99
      + 76*x100 + 92*x101 + 12*x102 - 5*x103 - 17*x104 + 29*x105 + 75*x106
      - x115 <= 16;

e11:  - 56*x92 + 99*x93 - 69*x94 + 38*x95 + 40*x96 + 97*x97 + 29*x98 + 30*x99
      + 68*x100 + 36*x101 + 93*x102 - 34*x103 + 59*x104 - 68*x105 + 72*x106
      - x116 <= 20;

e12:  - 16*x92 + 96*x93 + 73*x94 - 7*x95 - 51*x96 + 68*x97 + 68*x98 + 47*x99
      - 74*x100 - 5*x101 + 56*x102 + 13*x104 - 11*x105 - 93*x106 - x117 <= -34;

e13:  - 15*x92 + 16*x93 - 83*x94 + 34*x95 + 17*x96 - 53*x97 + 48*x98 + 91*x99
      + 72*x100 - 86*x101 + 7*x102 - 24*x103 - 100*x104 + 43*x105 - 90*x106
      - x118 <= -96;

e14:    51*x92 + 25*x93 + 86*x94 + 9*x95 - 17*x96 - 22*x97 - 61*x98 - 39*x99
      - 58*x100 + 21*x101 - 26*x102 - 68*x103 - 8*x104 + 60*x105 - 64*x106
      - x119 <= 43;

e15:  - 5*x92 - 72*x93 + 26*x94 - 52*x95 - 76*x96 + 74*x97 - 80*x98 + 50*x99
      - 24*x100 + 10*x101 - 85*x102 - 25*x103 + 24*x104 + 57*x105 - 16*x106
      - x120 <= 64;

e16:    9*x92 + 45*x93 - 2*x94 - 48*x95 - 2*x97 - 2*x98 + 69*x99 + 83*x100
      - 28*x101 + 8*x102 + 20*x103 + 21*x104 - 12*x105 + 41*x106 - x121 <= -57;

e17:    52*x92 - 39*x93 + 57*x94 - 82*x95 + 79*x96 + 86*x97 + 93*x98 + 23*x99
      - 87*x100 - 78*x101 + 25*x102 - 86*x103 + 11*x104 - 53*x105 + 22*x106
      - x122 <= 86;

e18:    13*x92 + 14*x93 - 7*x94 - 76*x95 - 53*x96 + 99*x97 + 11*x98 + 72*x99
      - 43*x100 + 45*x101 + 64*x102 - 2*x103 + 18*x104 - 78*x105 - 69*x106
      - x123 <= 39;

e19:    18*x92 + 76*x93 - 14*x94 - 58*x95 - 64*x96 + 37*x97 - 57*x98 - 47*x99
      - 56*x100 - x101 - 47*x102 - 11*x103 - 53*x104 - 41*x105 + 29*x106 - x124
      <= 49;

e20:    38*x92 - 15*x93 + 51*x94 - 20*x95 - 25*x96 + 27*x97 + 6*x98 + 79*x99
      + 30*x100 + 86*x101 - 99*x102 - 66*x103 + 28*x104 + 52*x105 + 34*x106
      - x125 <= 53;

e21:    50*x92 + 79*x93 - 57*x94 + 26*x95 + 19*x96 + 24*x97 - 27*x98 - 86*x99
      - 50*x100 - 28*x101 - 3*x102 - 42*x104 - 53*x105 + 32*x106 - x126 <= 79;

e22:    33*x92 - 92*x93 + 67*x94 + 13*x95 - 64*x96 - 95*x97 - 5*x98 + 12*x99
      - 67*x100 + 21*x101 + 28*x102 - 39*x103 + 91*x104 + 52*x105 + 26*x106
      - x127 <= -87;

e23:  - 74*x92 + 51*x93 - 4*x94 + 42*x95 - 77*x96 + 27*x97 - 20*x98 + 40*x99
      + 56*x100 + 40*x101 - 47*x102 + 55*x103 - 74*x104 - 45*x105 - 84*x106
      - x128 <= -58;

e24:  - 61*x92 + 23*x93 + 20*x94 + 9*x95 + 13*x96 - 75*x97 - 86*x98 + 76*x99
      - 70*x100 + 12*x101 - 37*x102 - 33*x103 - 59*x104 + 34*x105 - 93*x106
      - x129 <= -92;

e25:    63*x92 - 88*x93 + 41*x94 - 18*x95 + 77*x96 + 87*x97 - 100*x98 - 30*x99
      + 87*x100 + 98*x101 - 28*x102 + 95*x103 - 95*x104 - 32*x105 + 69*x106
      - x130 <= -12;

e26:    40*x92 + 13*x93 - 80*x94 - 64*x95 - 52*x96 + 36*x97 + 97*x98 + 2*x99
      + 80*x100 - 7*x101 - 5*x102 - 19*x103 + 51*x104 - 77*x105 - 71*x106
      - x131 <= 39;

e27:  - 48*x92 + 5*x93 - 87*x94 - 71*x95 - 18*x96 - 84*x97 + 27*x98 - 97*x99
      - 52*x100 + 15*x101 - 68*x102 - 47*x103 - 85*x104 - 71*x105 - 83*x106
      - x132 <= -72;

e28:  - 6*x92 + 44*x93 - 5*x94 + 11*x95 - x96 - 84*x97 - 41*x98 - 41*x99
      - 34*x100 - 83*x101 - 81*x102 - 60*x103 - 79*x104 - 66*x105 + 66*x106
      - x133 <= 65;

e29:    84*x92 + 6*x93 - 6*x94 + 39*x95 + x96 + 53*x97 + 96*x98 - 7*x99
      + 33*x100 + 78*x101 + 70*x102 + 50*x103 + 42*x104 - 83*x105 + 59*x106
      - x134 <= -25;

e30:  - 9*x92 - 27*x93 + 55*x94 + 19*x95 - 89*x96 - 76*x97 + 11*x98 + 30*x99
      - 88*x100 + 4*x101 + 68*x102 - 69*x103 - 100*x104 + 79*x105 - 57*x106
      - x135 <= -63;

e31:    93*x92 + 63*x93 + 41*x94 + 17*x95 + 35*x96 + 54*x97 - 54*x98 - 57*x99
      - 26*x100 + 64*x101 - 68*x102 + 22*x103 - 76*x104 - 13*x105 - 100*x106
      - x136 <= 3;

e32:  - 8*x92 + 37*x93 - 94*x94 - 19*x95 - 44*x97 + 99*x98 - 27*x99 - 26*x100
      + 90*x101 - 84*x102 + 22*x103 + 58*x104 - 29*x105 + 94*x106 - x137
      <= -64;

e33:  - 14*x92 + 56*x93 - 77*x94 + 6*x95 - 52*x96 + 22*x97 + 55*x98 - 64*x99
      - 2*x100 + 86*x101 - 37*x102 - 28*x103 - 80*x104 - 26*x105 + 77*x106
      - x138 <= 78;

e34:    97*x92 - 79*x93 - 70*x94 + 87*x95 + 56*x96 + 75*x97 - 48*x98 - 75*x99
      + 7*x100 - 31*x101 - 23*x102 - 26*x103 - 5*x104 + 45*x105 + 86*x106
      - x139 <= -1;

e35:  - 5*x92 + 91*x93 - 40*x94 - 10*x95 + 64*x96 - 24*x97 + 45*x98 - 31*x99
      + 31*x100 + 72*x101 + 32*x102 + 60*x103 + 85*x104 - 36*x105 - 5*x106
      - x140 <= 13;

e36:  - 15*x92 + 89*x93 - 83*x94 - 15*x95 - 38*x96 + 39*x97 - 29*x98 + 6*x99
      - 78*x100 + 47*x101 + 85*x102 - 72*x103 + 88*x104 - 96*x105 - 20*x106
      - x141 <= -60;

e37:  - 80*x92 - 93*x93 - 19*x94 - 11*x95 + 36*x96 - 49*x97 + 62*x98 - 81*x99
      + 29*x100 + x101 - 69*x103 + 26*x104 - 79*x105 - 58*x106 - x142 <= 77;

e38:    97*x92 - 97*x93 + 72*x94 - 76*x95 - 74*x96 + 13*x97 - 74*x98 + 72*x99
      + 8*x100 - 11*x101 - 37*x102 - 14*x103 + 93*x104 + 61*x105 + 44*x106
      - x143 <= 68;

e39:    86*x92 - 77*x93 - 7*x94 - 22*x95 - 24*x96 - 50*x97 - 74*x98 + 24*x99
      + 23*x100 - 2*x101 + 3*x102 + 56*x103 - 45*x104 - 15*x105 - 79*x106
      - x144 <= -54;

e40:    80*x92 + 15*x93 + 62*x94 + 56*x95 + 41*x96 - 32*x97 + 87*x98 - 59*x99
      + 44*x100 + 66*x101 - 31*x102 - 35*x103 - 32*x104 + 5*x105 + 10*x106
      - x145 <= -97;

e41:  - 9*x92 - 50*x94 + x95 - 52*x96 + 21*x97 - 41*x98 + 82*x99 + 13*x100
      - 41*x101 - 3*x102 - 72*x103 + 28*x104 - 74*x105 + 64*x106 - x146 <= 2;

e42:  - 19*x92 - 69*x93 + 43*x94 - 4*x95 + 43*x96 + 70*x97 + 67*x98 - 5*x99
      + 82*x100 - 84*x101 - 67*x102 + 35*x103 + 53*x104 + 82*x105 - 14*x106
      - x147 <= 71;

e43:  - 30*x92 + 33*x93 - 57*x94 - 2*x95 - 60*x96 - 18*x97 - 23*x98 + 73*x99
      - 22*x100 + 53*x101 + 12*x102 - 25*x103 + 81*x104 + 69*x105 - 44*x106
      - x148 <= 71;

e44:    94*x92 + 52*x93 - 68*x94 - 64*x95 + 3*x96 - 38*x97 + 96*x98 + 43*x99
      + 15*x100 - 16*x101 - 17*x102 - 59*x103 + 90*x104 + 76*x105 - 99*x106
      - x149 <= -84;

e45:  - 42*x92 + 73*x93 + 95*x94 + 28*x95 - 16*x96 + 73*x97 - 37*x98 + 98*x99
      - 85*x100 - 45*x101 + 66*x102 - 94*x103 + 52*x104 - 23*x105 - 54*x106
      - x150 <= -90;

e46:  - 34*x92 + 95*x93 + 49*x94 + 19*x95 + 23*x96 + 22*x97 + 13*x98 - 34*x99
      + 22*x100 - 21*x101 + 46*x102 - 96*x103 - 23*x104 + 22*x105 + 19*x106
      - x151 <= 87;

e47:    57*x92 + 63*x93 + 64*x94 + 22*x95 - 38*x96 + 63*x97 - 92*x98 - 62*x99
      + 16*x100 - 65*x101 - 12*x102 + x104 - 7*x105 - 38*x106 - x152 <= -67;

e48:    50*x92 - 15*x93 + 14*x94 + 69*x95 + 58*x96 - 75*x97 + 85*x98 + 15*x99
      - 11*x100 + 31*x101 - 55*x102 - 93*x103 - 34*x104 - 81*x105 - 18*x106
      - x153 <= 34;

e49:    5*x92 - 87*x93 + 63*x94 - 79*x95 - 38*x96 + 79*x97 - 71*x98 - 67*x99
      + 68*x100 - 96*x101 + 98*x102 + 11*x103 + 16*x104 - 39*x105 - 74*x106
      - x154 <= 90;

e50:  - 81*x92 - 75*x93 + 6*x94 - 22*x95 - 57*x96 - 21*x97 - 61*x98 + 92*x99
      + 8*x100 + 41*x101 - 33*x102 + 64*x103 + 7*x104 + 54*x105 - 93*x106
      - x155 <= 87;

e51:    55*x92 - 9*x93 + 84*x94 - 75*x95 - 88*x96 + 79*x97 - 49*x98 + 79*x99
      - 25*x100 - 97*x101 + 15*x102 + 20*x103 - 88*x104 - 8*x105 + 56*x106
      - x156 <= -14;

e52:  - 71*x92 - 59*x93 + 83*x94 + 47*x95 - 50*x96 - 42*x97 - 69*x98 + 92*x99
      + 68*x100 - 64*x101 + 35*x102 - 35*x103 - 67*x104 + 58*x105 + 34*x106
      - x157 <= 35;

e53:  - 51*x92 - 54*x93 + 36*x94 - 38*x95 - 27*x96 + 69*x97 + 72*x98 + 50*x99
      - 77*x100 - 55*x101 + 95*x102 - 92*x103 + 19*x104 + 3*x105 - 19*x106
      - x158 <= -61;

e54:    34*x92 + 2*x93 + 56*x94 - 6*x95 - 49*x96 - 76*x97 + 26*x98 + 22*x99
      + 6*x100 - 76*x101 - 50*x102 - 95*x103 - 25*x104 - 50*x105 + 21*x106
      - x159 <= -96;

e55:  - 96*x92 - 46*x93 + 88*x94 + 48*x95 + 2*x96 - 48*x97 + 94*x98 + 32*x99
      + 66*x100 - 91*x101 + 7*x102 - 34*x103 - 30*x104 - 77*x105 - 65*x106
      - x160 <= 93;

e56:    65*x92 + 22*x93 + 34*x94 - 98*x95 + 99*x96 - 73*x97 - 93*x98 - 14*x99
      + 49*x100 + 54*x101 + 23*x102 - 93*x103 - 63*x104 - 87*x105 - 22*x106
      - x161 <= 16;

e57:    99*x92 + 91*x93 - 70*x94 + 67*x95 - 18*x96 - 88*x97 - 70*x98 + 80*x99
      + 39*x100 - 11*x101 - 49*x102 - 62*x103 - 32*x104 + 46*x105 - 31*x106
      - x162 <= 69;

e58:  - 47*x92 + 23*x93 - 78*x94 + 45*x95 - 66*x96 - 94*x97 + 2*x98 - 67*x99
      + 31*x100 - 29*x101 - 5*x102 + 5*x103 + 94*x104 + 77*x105 - 42*x106
      - x163 <= 63;

e59:  - 36*x92 - 70*x93 + 37*x94 + 45*x95 - 86*x96 + 49*x97 - 22*x98 + 95*x99
      + 3*x100 - 19*x101 - 4*x103 + 54*x104 + 72*x105 + 45*x106 - x164 <= 61;

e60:    3*x92 - 7*x93 - 22*x94 + 52*x95 - 8*x96 + 71*x97 - 61*x98 + 87*x99
      - 9*x100 - 28*x101 - 65*x102 - 71*x103 - 53*x104 + 13*x105 - x106 - x165
      <= 52;

e61:  - 26*x92 + 61*x93 + 47*x94 + 44*x95 + 82*x96 - 62*x97 - 21*x98 - 80*x99
      - 77*x100 - 67*x101 + 86*x102 - 62*x103 + 64*x104 + 83*x105 - 66*x106
      - x166 <= 79;

e62:  - 59*x92 - 96*x93 - 67*x94 - 61*x95 + 37*x96 + 75*x97 - 84*x98 - 61*x99
      + 45*x100 + 67*x101 + 33*x102 + 59*x103 - 93*x104 + 46*x105 - 4*x106
      - x167 <= 64;

e63:    50*x92 + 51*x93 - 52*x94 - 45*x95 - 23*x96 + 34*x97 + 33*x98 + 56*x99
      - 35*x100 + 45*x101 - 83*x102 - 63*x103 - 25*x104 + 10*x105 + 9*x106
      - x168 <= 34;

e64:  - 10*x92 + 14*x93 - 27*x94 + 94*x95 + 17*x96 + 73*x97 - 95*x98 - 93*x99
      + 49*x100 - 59*x101 - 29*x102 - 29*x103 + 29*x104 + 74*x105 - 57*x106
      - x169 <= 97;

e65:    59*x92 - 93*x93 - 24*x94 + 99*x95 - 6*x96 + 17*x97 - 97*x98 + 98*x99
      - 70*x100 - 90*x101 - 71*x102 + 99*x103 - 59*x104 + 41*x105 + 45*x106
      - x170 <= -31;

e66:  - 85*x92 - 53*x93 + 76*x94 - 78*x95 + 20*x96 - 26*x97 - 35*x98 - 27*x99
      - 79*x100 - 93*x101 - 21*x102 + 52*x103 + 85*x104 + 6*x105 + 5*x106
      - x171 <= -95;

e67:  - 77*x92 - 14*x93 - 81*x94 - 62*x95 - 8*x96 - 33*x97 + 76*x98 - 15*x99
      + 14*x100 + 15*x101 - 26*x102 - 28*x103 - 70*x104 - 96*x105 + 98*x106
      - x172 <= -67;

e68:  - 76*x92 + 33*x93 + 16*x94 + 45*x95 - 37*x96 - 30*x97 - 10*x98 - 20*x99
      - 39*x100 - 24*x101 + 79*x102 - 81*x103 + 71*x104 - 86*x105 - 51*x106
      - x173 <= -63;

e69:    23*x92 + 16*x93 - 58*x94 - 9*x95 + 21*x96 + 86*x97 - 89*x98 - 19*x99
      - 7*x101 + 46*x102 + 78*x103 + 40*x104 - 86*x105 + 2*x106 - x174 <= 1;

e70:  - 89*x92 + 50*x93 - 80*x94 - 42*x95 + 81*x96 + 73*x97 - 26*x98 - 95*x99
      + 40*x100 - 91*x101 + 16*x102 + 88*x103 + 70*x104 - 10*x105 + 13*x106
      - x175 <= 61;

e71:    23*x92 - 43*x93 + 5*x94 + 55*x95 - 85*x96 + 54*x97 - 51*x98 + 63*x99
      - 32*x100 - 84*x101 - 64*x102 - 23*x103 + 17*x104 + 72*x105 - 50*x106
      - x176 <= -55;

e72:  - 38*x92 + 14*x93 + 87*x94 + 42*x95 - 48*x96 - 83*x97 + 95*x98 + 2*x99
      - 30*x100 - 8*x101 - 29*x102 + 59*x103 - 56*x104 + 25*x105 - 68*x106
      - x177 <= -6;

e73:  - 23*x92 - 33*x93 + 11*x94 + 39*x95 + 52*x96 - 75*x97 - 99*x98 + 37*x99
      + 52*x100 - 48*x101 - 73*x102 - 34*x103 + 54*x104 - 55*x105 + 78*x106
      - x178 <= 26;

e74:    14*x92 - 31*x93 - 27*x94 + 41*x95 - 85*x96 - 34*x97 - 70*x98 - 87*x99
      - 47*x100 - 13*x101 - 46*x102 + 58*x103 - 27*x104 - 96*x105 + 6*x106
      - x179 <= -86;

e75:    59*x92 + 17*x93 - 54*x94 + 99*x95 - 18*x96 + 55*x97 + 9*x98 + 71*x99
      - 88*x100 + 64*x101 + 24*x102 - 93*x103 - 9*x104 - 7*x105 - 52*x106
      - x180 <= 67;

e76:  - 37*x92 + 30*x93 + 25*x94 + 83*x95 + 29*x96 + 2*x97 + 85*x98 + 42*x99
      + 9*x100 + 2*x101 - 5*x102 - 25*x103 - 66*x104 - 3*x105 - 81*x106 - x181
      <= -19;

e77:  - 15*x92 + 18*x93 - 60*x94 - 18*x95 + 13*x96 - 17*x97 + 77*x98 - 56*x99
      + 33*x100 + 60*x101 + 16*x102 + 94*x103 + 63*x105 + 21*x106 - x182 <= 37;

e78:  - 69*x92 + 26*x93 + 94*x94 - 31*x95 + 29*x96 + 5*x97 - 45*x98 - 90*x99
      + 84*x100 - 39*x101 + 9*x102 - 25*x103 - 80*x104 - 15*x105 - x183 <= 33;

e79:    42*x92 - 24*x93 - 64*x94 + 78*x95 + 82*x96 - 69*x97 + 75*x98 - 79*x99
      - 28*x100 - 100*x101 + 76*x102 + 37*x103 + 69*x104 - 38*x105 + 40*x106
      - x184 <= 99;

e80:  - 13*x92 - 4*x93 + 79*x94 + 16*x95 + 9*x96 - 84*x97 + 97*x98 - 28*x99
      - 67*x100 - 42*x101 + 53*x102 + 98*x103 + 6*x104 - 18*x105 + 36*x106
      - x185 <= 1;

e81:    26*x92 + 68*x93 + 71*x94 + 78*x95 - 31*x96 + 57*x97 + 17*x98 - 56*x99
      + 5*x100 - 54*x101 - 5*x102 - 100*x103 - 36*x104 - 38*x105 - x106 - x186
      <= -5;

e82:    15*x92 + 74*x93 - 36*x94 - 42*x95 - 84*x96 - 6*x97 - 63*x98 + 8*x99
      + 87*x100 + 32*x101 + 63*x102 - 61*x103 + 49*x104 + 85*x105 - 60*x106
      - x187 <= 97;

e83:  - 23*x92 - 36*x93 + 59*x94 - 57*x95 - 6*x96 - 56*x97 + 12*x98 + 41*x99
      - 67*x100 + 67*x101 - 51*x102 + 47*x103 - 3*x104 + 2*x105 + 14*x106
      - x188 <= 77;

e84:    47*x92 + 51*x93 + 87*x94 - 5*x95 - 38*x96 + 56*x97 + 91*x98 - 22*x99
      - 3*x100 + 37*x101 - 24*x102 - 94*x103 - 68*x104 + 21*x105 - 56*x106
      - x189 <= -93;

e85:    14*x92 + 44*x93 + 93*x94 + 69*x95 + 75*x96 + 17*x97 - 11*x98 + 61*x99
      + 89*x100 + 98*x101 - 90*x102 + 41*x103 + 76*x104 + 32*x105 - 2*x106
      - x190 <= 86;

e86:  - 61*x92 - 95*x93 - 9*x94 - 87*x95 + 56*x96 - 83*x97 + 11*x98 + 48*x99
      + 50*x100 + 99*x101 - 54*x102 - 30*x103 - 45*x104 + 24*x105 + 69*x106
      - x191 <= 78;

e87:  - 6*x92 + 69*x93 - 43*x94 - 25*x95 + 54*x96 + 14*x97 - 17*x98 + 14*x99
      - 99*x100 - 60*x101 - 21*x102 - 38*x103 - 49*x104 + 24*x105 + 19*x106
      - x192 <= -30;

e88:  - 92*x92 + 7*x93 - 80*x94 - 42*x95 - 50*x96 + 98*x97 + 58*x98 + 97*x99
      - 15*x100 - 6*x101 - 67*x102 - 21*x103 + 55*x104 + 11*x105 - 80*x106
      - x193 <= 97;

e89:    47*x92 - 42*x93 + 36*x94 - 19*x95 - 14*x96 - 16*x97 - 85*x98 - 45*x99
      + 59*x100 + 22*x101 - 37*x102 - 43*x103 - 51*x104 - 49*x105 + 72*x106
      - x194 <= 46;

e90:    20*x92 - 87*x93 + 81*x94 - 49*x95 - 6*x96 - 57*x97 + 88*x98 - 30*x99
      - 47*x100 - 84*x101 - 13*x102 + 78*x103 - 14*x104 - 18*x105 - 63*x106
      - x195 <= 67;

e91:  - 59*x92 - 41*x94 + 10*x95 + 93*x96 - 79*x97 - 73*x98 + 57*x99 + 29*x100
      + 5*x101 + 86*x102 - 66*x103 - 99*x104 + 25*x105 - 62*x106 - x196 <= 17;

e92:  - b2 - x197 = -1;

e93:  - b3 - x198 = -1;

e94:  - b4 - x199 = -1;

e95:  - b5 - x200 = -1;

e96:  - b6 - x201 = -1;

e97:  - b7 - x202 = -1;

e98:  - b8 - x203 = -1;

e99:  - b9 - x204 = -1;

e100:  - b10 - x205 = -1;

e101:  - b11 - x206 = -1;

e102:  - b12 - x207 = -1;

e103:  - b13 - x208 = -1;

e104:  - b14 - x209 = -1;

e105:  - b15 - x210 = -1;

e106:  - b16 - x211 = -1;

e107:  - b17 - x212 = -1;

e108:  - b18 - x213 = -1;

e109:  - b19 - x214 = -1;

e110:  - b20 - x215 = -1;

e111:  - b21 - x216 = -1;

e112:  - b22 - x217 = -1;

e113:  - b23 - x218 = -1;

e114:  - b24 - x219 = -1;

e115:  - b25 - x220 = -1;

e116:  - b26 - x221 = -1;

e117:  - b27 - x222 = -1;

e118:  - b28 - x223 = -1;

e119:  - b29 - x224 = -1;

e120:  - b30 - x225 = -1;

e121:  - b31 - x226 = -1;

e122:  - b32 - x227 = -1;

e123:  - b33 - x228 = -1;

e124:  - b34 - x229 = -1;

e125:  - b35 - x230 = -1;

e126:  - b36 - x231 = -1;

e127:  - b37 - x232 = -1;

e128:  - b38 - x233 = -1;

e129:  - b39 - x234 = -1;

e130:  - b40 - x235 = -1;

e131:  - b41 - x236 = -1;

e132:  - b42 - x237 = -1;

e133:  - b43 - x238 = -1;

e134:  - b44 - x239 = -1;

e135:  - b45 - x240 = -1;

e136:  - b46 - x241 = -1;

e137:  - b47 - x242 = -1;

e138:  - b48 - x243 = -1;

e139:  - b49 - x244 = -1;

e140:  - b50 - x245 = -1;

e141:  - b51 - x246 = -1;

e142:  - b52 - x247 = -1;

e143:  - b53 - x248 = -1;

e144:  - b54 - x249 = -1;

e145:  - b55 - x250 = -1;

e146:  - b56 - x251 = -1;

e147:  - b57 - x252 = -1;

e148:  - b58 - x253 = -1;

e149:  - b59 - x254 = -1;

e150:  - b60 - x255 = -1;

e151:  - b61 - x256 = -1;

e152:  - b62 - x257 = -1;

e153:  - b63 - x258 = -1;

e154:  - b64 - x259 = -1;

e155:  - b65 - x260 = -1;

e156:  - b66 - x261 = -1;

e157:  - b67 - x262 = -1;

e158:  - b68 - x263 = -1;

e159:  - b69 - x264 = -1;

e160:  - b70 - x265 = -1;

e161:  - b71 - x266 = -1;

e162:  - b72 - x267 = -1;

e163:  - b73 - x268 = -1;

e164:  - b74 - x269 = -1;

e165:  - b75 - x270 = -1;

e166:  - b76 - x271 = -1;

e167:  - b77 - x272 = -1;

e168:  - b78 - x273 = -1;

e169:  - b79 - x274 = -1;

e170:  - b80 - x275 = -1;

e171:  - b81 - x276 = -1;

e172:  - b82 - x277 = -1;

e173:  - b83 - x278 = -1;

e174:  - b84 - x279 = -1;

e175:  - b85 - x280 = -1;

e176:  - b86 - x281 = -1;

e177:  - b87 - x282 = -1;

e178:  - b88 - x283 = -1;

e179:  - b89 - x284 = -1;

e180:  - b90 - x285 = -1;

e181:  - b91 - x286 = -1;

e182: x197*x107 = 0;

e183: x198*x108 = 0;

e184: x199*x109 = 0;

e185: x200*x110 = 0;

e186: x201*x111 = 0;

e187: x202*x112 = 0;

e188: x203*x113 = 0;

e189: x204*x114 = 0;

e190: x205*x115 = 0;

e191: x206*x116 = 0;

e192: x207*x117 = 0;

e193: x208*x118 = 0;

e194: x209*x119 = 0;

e195: x210*x120 = 0;

e196: x211*x121 = 0;

e197: x212*x122 = 0;

e198: x213*x123 = 0;

e199: x214*x124 = 0;

e200: x215*x125 = 0;

e201: x216*x126 = 0;

e202: x217*x127 = 0;

e203: x218*x128 = 0;

e204: x219*x129 = 0;

e205: x220*x130 = 0;

e206: x221*x131 = 0;

e207: x222*x132 = 0;

e208: x223*x133 = 0;

e209: x224*x134 = 0;

e210: x225*x135 = 0;

e211: x226*x136 = 0;

e212: x227*x137 = 0;

e213: x228*x138 = 0;

e214: x229*x139 = 0;

e215: x230*x140 = 0;

e216: x231*x141 = 0;

e217: x232*x142 = 0;

e218: x233*x143 = 0;

e219: x234*x144 = 0;

e220: x235*x145 = 0;

e221: x236*x146 = 0;

e222: x237*x147 = 0;

e223: x238*x148 = 0;

e224: x239*x149 = 0;

e225: x240*x150 = 0;

e226: x241*x151 = 0;

e227: x242*x152 = 0;

e228: x243*x153 = 0;

e229: x244*x154 = 0;

e230: x245*x155 = 0;

e231: x246*x156 = 0;

e232: x247*x157 = 0;

e233: x248*x158 = 0;

e234: x249*x159 = 0;

e235: x250*x160 = 0;

e236: x251*x161 = 0;

e237: x252*x162 = 0;

e238: x253*x163 = 0;

e239: x254*x164 = 0;

e240: x255*x165 = 0;

e241: x256*x166 = 0;

e242: x257*x167 = 0;

e243: x258*x168 = 0;

e244: x259*x169 = 0;

e245: x260*x170 = 0;

e246: x261*x171 = 0;

e247: x262*x172 = 0;

e248: x263*x173 = 0;

e249: x264*x174 = 0;

e250: x265*x175 = 0;

e251: x266*x176 = 0;

e252: x267*x177 = 0;

e253: x268*x178 = 0;

e254: x269*x179 = 0;

e255: x270*x180 = 0;

e256: x271*x181 = 0;

e257: x272*x182 = 0;

e258: x273*x183 = 0;

e259: x274*x184 = 0;

e260: x275*x185 = 0;

e261: x276*x186 = 0;

e262: x277*x187 = 0;

e263: x278*x188 = 0;

e264: x279*x189 = 0;

e265: x280*x190 = 0;

e266: x281*x191 = 0;

e267: x282*x192 = 0;

e268: x283*x193 = 0;

e269: x284*x194 = 0;

e270: x285*x195 = 0;

e271: x286*x196 = 0;