#  MINLP written by GAMS Convert at 01/12/18 13:42:50
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#          1        0        0        1        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#         92       71       21        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#         92        1       91        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 x22 >= 0, <= 1;
var x23 >= 0, <= 1;
var x24 >= 0, <= 1;
var x25 >= 0, <= 1;
var x26 >= 0, <= 1;
var x27 >= 0, <= 1;
var x28 >= 0, <= 1;
var x29 >= 0, <= 1;
var x30 >= 0, <= 1;
var x31 >= 0, <= 1;
var x32 >= 0, <= 1;
var x33 >= 0, <= 1;
var x34 >= 0, <= 1;
var x35 >= 0, <= 1;
var x36 >= 0, <= 1;
var x37 >= 0, <= 1;
var x38;
var x39 >= 0, <= 1;
var x40 >= 0, <= 1;
var x41 >= 0, <= 1;
var x42 >= 0, <= 1;
var x43 >= 0, <= 1;
var x44 >= 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 >= 0, <= 1;
var x92 >= 0, <= 1;

maximize obj: x38;

subject to

e1: 2*x43*x30 - 4*x30 - 2*x43 - 2*x43*x59 + 2*x59 + 2*x43*x69 + 2*x43*x70 + 2*
    x46*x47 - 2*x46 - 4*x47 + 2*x46*x63 - 2*x63 + 2*x46*x84 - 2*x84 - 2*x46*b14
     + 2*x47*x64 - 2*x64 + 2*x47*x88 - 2*x88 + 2*x47*x74 + 2*x52*x54 + 2*x52 - 
    4*x54 - 2*x52*x84 - 2*x52*x76 - 2*x52*b15 + 2*x54*x88 + 2*x54*x25 - 4*x25
     + 2*x54*x78 + 2*x58*x60 - 2*x58 - 2*x60 + 2*x58*b12 - 4*b12 + 2*x60*x62 - 
    2*x62 + 2*x60*x73 - 4*x73 - 2*x60*x83 + 2*x62*x77 - 4*x77 + 2*x63*x37 - 2*
    x37 + 2*x64*x66 - 2*x66 + 2*x64*x84 - 2*x64*x82 + 2*x66*x67 - 2*x67 - 2*x66
    *x26 - 2*x26 + 2*x66*x56 - 4*x56 + 2*x67*x90 - 4*x90 + 2*x67*x57 + 2*x57 - 
    2*x67*x71 + 2*x73*x23 - 4*x23 + 2*x73*x32 - 4*x32 + 2*x73*x85 + 2*x77*x81
     - 2*x81 + 2*x77*x22 - 4*x22 + 2*x77*x83 + 2*x81*x23 + 2*x84*x89 - 2*x89 + 
    2*x88*x90 - 2*x88*x79 + 2*x89*x90 + 2*x89*x39 - 4*x39 - 2*x89*x87 + 2*x90*
    x91 - 4*x91 + 2*x91*x42 + 2*x42 + 2*x91*x55 - 2*x55 + 2*x91*x71 + 2*x92*x22
     - 4*x92 + 2*x92*b3 - 2*b3 + 2*x92*x83 + 2*x92*x86 + 2*x22*x34 - 4*x34 + 2*
    x22*b4 - 2*b4 + 2*x23*x24 - 2*x24 + 2*x23*x33 - 4*x33 + 2*x24*x34 + 2*x25*
    x39 + 2*x25*x53 - 2*x53 + 2*x25*x55 + 2*x26*b1 - 2*b1 + 2*x26*x55 + 2*x26*
    x87 + 2*x27*x39 - 2*x27 - 2*x27*x42 + 2*x27*x75 + 2*x27*x79 + 2*x28*x29 - 4
    *x28 - 2*x29 + 2*x28*x30 + 2*x28*x41 - 2*x41 + 2*x28*x56 - 2*x29*x31 - 2*
    x31 + 2*x29*x45 - 2*x45 + 2*x29*x71 + 2*x30*x31 + 2*x30*x75 + 2*x31*x32 + 2
    *x31*x85 + 2*x32*x33 + 2*x32*b9 - 2*b9 + 2*x33*x49 - 4*x49 + 2*x33*b10 - 2*
    b10 + 2*x34*x35 - 2*x35 + 2*x34*x48 - 2*x48 + 2*x35*x49 - 2*x36*x74 + 2*x36
     - 2*x36*b19 - 2*x37*b1 + 2*x37*x53 + 2*x37*x76 + 2*b1*b17 + 2*b1*b19 + 2*
    x39*x41 + 2*x40*b2 - 4*b2 - 2*x40 - 2*x40*x57 + 2*x40*x79 + 2*x40*x82 + 2*
    x41*b2 - 2*x41*b21 - 2*x42*x59 - 2*x42*b18 + 2*b2*x72 + 2*b2*b18 - 2*x44*b3
     + 2*x44 - 2*x44*x57 + 2*x44*x61 + 2*x61 - 2*x44*x71 - 2*x45*b4 + 2*x45*x70
     + 2*x45*x72 + 2*b3*b4 + 2*b3*b18 + 2*b4*x48 + 2*x48*x65 - 2*x65 - 2*x48*
    x70 + 2*x49*x50 - 2*x50 + 2*x49*b11 - 2*b11 + 2*x50*x65 - 2*x51*b5 - 2*b5
     + 2*x51 - 2*x51*x78 + 2*b5*b6 - 2*b6 + 2*b5*b14 + 2*b5*x87 + 2*x53*x74 - 2
    *x53*b16 - 2*b6*x78 + 2*b6*b16 + 2*b6*b17 - 2*x55*b20 + 2*x56*b7 - 4*b7 + 2
    *x56*x82 - 2*x57*b8 - 2*b8 + 2*b7*x59 + 2*b7*b8 + 2*b7*b20 - 2*x59*b9 + 2*
    b8*b9 + 2*b8*x86 - 2*x61*b10 - 2*x61*x69 - 2*x61*x72 + 2*b9*b10 + 2*b10*b11
     + 2*b11*b12 - 2*b11*x69 + 2*x65*b13 - 2*b13 - 2*x65*x68 + 2*b12*b13 + 2*
    b12*x68 + 2*x68*x69 - 2*x68*x70 - 2*x72*x75 - 2*x74*x80 - 2*x75*b20 + 2*b15
    *b19 + 2*x78*x80 - 2*x79*b16 + 2*b16*b21 - 2*x82*b17 - 2*x83*x85 - 2*b17*
    b21 - 2*x85*x86 - 2*x86*b18 - 2*x87*b19 + 2*b20*b21 + x38 <= 0;