## ams_version=1.0 Model Main_hadamard_6 { Variable b1 { Range: binary; } Variable b2 { Range: binary; } Variable b3 { Range: binary; } Variable b4 { Range: binary; } Variable b5 { Range: binary; } Variable b6 { Range: binary; } Variable b7 { Range: binary; } Variable b8 { Range: binary; } Variable b9 { Range: binary; } Variable b10 { Range: binary; } Variable b11 { Range: binary; } Variable b12 { Range: binary; } Variable b13 { Range: binary; } Variable b14 { Range: binary; } Variable b15 { Range: binary; } Variable b16 { Range: binary; } Variable b17 { Range: binary; } Variable b18 { Range: binary; } Variable b19 { Range: binary; } Variable b20 { Range: binary; } Variable b21 { Range: binary; } Variable b22 { Range: binary; } Variable b23 { Range: binary; } Variable b24 { Range: binary; } Variable b25 { Range: binary; } Variable b26 { Range: binary; } Variable b27 { Range: binary; } Variable b28 { Range: binary; } Variable b29 { Range: binary; } Variable b30 { Range: binary; } Variable b31 { Range: binary; } Variable b32 { Range: binary; } Variable b33 { Range: binary; } Variable b34 { Range: binary; } Variable b35 { Range: binary; } Variable b36 { Range: binary; } Variable objvar; Constraint e1 { Definition: { b1*b8*b15*b22*b29*b36 - b1*b8*b15*b22*b30*b35 + b1*b8*b15*b24*b28*b35 - b1 *b8*b18*b21*b28*b35 + b1*b12*b14*b21*b28*b35 - b6*b7*b14*b21*b28*b35 + b6* b7*b14*b21*b29*b34 - b1*b12*b14*b21*b29*b34 + b1*b8*b18*b21*b29*b34 - b1* b8*b15*b24*b29*b34 + b1*b8*b15*b23*b30*b34 - b1*b8*b15*b23*b28*b36 + b1*b8 *b17*b21*b28*b36 - b1*b8*b17*b21*b30*b34 + b1*b8*b17*b24*b27*b34 - b1*b8* b18*b23*b27*b34 + b1*b12*b14*b23*b27*b34 - b6*b7*b14*b23*b27*b34 + b6*b7* b17*b20*b27*b34 - b1*b12*b17*b20*b27*b34 + b1*b11*b18*b20*b27*b34 - b1*b11 *b14*b24*b27*b34 + b1*b11*b14*b21*b30*b34 - b1*b11*b14*b21*b28*b36 + b5*b7 *b14*b21*b28*b36 - b5*b7*b14*b21*b30*b34 + b5*b7*b14*b24*b27*b34 - b5*b7* b18*b20*b27*b34 + b5*b12*b13*b20*b27*b34 - b6*b11*b13*b20*b27*b34 + b6*b11 *b13*b20*b28*b33 - b5*b12*b13*b20*b28*b33 + b5*b7*b18*b20*b28*b33 - b5*b7* b14*b24*b28*b33 + b5*b7*b14*b22*b30*b33 - b5*b7*b14*b22*b27*b36 + b1*b11* b14*b22*b27*b36 - b1*b11*b14*b22*b30*b33 + b1*b11*b14*b24*b28*b33 - b1*b11 *b18*b20*b28*b33 + b1*b12*b17*b20*b28*b33 - b6*b7*b17*b20*b28*b33 + b6*b7* b14*b23*b28*b33 - b1*b12*b14*b23*b28*b33 + b1*b8*b18*b23*b28*b33 - b1*b8* b17*b24*b28*b33 + b1*b8*b17*b22*b30*b33 - b1*b8*b17*b22*b27*b36 + b1*b8* b16*b23*b27*b36 - b1*b8*b16*b23*b30*b33 + b1*b8*b16*b24*b29*b33 - b1*b8* b18*b22*b29*b33 + b1*b12*b14*b22*b29*b33 - b6*b7*b14*b22*b29*b33 + b6*b7* b14*b22*b27*b35 - b1*b12*b14*b22*b27*b35 + b1*b8*b18*b22*b27*b35 - b1*b8* b16*b24*b27*b35 + b1*b8*b16*b21*b30*b35 - b1*b8*b16*b21*b29*b36 + b1*b10* b14*b21*b29*b36 - b1*b10*b14*b21*b30*b35 + b1*b10*b14*b24*b27*b35 - b1*b10 *b18*b20*b27*b35 + b1*b12*b16*b20*b27*b35 - b6*b7*b16*b20*b27*b35 + b6*b7* b16*b20*b29*b33 - b1*b12*b16*b20*b29*b33 + b1*b10*b18*b20*b29*b33 - b1*b10 *b14*b24*b29*b33 + b1*b10*b14*b23*b30*b33 - b1*b10*b14*b23*b27*b36 + b1* b10*b17*b20*b27*b36 - b1*b10*b17*b20*b30*b33 + b1*b10*b17*b24*b26*b33 - b1 *b10*b18*b23*b26*b33 + b1*b12*b16*b23*b26*b33 - b6*b7*b16*b23*b26*b33 + b6 *b7*b17*b22*b26*b33 - b1*b12*b17*b22*b26*b33 + b1*b11*b18*b22*b26*b33 - b1 *b11*b16*b24*b26*b33 + b1*b11*b16*b20*b30*b33 - b1*b11*b16*b20*b27*b36 + b5*b7*b16*b20*b27*b36 - b5*b7*b16*b20*b30*b33 + b5*b7*b16*b24*b26*b33 - b5 *b7*b18*b22*b26*b33 + b5*b12*b13*b22*b26*b33 - b6*b11*b13*b22*b26*b33 + b6 *b11*b16*b19*b26*b33 - b5*b12*b16*b19*b26*b33 + b5*b10*b18*b19*b26*b33 - b5*b10*b13*b24*b26*b33 + b5*b10*b13*b20*b30*b33 - b5*b10*b13*b20*b27*b36 + b4*b11*b13*b20*b27*b36 - b4*b11*b13*b20*b30*b33 + b4*b11*b13*b24*b26* b33 - b4*b11*b18*b19*b26*b33 + b4*b12*b17*b19*b26*b33 - b6*b10*b17*b19*b26 *b33 + b6*b10*b13*b23*b26*b33 - b4*b12*b13*b23*b26*b33 + b4*b7*b18*b23*b26 *b33 - b4*b7*b17*b24*b26*b33 + b4*b7*b17*b20*b30*b33 - b4*b7*b17*b20*b27* b36 + b4*b7*b14*b23*b27*b36 - b4*b7*b14*b23*b30*b33 + b4*b7*b14*b24*b29* b33 - b4*b7*b18*b20*b29*b33 + b4*b12*b13*b20*b29*b33 - b6*b10*b13*b20*b29* b33 + b6*b10*b13*b20*b27*b35 - b4*b12*b13*b20*b27*b35 + b4*b7*b18*b20*b27* b35 - b4*b7*b14*b24*b27*b35 + b4*b7*b14*b21*b30*b35 - b4*b7*b14*b21*b29* b36 + b4*b7*b15*b20*b29*b36 - b4*b7*b15*b20*b30*b35 + b4*b7*b15*b24*b26* b35 - b4*b7*b18*b21*b26*b35 + b4*b12*b13*b21*b26*b35 - b6*b10*b13*b21*b26* b35 + b6*b10*b13*b21*b29*b32 - b4*b12*b13*b21*b29*b32 + b4*b7*b18*b21*b29* b32 - b4*b7*b15*b24*b29*b32 + b4*b7*b15*b23*b30*b32 - b4*b7*b15*b23*b26* b36 + b4*b7*b17*b21*b26*b36 - b4*b7*b17*b21*b30*b32 + b4*b7*b17*b24*b27* b32 - b4*b7*b18*b23*b27*b32 + b4*b12*b13*b23*b27*b32 - b6*b10*b13*b23*b27* b32 + b6*b10*b17*b19*b27*b32 - b4*b12*b17*b19*b27*b32 + b4*b11*b18*b19*b27 *b32 - b4*b11*b13*b24*b27*b32 + b4*b11*b13*b21*b30*b32 - b4*b11*b13*b21* b26*b36 + b5*b10*b13*b21*b26*b36 - b5*b10*b13*b21*b30*b32 + b5*b10*b13*b24 *b27*b32 - b5*b10*b18*b19*b27*b32 + b5*b12*b16*b19*b27*b32 - b6*b11*b16* b19*b27*b32 + b6*b11*b13*b22*b27*b32 - b5*b12*b13*b22*b27*b32 + b5*b7*b18* b22*b27*b32 - b5*b7*b16*b24*b27*b32 + b5*b7*b16*b21*b30*b32 - b5*b7*b16* b21*b26*b36 + b1*b11*b16*b21*b26*b36 - b1*b11*b16*b21*b30*b32 + b1*b11*b16 *b24*b27*b32 - b1*b11*b18*b22*b27*b32 + b1*b12*b17*b22*b27*b32 - b6*b7*b17 *b22*b27*b32 + b6*b7*b16*b23*b27*b32 - b1*b12*b16*b23*b27*b32 + b1*b10*b18 *b23*b27*b32 - b1*b10*b17*b24*b27*b32 + b1*b10*b17*b21*b30*b32 - b1*b10* b17*b21*b26*b36 + b1*b10*b15*b23*b26*b36 - b1*b10*b15*b23*b30*b32 + b1*b10 *b15*b24*b29*b32 - b1*b10*b18*b21*b29*b32 + b1*b12*b16*b21*b29*b32 - b6*b7 *b16*b21*b29*b32 + b6*b7*b16*b21*b26*b35 - b1*b12*b16*b21*b26*b35 + b1*b10 *b18*b21*b26*b35 - b1*b10*b15*b24*b26*b35 + b1*b10*b15*b20*b30*b35 - b1* b10*b15*b20*b29*b36 + b1*b9*b16*b20*b29*b36 - b1*b9*b16*b20*b30*b35 + b1* b9*b16*b24*b26*b35 - b1*b9*b18*b22*b26*b35 + b1*b12*b15*b22*b26*b35 - b6* b7*b15*b22*b26*b35 + b6*b7*b15*b22*b29*b32 - b1*b12*b15*b22*b29*b32 + b1* b9*b18*b22*b29*b32 - b1*b9*b16*b24*b29*b32 + b1*b9*b16*b23*b30*b32 - b1*b9 *b16*b23*b26*b36 + b1*b9*b17*b22*b26*b36 - b1*b9*b17*b22*b30*b32 + b1*b9* b17*b24*b28*b32 - b1*b9*b18*b23*b28*b32 + b1*b12*b15*b23*b28*b32 - b6*b7* b15*b23*b28*b32 + b6*b7*b17*b21*b28*b32 - b1*b12*b17*b21*b28*b32 + b1*b11* b18*b21*b28*b32 - b1*b11*b15*b24*b28*b32 + b1*b11*b15*b22*b30*b32 - b1*b11 *b15*b22*b26*b36 + b5*b7*b15*b22*b26*b36 - b5*b7*b15*b22*b30*b32 + b5*b7* b15*b24*b28*b32 - b5*b7*b18*b21*b28*b32 + b5*b12*b13*b21*b28*b32 - b6*b11* b13*b21*b28*b32 + b6*b11*b13*b21*b26*b34 - b5*b12*b13*b21*b26*b34 + b5*b7* b18*b21*b26*b34 - b5*b7*b15*b24*b26*b34 + b5*b7*b15*b20*b30*b34 - b5*b7* b15*b20*b28*b36 + b1*b11*b15*b20*b28*b36 - b1*b11*b15*b20*b30*b34 + b1*b11 *b15*b24*b26*b34 - b1*b11*b18*b21*b26*b34 + b1*b12*b17*b21*b26*b34 - b6*b7 *b17*b21*b26*b34 + b6*b7*b15*b23*b26*b34 - b1*b12*b15*b23*b26*b34 + b1*b9* b18*b23*b26*b34 - b1*b9*b17*b24*b26*b34 + b1*b9*b17*b20*b30*b34 - b1*b9* b17*b20*b28*b36 + b1*b9*b14*b23*b28*b36 - b1*b9*b14*b23*b30*b34 + b1*b9* b14*b24*b29*b34 - b1*b9*b18*b20*b29*b34 + b1*b12*b15*b20*b29*b34 - b6*b7* b15*b20*b29*b34 + b6*b7*b15*b20*b28*b35 - b1*b12*b15*b20*b28*b35 + b1*b9* b18*b20*b28*b35 - b1*b9*b14*b24*b28*b35 + b1*b9*b14*b22*b30*b35 - b1*b9* b14*b22*b29*b36 + b3*b7*b14*b22*b29*b36 - b3*b7*b14*b22*b30*b35 + b3*b7* b14*b24*b28*b35 - b3*b7*b18*b20*b28*b35 + b3*b12*b13*b20*b28*b35 - b6*b9* b13*b20*b28*b35 + b6*b9*b13*b20*b29*b34 - b3*b12*b13*b20*b29*b34 + b3*b7* b18*b20*b29*b34 - b3*b7*b14*b24*b29*b34 + b3*b7*b14*b23*b30*b34 - b3*b7* b14*b23*b28*b36 + b3*b7*b17*b20*b28*b36 - b3*b7*b17*b20*b30*b34 + b3*b7* b17*b24*b26*b34 - b3*b7*b18*b23*b26*b34 + b3*b12*b13*b23*b26*b34 - b6*b9* b13*b23*b26*b34 + b6*b9*b17*b19*b26*b34 - b3*b12*b17*b19*b26*b34 + b3*b11* b18*b19*b26*b34 - b3*b11*b13*b24*b26*b34 + b3*b11*b13*b20*b30*b34 - b3*b11 *b13*b20*b28*b36 + b5*b9*b13*b20*b28*b36 - b5*b9*b13*b20*b30*b34 + b5*b9* b13*b24*b26*b34 - b5*b9*b18*b19*b26*b34 + b5*b12*b15*b19*b26*b34 - b6*b11* b15*b19*b26*b34 + b6*b11*b15*b19*b28*b32 - b5*b12*b15*b19*b28*b32 + b5*b9* b18*b19*b28*b32 - b5*b9*b13*b24*b28*b32 + b5*b9*b13*b22*b30*b32 - b5*b9* b13*b22*b26*b36 + b3*b11*b13*b22*b26*b36 - b3*b11*b13*b22*b30*b32 + b3*b11 *b13*b24*b28*b32 - b3*b11*b18*b19*b28*b32 + b3*b12*b17*b19*b28*b32 - b6*b9 *b17*b19*b28*b32 + b6*b9*b13*b23*b28*b32 - b3*b12*b13*b23*b28*b32 + b3*b7* b18*b23*b28*b32 - b3*b7*b17*b24*b28*b32 + b3*b7*b17*b22*b30*b32 - b3*b7* b17*b22*b26*b36 + b3*b7*b16*b23*b26*b36 - b3*b7*b16*b23*b30*b32 + b3*b7* b16*b24*b29*b32 - b3*b7*b18*b22*b29*b32 + b3*b12*b13*b22*b29*b32 - b6*b9* b13*b22*b29*b32 + b6*b9*b13*b22*b26*b35 - b3*b12*b13*b22*b26*b35 + b3*b7* b18*b22*b26*b35 - b3*b7*b16*b24*b26*b35 + b3*b7*b16*b20*b30*b35 - b3*b7* b16*b20*b29*b36 + b3*b10*b13*b20*b29*b36 - b3*b10*b13*b20*b30*b35 + b3*b10 *b13*b24*b26*b35 - b3*b10*b18*b19*b26*b35 + b3*b12*b16*b19*b26*b35 - b6*b9 *b16*b19*b26*b35 + b6*b9*b16*b19*b29*b32 - b3*b12*b16*b19*b29*b32 + b3*b10 *b18*b19*b29*b32 - b3*b10*b13*b24*b29*b32 + b3*b10*b13*b23*b30*b32 - b3* b10*b13*b23*b26*b36 + b3*b10*b17*b19*b26*b36 - b3*b10*b17*b19*b30*b32 + b3 *b10*b17*b24*b25*b32 - b3*b10*b18*b23*b25*b32 + b3*b12*b16*b23*b25*b32 - b6*b9*b16*b23*b25*b32 + b6*b9*b17*b22*b25*b32 - b3*b12*b17*b22*b25*b32 + b3*b11*b18*b22*b25*b32 - b3*b11*b16*b24*b25*b32 + b3*b11*b16*b19*b30*b32 - b3*b11*b16*b19*b26*b36 + b5*b9*b16*b19*b26*b36 - b5*b9*b16*b19*b30*b32 + b5*b9*b16*b24*b25*b32 - b5*b9*b18*b22*b25*b32 + b5*b12*b15*b22*b25*b32 - b6*b11*b15*b22*b25*b32 + b6*b11*b16*b21*b25*b32 - b5*b12*b16*b21*b25* b32 + b5*b10*b18*b21*b25*b32 - b5*b10*b15*b24*b25*b32 + b5*b10*b15*b19*b30 *b32 - b5*b10*b15*b19*b26*b36 + b4*b11*b15*b19*b26*b36 - b4*b11*b15*b19* b30*b32 + b4*b11*b15*b24*b25*b32 - b4*b11*b18*b21*b25*b32 + b4*b12*b17*b21 *b25*b32 - b6*b10*b17*b21*b25*b32 + b6*b10*b15*b23*b25*b32 - b4*b12*b15* b23*b25*b32 + b4*b9*b18*b23*b25*b32 - b4*b9*b17*b24*b25*b32 + b4*b9*b17* b19*b30*b32 - b4*b9*b17*b19*b26*b36 + b4*b9*b13*b23*b26*b36 - b4*b9*b13* b23*b30*b32 + b4*b9*b13*b24*b29*b32 - b4*b9*b18*b19*b29*b32 + b4*b12*b15* b19*b29*b32 - b6*b10*b15*b19*b29*b32 + b6*b10*b15*b19*b26*b35 - b4*b12*b15 *b19*b26*b35 + b4*b9*b18*b19*b26*b35 - b4*b9*b13*b24*b26*b35 + b4*b9*b13* b20*b30*b35 - b4*b9*b13*b20*b29*b36 + b4*b9*b14*b19*b29*b36 - b4*b9*b14* b19*b30*b35 + b4*b9*b14*b24*b25*b35 - b4*b9*b18*b20*b25*b35 + b4*b12*b15* b20*b25*b35 - b6*b10*b15*b20*b25*b35 + b6*b10*b15*b20*b29*b31 - b4*b12*b15 *b20*b29*b31 + b4*b9*b18*b20*b29*b31 - b4*b9*b14*b24*b29*b31 + b4*b9*b14* b23*b30*b31 - b4*b9*b14*b23*b25*b36 + b4*b9*b17*b20*b25*b36 - b4*b9*b17* b20*b30*b31 + b4*b9*b17*b24*b26*b31 - b4*b9*b18*b23*b26*b31 + b4*b12*b15* b23*b26*b31 - b6*b10*b15*b23*b26*b31 + b6*b10*b17*b21*b26*b31 - b4*b12*b17 *b21*b26*b31 + b4*b11*b18*b21*b26*b31 - b4*b11*b15*b24*b26*b31 + b4*b11* b15*b20*b30*b31 - b4*b11*b15*b20*b25*b36 + b5*b10*b15*b20*b25*b36 - b5*b10 *b15*b20*b30*b31 + b5*b10*b15*b24*b26*b31 - b5*b10*b18*b21*b26*b31 + b5* b12*b16*b21*b26*b31 - b6*b11*b16*b21*b26*b31 + b6*b11*b15*b22*b26*b31 - b5 *b12*b15*b22*b26*b31 + b5*b9*b18*b22*b26*b31 - b5*b9*b16*b24*b26*b31 + b5* b9*b16*b20*b30*b31 - b5*b9*b16*b20*b25*b36 + b3*b11*b16*b20*b25*b36 - b3* b11*b16*b20*b30*b31 + b3*b11*b16*b24*b26*b31 - b3*b11*b18*b22*b26*b31 + b3 *b12*b17*b22*b26*b31 - b6*b9*b17*b22*b26*b31 + b6*b9*b16*b23*b26*b31 - b3* b12*b16*b23*b26*b31 + b3*b10*b18*b23*b26*b31 - b3*b10*b17*b24*b26*b31 + b3 *b10*b17*b20*b30*b31 - b3*b10*b17*b20*b25*b36 + b3*b10*b14*b23*b25*b36 - b3*b10*b14*b23*b30*b31 + b3*b10*b14*b24*b29*b31 - b3*b10*b18*b20*b29*b31 + b3*b12*b16*b20*b29*b31 - b6*b9*b16*b20*b29*b31 + b6*b9*b16*b20*b25*b35 - b3*b12*b16*b20*b25*b35 + b3*b10*b18*b20*b25*b35 - b3*b10*b14*b24*b25* b35 + b3*b10*b14*b19*b30*b35 - b3*b10*b14*b19*b29*b36 + b3*b8*b16*b19*b29* b36 - b3*b8*b16*b19*b30*b35 + b3*b8*b16*b24*b25*b35 - b3*b8*b18*b22*b25* b35 + b3*b12*b14*b22*b25*b35 - b6*b9*b14*b22*b25*b35 + b6*b9*b14*b22*b29* b31 - b3*b12*b14*b22*b29*b31 + b3*b8*b18*b22*b29*b31 - b3*b8*b16*b24*b29* b31 + b3*b8*b16*b23*b30*b31 - b3*b8*b16*b23*b25*b36 + b3*b8*b17*b22*b25* b36 - b3*b8*b17*b22*b30*b31 + b3*b8*b17*b24*b28*b31 - b3*b8*b18*b23*b28* b31 + b3*b12*b14*b23*b28*b31 - b6*b9*b14*b23*b28*b31 + b6*b9*b17*b20*b28* b31 - b3*b12*b17*b20*b28*b31 + b3*b11*b18*b20*b28*b31 - b3*b11*b14*b24*b28 *b31 + b3*b11*b14*b22*b30*b31 - b3*b11*b14*b22*b25*b36 + b5*b9*b14*b22*b25 *b36 - b5*b9*b14*b22*b30*b31 + b5*b9*b14*b24*b28*b31 - b5*b9*b18*b20*b28* b31 + b5*b12*b15*b20*b28*b31 - b6*b11*b15*b20*b28*b31 + b6*b11*b15*b20*b25 *b34 - b5*b12*b15*b20*b25*b34 + b5*b9*b18*b20*b25*b34 - b5*b9*b14*b24*b25* b34 + b5*b9*b14*b19*b30*b34 - b5*b9*b14*b19*b28*b36 + b3*b11*b14*b19*b28* b36 - b3*b11*b14*b19*b30*b34 + b3*b11*b14*b24*b25*b34 - b3*b11*b18*b20*b25 *b34 + b3*b12*b17*b20*b25*b34 - b6*b9*b17*b20*b25*b34 + b6*b9*b14*b23*b25* b34 - b3*b12*b14*b23*b25*b34 + b3*b8*b18*b23*b25*b34 - b3*b8*b17*b24*b25* b34 + b3*b8*b17*b19*b30*b34 - b3*b8*b17*b19*b28*b36 + b3*b8*b13*b23*b28* b36 - b3*b8*b13*b23*b30*b34 + b3*b8*b13*b24*b29*b34 - b3*b8*b18*b19*b29* b34 + b3*b12*b14*b19*b29*b34 - b6*b9*b14*b19*b29*b34 + b6*b9*b14*b19*b28* b35 - b3*b12*b14*b19*b28*b35 + b3*b8*b18*b19*b28*b35 - b3*b8*b13*b24*b28* b35 + b3*b8*b13*b22*b30*b35 - b3*b8*b13*b22*b29*b36 + b2*b9*b13*b22*b29* b36 - b2*b9*b13*b22*b30*b35 + b2*b9*b13*b24*b28*b35 - b2*b9*b18*b19*b28* b35 + b2*b12*b15*b19*b28*b35 - b6*b8*b15*b19*b28*b35 + b6*b8*b15*b19*b29* b34 - b2*b12*b15*b19*b29*b34 + b2*b9*b18*b19*b29*b34 - b2*b9*b13*b24*b29* b34 + b2*b9*b13*b23*b30*b34 - b2*b9*b13*b23*b28*b36 + b2*b9*b17*b19*b28* b36 - b2*b9*b17*b19*b30*b34 + b2*b9*b17*b24*b25*b34 - b2*b9*b18*b23*b25* b34 + b2*b12*b15*b23*b25*b34 - b6*b8*b15*b23*b25*b34 + b6*b8*b17*b21*b25* b34 - b2*b12*b17*b21*b25*b34 + b2*b11*b18*b21*b25*b34 - b2*b11*b15*b24*b25 *b34 + b2*b11*b15*b19*b30*b34 - b2*b11*b15*b19*b28*b36 + b5*b8*b15*b19*b28 *b36 - b5*b8*b15*b19*b30*b34 + b5*b8*b15*b24*b25*b34 - b5*b8*b18*b21*b25* b34 + b5*b12*b14*b21*b25*b34 - b6*b11*b14*b21*b25*b34 + b6*b11*b14*b21*b28 *b31 - b5*b12*b14*b21*b28*b31 + b5*b8*b18*b21*b28*b31 - b5*b8*b15*b24*b28* b31 + b5*b8*b15*b22*b30*b31 - b5*b8*b15*b22*b25*b36 + b2*b11*b15*b22*b25* b36 - b2*b11*b15*b22*b30*b31 + b2*b11*b15*b24*b28*b31 - b2*b11*b18*b21*b28 *b31 + b2*b12*b17*b21*b28*b31 - b6*b8*b17*b21*b28*b31 + b6*b8*b15*b23*b28* b31 - b2*b12*b15*b23*b28*b31 + b2*b9*b18*b23*b28*b31 - b2*b9*b17*b24*b28* b31 + b2*b9*b17*b22*b30*b31 - b2*b9*b17*b22*b25*b36 + b2*b9*b16*b23*b25* b36 - b2*b9*b16*b23*b30*b31 + b2*b9*b16*b24*b29*b31 - b2*b9*b18*b22*b29* b31 + b2*b12*b15*b22*b29*b31 - b6*b8*b15*b22*b29*b31 + b6*b8*b15*b22*b25* b35 - b2*b12*b15*b22*b25*b35 + b2*b9*b18*b22*b25*b35 - b2*b9*b16*b24*b25* b35 + b2*b9*b16*b19*b30*b35 - b2*b9*b16*b19*b29*b36 + b2*b10*b15*b19*b29* b36 - b2*b10*b15*b19*b30*b35 + b2*b10*b15*b24*b25*b35 - b2*b10*b18*b21*b25 *b35 + b2*b12*b16*b21*b25*b35 - b6*b8*b16*b21*b25*b35 + b6*b8*b16*b21*b29* b31 - b2*b12*b16*b21*b29*b31 + b2*b10*b18*b21*b29*b31 - b2*b10*b15*b24*b29 *b31 + b2*b10*b15*b23*b30*b31 - b2*b10*b15*b23*b25*b36 + b2*b10*b17*b21* b25*b36 - b2*b10*b17*b21*b30*b31 + b2*b10*b17*b24*b27*b31 - b2*b10*b18*b23 *b27*b31 + b2*b12*b16*b23*b27*b31 - b6*b8*b16*b23*b27*b31 + b6*b8*b17*b22* b27*b31 - b2*b12*b17*b22*b27*b31 + b2*b11*b18*b22*b27*b31 - b2*b11*b16*b24 *b27*b31 + b2*b11*b16*b21*b30*b31 - b2*b11*b16*b21*b25*b36 + b5*b8*b16*b21 *b25*b36 - b5*b8*b16*b21*b30*b31 + b5*b8*b16*b24*b27*b31 - b5*b8*b18*b22* b27*b31 + b5*b12*b14*b22*b27*b31 - b6*b11*b14*b22*b27*b31 + b6*b11*b16*b20 *b27*b31 - b5*b12*b16*b20*b27*b31 + b5*b10*b18*b20*b27*b31 - b5*b10*b14* b24*b27*b31 + b5*b10*b14*b21*b30*b31 - b5*b10*b14*b21*b25*b36 + b4*b11*b14 *b21*b25*b36 - b4*b11*b14*b21*b30*b31 + b4*b11*b14*b24*b27*b31 - b4*b11* b18*b20*b27*b31 + b4*b12*b17*b20*b27*b31 - b6*b10*b17*b20*b27*b31 + b6*b10 *b14*b23*b27*b31 - b4*b12*b14*b23*b27*b31 + b4*b8*b18*b23*b27*b31 - b4*b8* b17*b24*b27*b31 + b4*b8*b17*b21*b30*b31 - b4*b8*b17*b21*b25*b36 + b4*b8* b15*b23*b25*b36 - b4*b8*b15*b23*b30*b31 + b4*b8*b15*b24*b29*b31 - b4*b8* b18*b21*b29*b31 + b4*b12*b14*b21*b29*b31 - b6*b10*b14*b21*b29*b31 + b6*b10 *b14*b21*b25*b35 - b4*b12*b14*b21*b25*b35 + b4*b8*b18*b21*b25*b35 - b4*b8* b15*b24*b25*b35 + b4*b8*b15*b19*b30*b35 - b4*b8*b15*b19*b29*b36 + b4*b8* b13*b21*b29*b36 - b4*b8*b13*b21*b30*b35 + b4*b8*b13*b24*b27*b35 - b4*b8* b18*b19*b27*b35 + b4*b12*b14*b19*b27*b35 - b6*b10*b14*b19*b27*b35 + b6*b10 *b14*b19*b29*b33 - b4*b12*b14*b19*b29*b33 + b4*b8*b18*b19*b29*b33 - b4*b8* b13*b24*b29*b33 + b4*b8*b13*b23*b30*b33 - b4*b8*b13*b23*b27*b36 + b4*b8* b17*b19*b27*b36 - b4*b8*b17*b19*b30*b33 + b4*b8*b17*b24*b25*b33 - b4*b8* b18*b23*b25*b33 + b4*b12*b14*b23*b25*b33 - b6*b10*b14*b23*b25*b33 + b6*b10 *b17*b20*b25*b33 - b4*b12*b17*b20*b25*b33 + b4*b11*b18*b20*b25*b33 - b4* b11*b14*b24*b25*b33 + b4*b11*b14*b19*b30*b33 - b4*b11*b14*b19*b27*b36 + b5 *b10*b14*b19*b27*b36 - b5*b10*b14*b19*b30*b33 + b5*b10*b14*b24*b25*b33 - b5*b10*b18*b20*b25*b33 + b5*b12*b16*b20*b25*b33 - b6*b11*b16*b20*b25*b33 + b6*b11*b14*b22*b25*b33 - b5*b12*b14*b22*b25*b33 + b5*b8*b18*b22*b25*b33 - b5*b8*b16*b24*b25*b33 + b5*b8*b16*b19*b30*b33 - b5*b8*b16*b19*b27*b36 + b2*b11*b16*b19*b27*b36 - b2*b11*b16*b19*b30*b33 + b2*b11*b16*b24*b25* b33 - b2*b11*b18*b22*b25*b33 + b2*b12*b17*b22*b25*b33 - b6*b8*b17*b22*b25* b33 + b6*b8*b16*b23*b25*b33 - b2*b12*b16*b23*b25*b33 + b2*b10*b18*b23*b25* b33 - b2*b10*b17*b24*b25*b33 + b2*b10*b17*b19*b30*b33 - b2*b10*b17*b19*b27 *b36 + b2*b10*b13*b23*b27*b36 - b2*b10*b13*b23*b30*b33 + b2*b10*b13*b24* b29*b33 - b2*b10*b18*b19*b29*b33 + b2*b12*b16*b19*b29*b33 - b6*b8*b16*b19* b29*b33 + b6*b8*b16*b19*b27*b35 - b2*b12*b16*b19*b27*b35 + b2*b10*b18*b19* b27*b35 - b2*b10*b13*b24*b27*b35 + b2*b10*b13*b21*b30*b35 - b2*b10*b13*b21 *b29*b36 + b2*b7*b16*b21*b29*b36 - b2*b7*b16*b21*b30*b35 + b2*b7*b16*b24* b27*b35 - b2*b7*b18*b22*b27*b35 + b2*b12*b13*b22*b27*b35 - b6*b8*b13*b22* b27*b35 + b6*b8*b13*b22*b29*b33 - b2*b12*b13*b22*b29*b33 + b2*b7*b18*b22* b29*b33 - b2*b7*b16*b24*b29*b33 + b2*b7*b16*b23*b30*b33 - b2*b7*b16*b23* b27*b36 + b2*b7*b17*b22*b27*b36 - b2*b7*b17*b22*b30*b33 + b2*b7*b17*b24* b28*b33 - b2*b7*b18*b23*b28*b33 + b2*b12*b13*b23*b28*b33 - b6*b8*b13*b23* b28*b33 + b6*b8*b17*b19*b28*b33 - b2*b12*b17*b19*b28*b33 + b2*b11*b18*b19* b28*b33 - b2*b11*b13*b24*b28*b33 + b2*b11*b13*b22*b30*b33 - b2*b11*b13*b22 *b27*b36 + b5*b8*b13*b22*b27*b36 - b5*b8*b13*b22*b30*b33 + b5*b8*b13*b24* b28*b33 - b5*b8*b18*b19*b28*b33 + b5*b12*b14*b19*b28*b33 - b6*b11*b14*b19* b28*b33 + b6*b11*b14*b19*b27*b34 - b5*b12*b14*b19*b27*b34 + b5*b8*b18*b19* b27*b34 - b5*b8*b13*b24*b27*b34 + b5*b8*b13*b21*b30*b34 - b5*b8*b13*b21* b28*b36 + b2*b11*b13*b21*b28*b36 - b2*b11*b13*b21*b30*b34 + b2*b11*b13*b24 *b27*b34 - b2*b11*b18*b19*b27*b34 + b2*b12*b17*b19*b27*b34 - b6*b8*b17*b19 *b27*b34 + b6*b8*b13*b23*b27*b34 - b2*b12*b13*b23*b27*b34 + b2*b7*b18*b23* b27*b34 - b2*b7*b17*b24*b27*b34 + b2*b7*b17*b21*b30*b34 - b2*b7*b17*b21* b28*b36 + b2*b7*b15*b23*b28*b36 - b2*b7*b15*b23*b30*b34 + b2*b7*b15*b24* b29*b34 - b2*b7*b18*b21*b29*b34 + b2*b12*b13*b21*b29*b34 - b6*b8*b13*b21* b29*b34 + b6*b8*b13*b21*b28*b35 - b2*b12*b13*b21*b28*b35 + b2*b7*b18*b21* b28*b35 - b2*b7*b15*b24*b28*b35 + b2*b7*b15*b22*b30*b35 - b2*b7*b15*b22* b29*b36 - objvar >= 0 } } Procedure MainInitialization; MathematicalProgram hadamard_6 { Objective: objvar; Direction: maximize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve hadamard_6; } } Procedure MainTermination { Body: { return 1; } } }