#
# 2cc Hadamard matrix Legendre pairs CSP, {V,D,C}, for ell = 33
# Created by: Ilias S. Kotsireas, ikotsire@gmail.com, Date Created: December 15, 2020
# 66 variables, 66 {-1,+1} domains, 18 constraints, (2 linear and 16 quadratic)
#

V := 
a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33
b1, 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

D := 
Da1 = ... = Da33 = {-1,+1}
Db1 = ... = Db33 = {-1,+1}

C := 
c1 := a1*a2+a2*a3+a3*a4+a4*a5+a5*a6+a6*a7+a7*a8+a8*a9+a9*a10+a10*a11+a11*a12+a12*a13+a13*a14+a14*a15+a15*a16+a16*a17+a17*a18+a18*a19+a19*a20+a20*a21+a21*a22+a22*a23+a23*a24+a24*a25+a25*a26+a26*a27+a27*a28+a28*a29+a29*a30+a30*a31+a31*a32+a32*a33+a33*a1+b1*b2+b2*b3+b3*b4+b4*b5+b5*b6+b6*b7+b7*b8+b8*b9+b9*b10+b10*b11+b11*b12+b12*b13+b13*b14+b14*b15+b15*b16+b16*b17+b17*b18+b18*b19+b19*b20+b20*b21+b21*b22+b22*b23+b23*b24+b24*b25+b25*b26+b26*b27+b27*b28+b28*b29+b29*b30+b30*b31+b31*b32+b32*b33+b33*b1 = -2

c2 := a1*a3+a2*a4+a3*a5+a4*a6+a5*a7+a6*a8+a7*a9+a8*a10+a9*a11+a10*a12+a11*a13+a12*a14+a13*a15+a14*a16+a15*a17+a16*a18+a17*a19+a18*a20+a19*a21+a20*a22+a21*a23+a22*a24+a23*a25+a24*a26+a25*a27+a26*a28+a27*a29+a28*a30+a29*a31+a30*a32+a31*a33+a32*a1+a33*a2+b1*b3+b2*b4+b3*b5+b4*b6+b5*b7+b6*b8+b7*b9+b8*b10+b9*b11+b10*b12+b11*b13+b12*b14+b13*b15+b14*b16+b15*b17+b16*b18+b17*b19+b18*b20+b19*b21+b20*b22+b21*b23+b22*b24+b23*b25+b24*b26+b25*b27+b26*b28+b27*b29+b28*b30+b29*b31+b30*b32+b31*b33+b32*b1+b33*b2 = -2

c3 := a1*a4+a2*a5+a3*a6+a4*a7+a5*a8+a6*a9+a7*a10+a8*a11+a9*a12+a10*a13+a11*a14+a12*a15+a13*a16+a14*a17+a15*a18+a16*a19+a17*a20+a18*a21+a19*a22+a20*a23+a21*a24+a22*a25+a23*a26+a24*a27+a25*a28+a26*a29+a27*a30+a28*a31+a29*a32+a30*a33+a31*a1+a32*a2+a33*a3+b1*b4+b2*b5+b3*b6+b4*b7+b5*b8+b6*b9+b7*b10+b8*b11+b9*b12+b10*b13+b11*b14+b12*b15+b13*b16+b14*b17+b15*b18+b16*b19+b17*b20+b18*b21+b19*b22+b20*b23+b21*b24+b22*b25+b23*b26+b24*b27+b25*b28+b26*b29+b27*b30+b28*b31+b29*b32+b30*b33+b31*b1+b32*b2+b33*b3 = -2

c4 := a1*a5+a2*a6+a3*a7+a4*a8+a5*a9+a6*a10+a7*a11+a8*a12+a9*a13+a10*a14+a11*a15+a12*a16+a13*a17+a14*a18+a15*a19+a16*a20+a17*a21+a18*a22+a19*a23+a20*a24+a21*a25+a22*a26+a23*a27+a24*a28+a25*a29+a26*a30+a27*a31+a28*a32+a29*a33+a30*a1+a31*a2+a32*a3+a33*a4+b1*b5+b2*b6+b3*b7+b4*b8+b5*b9+b6*b10+b7*b11+b8*b12+b9*b13+b10*b14+b11*b15+b12*b16+b13*b17+b14*b18+b15*b19+b16*b20+b17*b21+b18*b22+b19*b23+b20*b24+b21*b25+b22*b26+b23*b27+b24*b28+b25*b29+b26*b30+b27*b31+b28*b32+b29*b33+b30*b1+b31*b2+b32*b3+b33*b4 = -2

