#  NLP written by GAMS Convert at 01/12/18 13:37:02
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#         86       42        0       44        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#         42       42        0        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#        384      114      270        0


var x1 >= 0, <= 1;
var x2 >= 0, <= 1;
var x3 >= 0, <= 1;
var x4 >= 0, <= 1;
var x5 >= 0, <= 1;
var x6 >= 0, <= 1;
var x7 >= 0, <= 1;
var x8 >= 0, <= 1;
var x9 >= 0, <= 1;
var x10 >= 0, <= 1;
var x11 >= 0, <= 1;
var x12 >= 0, <= 1;
var x13 >= 0, <= 1;
var x14 >= 0, <= 1;
var x15 >= 0, <= 1;
var x16 >= 0, <= 1;
var x17 >= 0, <= 1;
var x18 >= 0, <= 1;
var x19 >= 0, <= 1;
var x20 >= 0, <= 1;
var x21 >= 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 >= -1, <= 1;
var x29 >= 0, <= 1;
var x30 >= -1, <= 1;
var x31 >= -1, <= 1;
var x32 >= -1, <= 1;
var x33 >= -1, <= 1;
var x34 >= -1, <= 1;
var x35 >= -1, <= 1;
var x36 >= -1, <= 1;
var x37 >= -1, <= 1;
var x38 >= -1, <= 1;
var x39 >= -1, <= 1;
var x40 >= -1, <= 1;
var x41 >= -1, <= 1;
var x42 >= -1, <= 1;

minimize obj: x1;

subject to

e1: -x2*x3*x4 + x5 = 0;

e2: -x2*x3*x6 + x7 = 0;

e3: -x2*x3*x8 + x9 = 0;

e4: -x2*x3*x10 + x11 = 0;

e5: -x2*x4*x6 + x12 = 0;

e6: -x2*x4*x8 + x13 = 0;

e7: -x2*x4*x10 + x14 = 0;

e8: -x2*x6*x8 + x15 = 0;

e9: -x2*x6*x10 + x16 = 0;

e10: -x2*x8*x10 + x17 = 0;

e11: -x3*x4*x6 + x18 = 0;

e12: -x3*x4*x8 + x19 = 0;

e13: -x3*x4*x10 + x20 = 0;

e14: -x3*x6*x8 + x21 = 0;

e15: -x3*x6*x10 + x22 = 0;

e16: -x3*x8*x10 + x23 = 0;

e17: -x4*x6*x8 + x24 = 0;

e18: -x4*x6*x10 + x25 = 0;

e19: -x4*x8*x10 + x26 = 0;

e20: -x6*x8*x10 + x27 = 0;

e21:    x2 + x3 + x4 + x6 + x8 + x10 = 4;

e22:    x28 - x29 <= 0;

e23:  - x29 + x30 <= 0;

e24:  - x29 + x31 <= 0;

e25:  - x29 + x32 <= 0;

e26:  - x29 + x33 <= 0;

e27:  - x29 + x34 <= 0;

e28:  - x29 + x35 <= 0;

e29:  - x29 + x36 <= 0;

e30:  - x29 + x37 <= 0;

e31:  - x29 + x38 <= 0;

e32:  - x29 + x39 <= 0;

e33:  - x29 + x40 <= 0;

e34:  - x29 + x41 <= 0;

e35:  - x29 + x42 <= 0;

e36: x28^2*x18 + x30^2*x19 + x31^2*x20 + x32^2*x21 + x33^2*x22 + x34^2*x23 + 
     x35^2*x24 + x36^2*x25 + x37^2*x26 + x38^2*x27 = 1;

e37: x28^2*x12 + x30^2*x13 + x31^2*x14 + x32^2*x15 + x33^2*x16 + x34^2*x17 + 
     x39^2*x24 + x40^2*x25 + x41^2*x26 + x42^2*x27 = 1;

e38: x28^2*x7 + x30^2*x9 + x31^2*x11 + x35^2*x15 + x36^2*x16 + x37^2*x17 + x39^
     2*x21 + x40^2*x22 + x41^2*x23 + x29^2*x27 = 1;

e39: x28^2*x5 + x32^2*x9 + x33^2*x11 + x35^2*x13 + x36^2*x14 + x38^2*x17 + x39^
     2*x19 + x40^2*x20 + x42^2*x23 + x29^2*x26 = 1;

e40: x30^2*x5 + x32^2*x7 + x34^2*x11 + x35^2*x12 + x37^2*x14 + x38^2*x16 + x39^
     2*x18 + x41^2*x20 + x42^2*x22 + x29^2*x25 = 1;

e41: x31^2*x5 + x33^2*x7 + x34^2*x9 + x36^2*x12 + x37^2*x13 + x38^2*x15 + x40^2
     *x18 + x41^2*x19 + x42^2*x21 + x29^2*x24 = 1;

e42: x28*x34 - x30*x33 + x31*x32 = 0;

e43: x28*x37 - x30*x36 + x31*x35 = 0;

e44: x28*x41 - x30*x40 + x31*x39 = 0;

e45: x28*x38 - x32*x36 + x33*x35 = 0;

e46: x28*x42 - x32*x40 + x33*x39 = 0;

e47: x28*x29 - x35*x40 + x36*x39 = 0;

e48: x30*x38 - x32*x37 + x34*x35 = 0;

e49: x30*x42 - x32*x41 + x34*x39 = 0;

e50: x29*x30 - x35*x41 + x37*x39 = 0;

e51: x31*x38 - x33*x37 + x34*x36 = 0;

e52: x31*x42 - x33*x41 + x34*x40 = 0;

e53: x29*x31 - x36*x41 + x37*x40 = 0;

e54: x29*x32 - x35*x42 + x38*x39 = 0;

e55: x29*x33 - x36*x42 + x38*x40 = 0;

e56: x29*x34 - x37*x42 + x38*x41 = 0;

e57:  - x1 - x28 <= 0;

e58:  - x1 + x28 <= 0;

e59:  - x1 - x30 <= 0;

e60:  - x1 + x30 <= 0;

e61:  - x1 - x31 <= 0;

e62:  - x1 + x31 <= 0;

e63:  - x1 - x32 <= 0;

e64:  - x1 + x32 <= 0;

e65:  - x1 - x33 <= 0;

e66:  - x1 + x33 <= 0;

e67:  - x1 - x34 <= 0;

e68:  - x1 + x34 <= 0;

e69:  - x1 - x35 <= 0;

e70:  - x1 + x35 <= 0;

e71:  - x1 - x36 <= 0;

e72:  - x1 + x36 <= 0;

e73:  - x1 - x37 <= 0;

e74:  - x1 + x37 <= 0;

e75:  - x1 - x38 <= 0;

e76:  - x1 + x38 <= 0;

e77:  - x1 - x39 <= 0;

e78:  - x1 + x39 <= 0;

e79:  - x1 - x40 <= 0;

e80:  - x1 + x40 <= 0;

e81:  - x1 - x41 <= 0;

e82:  - x1 + x41 <= 0;

e83:  - x1 - x42 <= 0;

e84:  - x1 + x42 <= 0;

e85:  - x1 - x29 <= 0;

e86:  - x1 + x29 <= 0;