H_12 := Matrix(12,12,[
[1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1],
[1,1,-1,1,-1,-1,-1,1,1,1,-1,1],
[1,1,1,-1,1,-1,-1,-1,1,1,1,-1],
[1,-1,1,1,-1,1,-1,-1,-1,1,1,1],
[1,1,-1,1,1,-1,1,-1,-1,-1,1,1],
[1,1,1,-1,1,1,-1,1,-1,-1,-1,1],
[1,1,1,1,-1,1,1,-1,1,-1,-1,-1],
[1,-1,1,1,1,-1,1,1,-1,1,-1,-1],
[1,-1,-1,1,1,1,-1,1,1,-1,1,-1],
[1,-1,-1,-1,1,1,1,-1,1,1,-1,1],
[1,1,-1,-1,-1,1,1,1,-1,1,1,-1],
[1,-1,1,-1,-1,-1,1,1,1,-1,1,1]
]);