c5 := a1*a6+a2*a7+a3*a8+a4*a9+a5*a10+a6*a11+a7*a12+a8*a13+a9*a14+a10*a15+a11*a16+a12*a17+a13*a18+a14*a19+a15*a20+a16*a21+a17*a22+a18*a23+a19*a24+a20*a25+a21*a26+a22*a27+a23*a28+a24*a29+a25*a30+a26*a31+a27*a32+a28*a33+a29*a1+a30*a2+a31*a3+a32*a4+a33*a5+b1*b6+b2*b7+b3*b8+b4*b9+b5*b10+b6*b11+b7*b12+b8*b13+b9*b14+b10*b15+b11*b16+b12*b17+b13*b18+b14*b19+b15*b20+b16*b21+b17*b22+b18*b23+b19*b24+b20*b25+b21*b26+b22*b27+b23*b28+b24*b29+b25*b30+b26*b31+b27*b32+b28*b33+b29*b1+b30*b2+b31*b3+b32*b4+b33*b5 = -2

c6 := a1*a7+a2*a8+a3*a9+a4*a10+a5*a11+a6*a12+a7*a13+a8*a14+a9*a15+a10*a16+a11*a17+a12*a18+a13*a19+a14*a20+a15*a21+a16*a22+a17*a23+a18*a24+a19*a25+a20*a26+a21*a27+a22*a28+a23*a29+a24*a30+a25*a31+a26*a32+a27*a33+a28*a1+a29*a2+a30*a3+a31*a4+a32*a5+a33*a6+b1*b7+b2*b8+b3*b9+b4*b10+b5*b11+b6*b12+b7*b13+b8*b14+b9*b15+b10*b16+b11*b17+b12*b18+b13*b19+b14*b20+b15*b21+b16*b22+b17*b23+b18*b24+b19*b25+b20*b26+b21*b27+b22*b28+b23*b29+b24*b30+b25*b31+b26*b32+b27*b33+b28*b1+b29*b2+b30*b3+b31*b4+b32*b5+b33*b6 = -2

c7 := a1*a8+a2*a9+a3*a10+a4*a11+a5*a12+a6*a13+a7*a14+a8*a15+a9*a16+a10*a17+a11*a18+a12*a19+a13*a20+a14*a21+a15*a22+a16*a23+a17*a24+a18*a25+a19*a26+a20*a27+a21*a28+a22*a29+a23*a30+a24*a31+a25*a32+a26*a33+a27*a1+a28*a2+a29*a3+a30*a4+a31*a5+a32*a6+a33*a7+b1*b8+b2*b9+b3*b10+b4*b11+b5*b12+b6*b13+b7*b14+b8*b15+b9*b16+b10*b17+b11*b18+b12*b19+b13*b20+b14*b21+b15*b22+b16*b23+b17*b24+b18*b25+b19*b26+b20*b27+b21*b28+b22*b29+b23*b30+b24*b31+b25*b32+b26*b33+b27*b1+b28*b2+b29*b3+b30*b4+b31*b5+b32*b6+b33*b7 = -2

c8 := a1*a9+a2*a10+a3*a11+a4*a12+a5*a13+a6*a14+a7*a15+a8*a16+a9*a17+a10*a18+a11*a19+a12*a20+a13*a21+a14*a22+a15*a23+a16*a24+a17*a25+a18*a26+a19*a27+a20*a28+a21*a29+a22*a30+a23*a31+a24*a32+a25*a33+a26*a1+a27*a2+a28*a3+a29*a4+a30*a5+a31*a6+a32*a7+a33*a8+b1*b9+b2*b10+b3*b11+b4*b12+b5*b13+b6*b14+b7*b15+b8*b16+b9*b17+b10*b18+b11*b19+b12*b20+b13*b21+b14*b22+b15*b23+b16*b24+b17*b25+b18*b26+b19*b27+b20*b28+b21*b29+b22*b30+b23*b31+b24*b32+b25*b33+b26*b1+b27*b2+b28*b3+b29*b4+b30*b5+b31*b6+b32*b7+b33*b8 = -2

c9 := a1*a10+a2*a11+a3*a12+a4*a13+a5*a14+a6*a15+a7*a16+a8*a17+a9*a18+a10*a19+a11*a20+a12*a21+a13*a22+a14*a23+a15*a24+a16*a25+a17*a26+a18*a27+a19*a28+a20*a29+a21*a30+a22*a31+a23*a32+a24*a33+a25*a1+a26*a2+a27*a3+a28*a4+a29*a5+a30*a6+a31*a7+a32*a8+a33*a9+b1*b10+b2*b11+b3*b12+b4*b13+b5*b14+b6*b15+b7*b16+b8*b17+b9*b18+b10*b19+b11*b20+b12*b21+b13*b22+b14*b23+b15*b24+b16*b25+b17*b26+b18*b27+b19*b28+b20*b29+b21*b30+b22*b31+b23*b32+b24*b33+b25*b1+b26*b2+b27*b3+b28*b4+b29*b5+b30*b6+b31*b7+b32*b8+b33*b9 = -2

c10 := a1*a11+a2*a12+a3*a13+a4*a14+a5*a15+a6*a16+a7*a17+a8*a18+a9*a19+a10*a20+a11*a21+a12*a22+a13*a23+a14*a24+a15*a25+a16*a26+a17*a27+a18*a28+a19*a29+a20*a30+a21*a31+a22*a32+a23*a33+a24*a1+a25*a2+a26*a3+a27*a4+a28*a5+a29*a6+a30*a7+a31*a8+a32*a9+a33*a10+b1*b11+b2*b12+b3*b13+b4*b14+b5*b15+b6*b16+b7*b17+b8*b18+b9*b19+b10*b20+b11*b21+b12*b22+b13*b23+b14*b24+b15*b25+b16*b26+b17*b27+b18*b28+b19*b29+b20*b30+b21*b31+b22*b32+b23*b33+b24*b1+b25*b2+b26*b3+b27*b4+b28*b5+b29*b6+b30*b7+b31*b8+b32*b9+b33*b10 = -2

c11 := a1*a12+a2*a13+a3*a14+a4*a15+a5*a16+a6*a17+a7*a18+a8*a19+a9*a20+a10*a21+a11*a22+a12*a23+a13*a24+a14*a25+a15*a26+a16*a27+a17*a28+a18*a29+a19*a30+a20*a31+a21*a32+a22*a33+a23*a1+a24*a2+a25*a3+a26*a4+a27*a5+a28*a6+a29*a7+a30*a8+a31*a9+a32*a10+a33*a11+b1*b12+b2*b13+b3*b14+b4*b15+b5*b16+b6*b17+b7*b18+b8*b19+b9*b20+b10*b21+b11*b22+b12*b23+b13*b24+b14*b25+b15*b26+b16*b27+b17*b28+b18*b29+b19*b30+b20*b31+b21*b32+b22*b33+b23*b1+b24*b2+b25*b3+b26*b4+b27*b5+b28*b6+b29*b7+b30*b8+b31*b9+b32*b10+b33*b11 = -2

c12 := a1*a13+a2*a14+a3*a15+a4*a16+a5*a17+a6*a18+a7*a19+a8*a20+a9*a21+a10*a22+a11*a23+a12*a24+a13*a25+a14*a26+a15*a27+a16*a28+a17*a29+a18*a30+a19*a31+a20*a32+a21*a33+a22*a1+a23*a2+a24*a3+a25*a4+a26*a5+a27*a6+a28*a7+a29*a8+a30*a9+a31*a10+a32*a11+a33*a12+b1*b13+b2*b14+b3*b15+b4*b16+b5*b17+b6*b18+b7*b19+b8*b20+b9*b21+b10*b22+b11*b23+b12*b24+b13*b25+b14*b26+b15*b27+b16*b28+b17*b29+b18*b30+b19*b31+b20*b32+b21*b33+b22*b1+b23*b2+b24*b3+b25*b4+b26*b5+b27*b6+b28*b7+b29*b8+b30*b9+b31*b10+b32*b11+b33*b12 = -2

c13 := a1*a14+a2*a15+a3*a16+a4*a17+a5*a18+a6*a19+a7*a20+a8*a21+a9*a22+a10*a23+a11*a24+a12*a25+a13*a26+a14*a27+a15*a28+a16*a29+a17*a30+a18*a31+a19*a32+a20*a33+a21*a1+a22*a2+a23*a3+a24*a4+a25*a5+a26*a6+a27*a7+a28*a8+a29*a9+a30*a10+a31*a11+a32*a12+a33*a13+b1*b14+b2*b15+b3*b16+b4*b17+b5*b18+b6*b19+b7*b20+b8*b21+b9*b22+b10*b23+b11*b24+b12*b25+b13*b26+b14*b27+b15*b28+b16*b29+b17*b30+b18*b31+b19*b32+b20*b33+b21*b1+b22*b2+b23*b3+b24*b4+b25*b5+b26*b6+b27*b7+b28*b8+b29*b9+b30*b10+b31*b11+b32*b12+b33*b13 = -2

c14 := a1*a15+a2*a16+a3*a17+a4*a18+a5*a19+a6*a20+a7*a21+a8*a22+a9*a23+a10*a24+a11*a25+a12*a26+a13*a27+a14*a28+a15*a29+a16*a30+a17*a31+a18*a32+a19*a33+a20*a1+a21*a2+a22*a3+a23*a4+a24*a5+a25*a6+a26*a7+a27*a8+a28*a9+a29*a10+a30*a11+a31*a12+a32*a13+a33*a14+b1*b15+b2*b16+b3*b17+b4*b18+b5*b19+b6*b20+b7*b21+b8*b22+b9*b23+b10*b24+b11*b25+b12*b26+b13*b27+b14*b28+b15*b29+b16*b30+b17*b31+b18*b32+b19*b33+b20*b1+b21*b2+b22*b3+b23*b4+b24*b5+b25*b6+b26*b7+b27*b8+b28*b9+b29*b10+b30*b11+b31*b12+b32*b13+b33*b14 = -2

c15 := a1*a16+a2*a17+a3*a18+a4*a19+a5*a20+a6*a21+a7*a22+a8*a23+a9*a24+a10*a25+a11*a26+a12*a27+a13*a28+a14*a29+a15*a30+a16*a31+a17*a32+a18*a33+a19*a1+a20*a2+a21*a3+a22*a4+a23*a5+a24*a6+a25*a7+a26*a8+a27*a9+a28*a10+a29*a11+a30*a12+a31*a13+a32*a14+a33*a15+b1*b16+b2*b17+b3*b18+b4*b19+b5*b20+b6*b21+b7*b22+b8*b23+b9*b24+b10*b25+b11*b26+b12*b27+b13*b28+b14*b29+b15*b30+b16*b31+b17*b32+b18*b33+b19*b1+b20*b2+b21*b3+b22*b4+b23*b5+b24*b6+b25*b7+b26*b8+b27*b9+b28*b10+b29*b11+b30*b12+b31*b13+b32*b14+b33*b15 = -2

c16 := a1*a17+a2*a18+a3*a19+a4*a20+a5*a21+a6*a22+a7*a23+a8*a24+a9*a25+a10*a26+a11*a27+a12*a28+a13*a29+a14*a30+a15*a31+a16*a32+a17*a33+a18*a1+a19*a2+a20*a3+a21*a4+a22*a5+a23*a6+a24*a7+a25*a8+a26*a9+a27*a10+a28*a11+a29*a12+a30*a13+a31*a14+a32*a15+a33*a16+b1*b17+b2*b18+b3*b19+b4*b20+b5*b21+b6*b22+b7*b23+b8*b24+b9*b25+b10*b26+b11*b27+b12*b28+b13*b29+b14*b30+b15*b31+b16*b32+b17*b33+b18*b1+b19*b2+b20*b3+b21*b4+b22*b5+b23*b6+b24*b7+b25*b8+b26*b9+b27*b10+b28*b11+b29*b12+b30*b13+b31*b14+b32*b15+b33*b16 = -2

c17 := a1+a2+a3+a4+a5+a6+a7+a8+a9+a10+a11+a12+a13+a14+a15+a16+a17+a18+a19+a20+a21+a22+a23+a24+a25+a26+a27+a28+a29+a30+a31+a32+a33 = 1

c18 := b1+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 = 1