# # 2cc Hadamard matrix Legendre pairs CSP, {V,D,C}, for ell = 75 # Created by: Ilias S. Kotsireas, ikotsire@gmail.com, Date Created: December 15, 2020 # 150 variables, 150 {-1,+1} domains, 39 constraints, (2 linear and 37 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, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55, a56, a57, a58, a59, a60, a61, a62, a63, a64, a65, a66, a67, a68, a69, a70, a71, a72, a73, a74, a75 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, b34, b35, b36, b37, b38, b39, b40, b41, b42, b43, b44, b45, b46, b47, b48, b49, b50, b51, b52, b53, b54, b55, b56, b57, b58, b59, b60, b61, b62, b63, b64, b65, b66, b67, b68, b69, b70, b71, b72, b73, b74, b75 D := Da1 = ... = Da75 = {-1,+1} Db1 = ... = Db75 = {-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*a34+a34*a35+a35*a36+a36*a37+a37*a38+a38*a39+a39*a40+a40*a41+a41*a42+a42*a43+a43*a44+a44*a45+a45*a46+a46*a47+a47*a48+a48*a49+a49*a50+a50*a51+a51*a52+a52*a53+a53*a54+a54*a55+a55*a56+a56*a57+a57*a58+a58*a59+a59*a60+a60*a61+a61*a62+a62*a63+a63*a64+a64*a65+a65*a66+a66*a67+a67*a68+a68*a69+a69*a70+a70*a71+a71*a72+a72*a73+a73*a74+a74*a75+a75*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*b34+b34*b35+b35*b36+b36*b37+b37*b38+b38*b39+b39*b40+b40*b41+b41*b42+b42*b43+b43*b44+b44*b45+b45*b46+b46*b47+b47*b48+b48*b49+b49*b50+b50*b51+b51*b52+b52*b53+b53*b54+b54*b55+b55*b56+b56*b57+b57*b58+b58*b59+b59*b60+b60*b61+b61*b62+b62*b63+b63*b64+b64*b65+b65*b66+b66*b67+b67*b68+b68*b69+b69*b70+b70*b71+b71*b72+b72*b73+b73*b74+b74*b75+b75*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*a34+a33*a35+a34*a36+a35*a37+a36*a38+a37*a39+a38*a40+a39*a41+a40*a42+a41*a43+a42*a44+a43*a45+a44*a46+a45*a47+a46*a48+a47*a49+a48*a50+a49*a51+a50*a52+a51*a53+a52*a54+a53*a55+a54*a56+a55*a57+a56*a58+a57*a59+a58*a60+a59*a61+a60*a62+a61*a63+a62*a64+a63*a65+a64*a66+a65*a67+a66*a68+a67*a69+a68*a70+a69*a71+a70*a72+a71*a73+a72*a74+a73*a75+a74*a1+a75*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*b34+b33*b35+b34*b36+b35*b37+b36*b38+b37*b39+b38*b40+b39*b41+b40*b42+b41*b43+b42*b44+b43*b45+b44*b46+b45*b47+b46*b48+b47*b49+b48*b50+b49*b51+b50*b52+b51*b53+b52*b54+b53*b55+b54*b56+b55*b57+b56*b58+b57*b59+b58*b60+b59*b61+b60*b62+b61*b63+b62*b64+b63*b65+b64*b66+b65*b67+b66*b68+b67*b69+b68*b70+b69*b71+b70*b72+b71*b73+b72*b74+b73*b75+b74*b1+b75*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*a34+a32*a35+a33*a36+a34*a37+a35*a38+a36*a39+a37*a40+a38*a41+a39*a42+a40*a43+a41*a44+a42*a45+a43*a46+a44*a47+a45*a48+a46*a49+a47*a50+a48*a51+a49*a52+a50*a53+a51*a54+a52*a55+a53*a56+a54*a57+a55*a58+a56*a59+a57*a60+a58*a61+a59*a62+a60*a63+a61*a64+a62*a65+a63*a66+a64*a67+a65*a68+a66*a69+a67*a70+a68*a71+a69*a72+a70*a73+a71*a74+a72*a75+a73*a1+a74*a2+a75*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*b34+b32*b35+b33*b36+b34*b37+b35*b38+b36*b39+b37*b40+b38*b41+b39*b42+b40*b43+b41*b44+b42*b45+b43*b46+b44*b47+b45*b48+b46*b49+b47*b50+b48*b51+b49*b52+b50*b53+b51*b54+b52*b55+b53*b56+b54*b57+b55*b58+b56*b59+b57*b60+b58*b61+b59*b62+b60*b63+b61*b64+b62*b65+b63*b66+b64*b67+b65*b68+b66*b69+b67*b70+b68*b71+b69*b72+b70*b73+b71*b74+b72*b75+b73*b1+b74*b2+b75*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*a34+a31*a35+a32*a36+a33*a37+a34*a38+a35*a39+a36*a40+a37*a41+a38*a42+a39*a43+a40*a44+a41*a45+a42*a46+a43*a47+a44*a48+a45*a49+a46*a50+a47*a51+a48*a52+a49*a53+a50*a54+a51*a55+a52*a56+a53*a57+a54*a58+a55*a59+a56*a60+a57*a61+a58*a62+a59*a63+a60*a64+a61*a65+a62*a66+a63*a67+a64*a68+a65*a69+a66*a70+a67*a71+a68*a72+a69*a73+a70*a74+a71*a75+a72*a1+a73*a2+a74*a3+a75*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*b34+b31*b35+b32*b36+b33*b37+b34*b38+b35*b39+b36*b40+b37*b41+b38*b42+b39*b43+b40*b44+b41*b45+b42*b46+b43*b47+b44*b48+b45*b49+b46*b50+b47*b51+b48*b52+b49*b53+b50*b54+b51*b55+b52*b56+b53*b57+b54*b58+b55*b59+b56*b60+b57*b61+b58*b62+b59*b63+b60*b64+b61*b65+b62*b66+b63*b67+b64*b68+b65*b69+b66*b70+b67*b71+b68*b72+b69*b73+b70*b74+b71*b75+b72*b1+b73*b2+b74*b3+b75*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*a34+a30*a35+a31*a36+a32*a37+a33*a38+a34*a39+a35*a40+a36*a41+a37*a42+a38*a43+a39*a44+a40*a45+a41*a46+a42*a47+a43*a48+a44*a49+a45*a50+a46*a51+a47*a52+a48*a53+a49*a54+a50*a55+a51*a56+a52*a57+a53*a58+a54*a59+a55*a60+a56*a61+a57*a62+a58*a63+a59*a64+a60*a65+a61*a66+a62*a67+a63*a68+a64*a69+a65*a70+a66*a71+a67*a72+a68*a73+a69*a74+a70*a75+a71*a1+a72*a2+a73*a3+a74*a4+a75*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*b34+b30*b35+b31*b36+b32*b37+b33*b38+b34*b39+b35*b40+b36*b41+b37*b42+b38*b43+b39*b44+b40*b45+b41*b46+b42*b47+b43*b48+b44*b49+b45*b50+b46*b51+b47*b52+b48*b53+b49*b54+b50*b55+b51*b56+b52*b57+b53*b58+b54*b59+b55*b60+b56*b61+b57*b62+b58*b63+b59*b64+b60*b65+b61*b66+b62*b67+b63*b68+b64*b69+b65*b70+b66*b71+b67*b72+b68*b73+b69*b74+b70*b75+b71*b1+b72*b2+b73*b3+b74*b4+b75*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*a34+a29*a35+a30*a36+a31*a37+a32*a38+a33*a39+a34*a40+a35*a41+a36*a42+a37*a43+a38*a44+a39*a45+a40*a46+a41*a47+a42*a48+a43*a49+a44*a50+a45*a51+a46*a52+a47*a53+a48*a54+a49*a55+a50*a56+a51*a57+a52*a58+a53*a59+a54*a60+a55*a61+a56*a62+a57*a63+a58*a64+a59*a65+a60*a66+a61*a67+a62*a68+a63*a69+a64*a70+a65*a71+a66*a72+a67*a73+a68*a74+a69*a75+a70*a1+a71*a2+a72*a3+a73*a4+a74*a5+a75*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*b34+b29*b35+b30*b36+b31*b37+b32*b38+b33*b39+b34*b40+b35*b41+b36*b42+b37*b43+b38*b44+b39*b45+b40*b46+b41*b47+b42*b48+b43*b49+b44*b50+b45*b51+b46*b52+b47*b53+b48*b54+b49*b55+b50*b56+b51*b57+b52*b58+b53*b59+b54*b60+b55*b61+b56*b62+b57*b63+b58*b64+b59*b65+b60*b66+b61*b67+b62*b68+b63*b69+b64*b70+b65*b71+b66*b72+b67*b73+b68*b74+b69*b75+b70*b1+b71*b2+b72*b3+b73*b4+b74*b5+b75*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*a34+a28*a35+a29*a36+a30*a37+a31*a38+a32*a39+a33*a40+a34*a41+a35*a42+a36*a43+a37*a44+a38*a45+a39*a46+a40*a47+a41*a48+a42*a49+a43*a50+a44*a51+a45*a52+a46*a53+a47*a54+a48*a55+a49*a56+a50*a57+a51*a58+a52*a59+a53*a60+a54*a61+a55*a62+a56*a63+a57*a64+a58*a65+a59*a66+a60*a67+a61*a68+a62*a69+a63*a70+a64*a71+a65*a72+a66*a73+a67*a74+a68*a75+a69*a1+a70*a2+a71*a3+a72*a4+a73*a5+a74*a6+a75*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*b34+b28*b35+b29*b36+b30*b37+b31*b38+b32*b39+b33*b40+b34*b41+b35*b42+b36*b43+b37*b44+b38*b45+b39*b46+b40*b47+b41*b48+b42*b49+b43*b50+b44*b51+b45*b52+b46*b53+b47*b54+b48*b55+b49*b56+b50*b57+b51*b58+b52*b59+b53*b60+b54*b61+b55*b62+b56*b63+b57*b64+b58*b65+b59*b66+b60*b67+b61*b68+b62*b69+b63*b70+b64*b71+b65*b72+b66*b73+b67*b74+b68*b75+b69*b1+b70*b2+b71*b3+b72*b4+b73*b5+b74*b6+b75*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*a34+a27*a35+a28*a36+a29*a37+a30*a38+a31*a39+a32*a40+a33*a41+a34*a42+a35*a43+a36*a44+a37*a45+a38*a46+a39*a47+a40*a48+a41*a49+a42*a50+a43*a51+a44*a52+a45*a53+a46*a54+a47*a55+a48*a56+a49*a57+a50*a58+a51*a59+a52*a60+a53*a61+a54*a62+a55*a63+a56*a64+a57*a65+a58*a66+a59*a67+a60*a68+a61*a69+a62*a70+a63*a71+a64*a72+a65*a73+a66*a74+a67*a75+a68*a1+a69*a2+a70*a3+a71*a4+a72*a5+a73*a6+a74*a7+a75*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*b34+b27*b35+b28*b36+b29*b37+b30*b38+b31*b39+b32*b40+b33*b41+b34*b42+b35*b43+b36*b44+b37*b45+b38*b46+b39*b47+b40*b48+b41*b49+b42*b50+b43*b51+b44*b52+b45*b53+b46*b54+b47*b55+b48*b56+b49*b57+b50*b58+b51*b59+b52*b60+b53*b61+b54*b62+b55*b63+b56*b64+b57*b65+b58*b66+b59*b67+b60*b68+b61*b69+b62*b70+b63*b71+b64*b72+b65*b73+b66*b74+b67*b75+b68*b1+b69*b2+b70*b3+b71*b4+b72*b5+b73*b6+b74*b7+b75*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*a34+a26*a35+a27*a36+a28*a37+a29*a38+a30*a39+a31*a40+a32*a41+a33*a42+a34*a43+a35*a44+a36*a45+a37*a46+a38*a47+a39*a48+a40*a49+a41*a50+a42*a51+a43*a52+a44*a53+a45*a54+a46*a55+a47*a56+a48*a57+a49*a58+a50*a59+a51*a60+a52*a61+a53*a62+a54*a63+a55*a64+a56*a65+a57*a66+a58*a67+a59*a68+a60*a69+a61*a70+a62*a71+a63*a72+a64*a73+a65*a74+a66*a75+a67*a1+a68*a2+a69*a3+a70*a4+a71*a5+a72*a6+a73*a7+a74*a8+a75*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*b34+b26*b35+b27*b36+b28*b37+b29*b38+b30*b39+b31*b40+b32*b41+b33*b42+b34*b43+b35*b44+b36*b45+b37*b46+b38*b47+b39*b48+b40*b49+b41*b50+b42*b51+b43*b52+b44*b53+b45*b54+b46*b55+b47*b56+b48*b57+b49*b58+b50*b59+b51*b60+b52*b61+b53*b62+b54*b63+b55*b64+b56*b65+b57*b66+b58*b67+b59*b68+b60*b69+b61*b70+b62*b71+b63*b72+b64*b73+b65*b74+b66*b75+b67*b1+b68*b2+b69*b3+b70*b4+b71*b5+b72*b6+b73*b7+b74*b8+b75*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*a34+a25*a35+a26*a36+a27*a37+a28*a38+a29*a39+a30*a40+a31*a41+a32*a42+a33*a43+a34*a44+a35*a45+a36*a46+a37*a47+a38*a48+a39*a49+a40*a50+a41*a51+a42*a52+a43*a53+a44*a54+a45*a55+a46*a56+a47*a57+a48*a58+a49*a59+a50*a60+a51*a61+a52*a62+a53*a63+a54*a64+a55*a65+a56*a66+a57*a67+a58*a68+a59*a69+a60*a70+a61*a71+a62*a72+a63*a73+a64*a74+a65*a75+a66*a1+a67*a2+a68*a3+a69*a4+a70*a5+a71*a6+a72*a7+a73*a8+a74*a9+a75*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*b34+b25*b35+b26*b36+b27*b37+b28*b38+b29*b39+b30*b40+b31*b41+b32*b42+b33*b43+b34*b44+b35*b45+b36*b46+b37*b47+b38*b48+b39*b49+b40*b50+b41*b51+b42*b52+b43*b53+b44*b54+b45*b55+b46*b56+b47*b57+b48*b58+b49*b59+b50*b60+b51*b61+b52*b62+b53*b63+b54*b64+b55*b65+b56*b66+b57*b67+b58*b68+b59*b69+b60*b70+b61*b71+b62*b72+b63*b73+b64*b74+b65*b75+b66*b1+b67*b2+b68*b3+b69*b4+b70*b5+b71*b6+b72*b7+b73*b8+b74*b9+b75*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*a34+a24*a35+a25*a36+a26*a37+a27*a38+a28*a39+a29*a40+a30*a41+a31*a42+a32*a43+a33*a44+a34*a45+a35*a46+a36*a47+a37*a48+a38*a49+a39*a50+a40*a51+a41*a52+a42*a53+a43*a54+a44*a55+a45*a56+a46*a57+a47*a58+a48*a59+a49*a60+a50*a61+a51*a62+a52*a63+a53*a64+a54*a65+a55*a66+a56*a67+a57*a68+a58*a69+a59*a70+a60*a71+a61*a72+a62*a73+a63*a74+a64*a75+a65*a1+a66*a2+a67*a3+a68*a4+a69*a5+a70*a6+a71*a7+a72*a8+a73*a9+a74*a10+a75*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*b34+b24*b35+b25*b36+b26*b37+b27*b38+b28*b39+b29*b40+b30*b41+b31*b42+b32*b43+b33*b44+b34*b45+b35*b46+b36*b47+b37*b48+b38*b49+b39*b50+b40*b51+b41*b52+b42*b53+b43*b54+b44*b55+b45*b56+b46*b57+b47*b58+b48*b59+b49*b60+b50*b61+b51*b62+b52*b63+b53*b64+b54*b65+b55*b66+b56*b67+b57*b68+b58*b69+b59*b70+b60*b71+b61*b72+b62*b73+b63*b74+b64*b75+b65*b1+b66*b2+b67*b3+b68*b4+b69*b5+b70*b6+b71*b7+b72*b8+b73*b9+b74*b10+b75*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*a34+a23*a35+a24*a36+a25*a37+a26*a38+a27*a39+a28*a40+a29*a41+a30*a42+a31*a43+a32*a44+a33*a45+a34*a46+a35*a47+a36*a48+a37*a49+a38*a50+a39*a51+a40*a52+a41*a53+a42*a54+a43*a55+a44*a56+a45*a57+a46*a58+a47*a59+a48*a60+a49*a61+a50*a62+a51*a63+a52*a64+a53*a65+a54*a66+a55*a67+a56*a68+a57*a69+a58*a70+a59*a71+a60*a72+a61*a73+a62*a74+a63*a75+a64*a1+a65*a2+a66*a3+a67*a4+a68*a5+a69*a6+a70*a7+a71*a8+a72*a9+a73*a10+a74*a11+a75*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*b34+b23*b35+b24*b36+b25*b37+b26*b38+b27*b39+b28*b40+b29*b41+b30*b42+b31*b43+b32*b44+b33*b45+b34*b46+b35*b47+b36*b48+b37*b49+b38*b50+b39*b51+b40*b52+b41*b53+b42*b54+b43*b55+b44*b56+b45*b57+b46*b58+b47*b59+b48*b60+b49*b61+b50*b62+b51*b63+b52*b64+b53*b65+b54*b66+b55*b67+b56*b68+b57*b69+b58*b70+b59*b71+b60*b72+b61*b73+b62*b74+b63*b75+b64*b1+b65*b2+b66*b3+b67*b4+b68*b5+b69*b6+b70*b7+b71*b8+b72*b9+b73*b10+b74*b11+b75*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*a34+a22*a35+a23*a36+a24*a37+a25*a38+a26*a39+a27*a40+a28*a41+a29*a42+a30*a43+a31*a44+a32*a45+a33*a46+a34*a47+a35*a48+a36*a49+a37*a50+a38*a51+a39*a52+a40*a53+a41*a54+a42*a55+a43*a56+a44*a57+a45*a58+a46*a59+a47*a60+a48*a61+a49*a62+a50*a63+a51*a64+a52*a65+a53*a66+a54*a67+a55*a68+a56*a69+a57*a70+a58*a71+a59*a72+a60*a73+a61*a74+a62*a75+a63*a1+a64*a2+a65*a3+a66*a4+a67*a5+a68*a6+a69*a7+a70*a8+a71*a9+a72*a10+a73*a11+a74*a12+a75*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*b34+b22*b35+b23*b36+b24*b37+b25*b38+b26*b39+b27*b40+b28*b41+b29*b42+b30*b43+b31*b44+b32*b45+b33*b46+b34*b47+b35*b48+b36*b49+b37*b50+b38*b51+b39*b52+b40*b53+b41*b54+b42*b55+b43*b56+b44*b57+b45*b58+b46*b59+b47*b60+b48*b61+b49*b62+b50*b63+b51*b64+b52*b65+b53*b66+b54*b67+b55*b68+b56*b69+b57*b70+b58*b71+b59*b72+b60*b73+b61*b74+b62*b75+b63*b1+b64*b2+b65*b3+b66*b4+b67*b5+b68*b6+b69*b7+b70*b8+b71*b9+b72*b10+b73*b11+b74*b12+b75*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*a34+a21*a35+a22*a36+a23*a37+a24*a38+a25*a39+a26*a40+a27*a41+a28*a42+a29*a43+a30*a44+a31*a45+a32*a46+a33*a47+a34*a48+a35*a49+a36*a50+a37*a51+a38*a52+a39*a53+a40*a54+a41*a55+a42*a56+a43*a57+a44*a58+a45*a59+a46*a60+a47*a61+a48*a62+a49*a63+a50*a64+a51*a65+a52*a66+a53*a67+a54*a68+a55*a69+a56*a70+a57*a71+a58*a72+a59*a73+a60*a74+a61*a75+a62*a1+a63*a2+a64*a3+a65*a4+a66*a5+a67*a6+a68*a7+a69*a8+a70*a9+a71*a10+a72*a11+a73*a12+a74*a13+a75*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*b34+b21*b35+b22*b36+b23*b37+b24*b38+b25*b39+b26*b40+b27*b41+b28*b42+b29*b43+b30*b44+b31*b45+b32*b46+b33*b47+b34*b48+b35*b49+b36*b50+b37*b51+b38*b52+b39*b53+b40*b54+b41*b55+b42*b56+b43*b57+b44*b58+b45*b59+b46*b60+b47*b61+b48*b62+b49*b63+b50*b64+b51*b65+b52*b66+b53*b67+b54*b68+b55*b69+b56*b70+b57*b71+b58*b72+b59*b73+b60*b74+b61*b75+b62*b1+b63*b2+b64*b3+b65*b4+b66*b5+b67*b6+b68*b7+b69*b8+b70*b9+b71*b10+b72*b11+b73*b12+b74*b13+b75*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*a34+a20*a35+a21*a36+a22*a37+a23*a38+a24*a39+a25*a40+a26*a41+a27*a42+a28*a43+a29*a44+a30*a45+a31*a46+a32*a47+a33*a48+a34*a49+a35*a50+a36*a51+a37*a52+a38*a53+a39*a54+a40*a55+a41*a56+a42*a57+a43*a58+a44*a59+a45*a60+a46*a61+a47*a62+a48*a63+a49*a64+a50*a65+a51*a66+a52*a67+a53*a68+a54*a69+a55*a70+a56*a71+a57*a72+a58*a73+a59*a74+a60*a75+a61*a1+a62*a2+a63*a3+a64*a4+a65*a5+a66*a6+a67*a7+a68*a8+a69*a9+a70*a10+a71*a11+a72*a12+a73*a13+a74*a14+a75*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*b34+b20*b35+b21*b36+b22*b37+b23*b38+b24*b39+b25*b40+b26*b41+b27*b42+b28*b43+b29*b44+b30*b45+b31*b46+b32*b47+b33*b48+b34*b49+b35*b50+b36*b51+b37*b52+b38*b53+b39*b54+b40*b55+b41*b56+b42*b57+b43*b58+b44*b59+b45*b60+b46*b61+b47*b62+b48*b63+b49*b64+b50*b65+b51*b66+b52*b67+b53*b68+b54*b69+b55*b70+b56*b71+b57*b72+b58*b73+b59*b74+b60*b75+b61*b1+b62*b2+b63*b3+b64*b4+b65*b5+b66*b6+b67*b7+b68*b8+b69*b9+b70*b10+b71*b11+b72*b12+b73*b13+b74*b14+b75*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*a34+a19*a35+a20*a36+a21*a37+a22*a38+a23*a39+a24*a40+a25*a41+a26*a42+a27*a43+a28*a44+a29*a45+a30*a46+a31*a47+a32*a48+a33*a49+a34*a50+a35*a51+a36*a52+a37*a53+a38*a54+a39*a55+a40*a56+a41*a57+a42*a58+a43*a59+a44*a60+a45*a61+a46*a62+a47*a63+a48*a64+a49*a65+a50*a66+a51*a67+a52*a68+a53*a69+a54*a70+a55*a71+a56*a72+a57*a73+a58*a74+a59*a75+a60*a1+a61*a2+a62*a3+a63*a4+a64*a5+a65*a6+a66*a7+a67*a8+a68*a9+a69*a10+a70*a11+a71*a12+a72*a13+a73*a14+a74*a15+a75*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*b34+b19*b35+b20*b36+b21*b37+b22*b38+b23*b39+b24*b40+b25*b41+b26*b42+b27*b43+b28*b44+b29*b45+b30*b46+b31*b47+b32*b48+b33*b49+b34*b50+b35*b51+b36*b52+b37*b53+b38*b54+b39*b55+b40*b56+b41*b57+b42*b58+b43*b59+b44*b60+b45*b61+b46*b62+b47*b63+b48*b64+b49*b65+b50*b66+b51*b67+b52*b68+b53*b69+b54*b70+b55*b71+b56*b72+b57*b73+b58*b74+b59*b75+b60*b1+b61*b2+b62*b3+b63*b4+b64*b5+b65*b6+b66*b7+b67*b8+b68*b9+b69*b10+b70*b11+b71*b12+b72*b13+b73*b14+b74*b15+b75*b16 = -2 c17 := a1*a18+a2*a19+a3*a20+a4*a21+a5*a22+a6*a23+a7*a24+a8*a25+a9*a26+a10*a27+a11*a28+a12*a29+a13*a30+a14*a31+a15*a32+a16*a33+a17*a34+a18*a35+a19*a36+a20*a37+a21*a38+a22*a39+a23*a40+a24*a41+a25*a42+a26*a43+a27*a44+a28*a45+a29*a46+a30*a47+a31*a48+a32*a49+a33*a50+a34*a51+a35*a52+a36*a53+a37*a54+a38*a55+a39*a56+a40*a57+a41*a58+a42*a59+a43*a60+a44*a61+a45*a62+a46*a63+a47*a64+a48*a65+a49*a66+a50*a67+a51*a68+a52*a69+a53*a70+a54*a71+a55*a72+a56*a73+a57*a74+a58*a75+a59*a1+a60*a2+a61*a3+a62*a4+a63*a5+a64*a6+a65*a7+a66*a8+a67*a9+a68*a10+a69*a11+a70*a12+a71*a13+a72*a14+a73*a15+a74*a16+a75*a17+b1*b18+b2*b19+b3*b20+b4*b21+b5*b22+b6*b23+b7*b24+b8*b25+b9*b26+b10*b27+b11*b28+b12*b29+b13*b30+b14*b31+b15*b32+b16*b33+b17*b34+b18*b35+b19*b36+b20*b37+b21*b38+b22*b39+b23*b40+b24*b41+b25*b42+b26*b43+b27*b44+b28*b45+b29*b46+b30*b47+b31*b48+b32*b49+b33*b50+b34*b51+b35*b52+b36*b53+b37*b54+b38*b55+b39*b56+b40*b57+b41*b58+b42*b59+b43*b60+b44*b61+b45*b62+b46*b63+b47*b64+b48*b65+b49*b66+b50*b67+b51*b68+b52*b69+b53*b70+b54*b71+b55*b72+b56*b73+b57*b74+b58*b75+b59*b1+b60*b2+b61*b3+b62*b4+b63*b5+b64*b6+b65*b7+b66*b8+b67*b9+b68*b10+b69*b11+b70*b12+b71*b13+b72*b14+b73*b15+b74*b16+b75*b17 = -2 c18 := 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*a34+a17*a35+a18*a36+a19*a37+a20*a38+a21*a39+a22*a40+a23*a41+a24*a42+a25*a43+a26*a44+a27*a45+a28*a46+a29*a47+a30*a48+a31*a49+a32*a50+a33*a51+a34*a52+a35*a53+a36*a54+a37*a55+a38*a56+a39*a57+a40*a58+a41*a59+a42*a60+a43*a61+a44*a62+a45*a63+a46*a64+a47*a65+a48*a66+a49*a67+a50*a68+a51*a69+a52*a70+a53*a71+a54*a72+a55*a73+a56*a74+a57*a75+a58*a1+a59*a2+a60*a3+a61*a4+a62*a5+a63*a6+a64*a7+a65*a8+a66*a9+a67*a10+a68*a11+a69*a12+a70*a13+a71*a14+a72*a15+a73*a16+a74*a17+a75*a18+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*b34+b17*b35+b18*b36+b19*b37+b20*b38+b21*b39+b22*b40+b23*b41+b24*b42+b25*b43+b26*b44+b27*b45+b28*b46+b29*b47+b30*b48+b31*b49+b32*b50+b33*b51+b34*b52+b35*b53+b36*b54+b37*b55+b38*b56+b39*b57+b40*b58+b41*b59+b42*b60+b43*b61+b44*b62+b45*b63+b46*b64+b47*b65+b48*b66+b49*b67+b50*b68+b51*b69+b52*b70+b53*b71+b54*b72+b55*b73+b56*b74+b57*b75+b58*b1+b59*b2+b60*b3+b61*b4+b62*b5+b63*b6+b64*b7+b65*b8+b66*b9+b67*b10+b68*b11+b69*b12+b70*b13+b71*b14+b72*b15+b73*b16+b74*b17+b75*b18 = -2 c19 := 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*a34+a16*a35+a17*a36+a18*a37+a19*a38+a20*a39+a21*a40+a22*a41+a23*a42+a24*a43+a25*a44+a26*a45+a27*a46+a28*a47+a29*a48+a30*a49+a31*a50+a32*a51+a33*a52+a34*a53+a35*a54+a36*a55+a37*a56+a38*a57+a39*a58+a40*a59+a41*a60+a42*a61+a43*a62+a44*a63+a45*a64+a46*a65+a47*a66+a48*a67+a49*a68+a50*a69+a51*a70+a52*a71+a53*a72+a54*a73+a55*a74+a56*a75+a57*a1+a58*a2+a59*a3+a60*a4+a61*a5+a62*a6+a63*a7+a64*a8+a65*a9+a66*a10+a67*a11+a68*a12+a69*a13+a70*a14+a71*a15+a72*a16+a73*a17+a74*a18+a75*a19+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*b34+b16*b35+b17*b36+b18*b37+b19*b38+b20*b39+b21*b40+b22*b41+b23*b42+b24*b43+b25*b44+b26*b45+b27*b46+b28*b47+b29*b48+b30*b49+b31*b50+b32*b51+b33*b52+b34*b53+b35*b54+b36*b55+b37*b56+b38*b57+b39*b58+b40*b59+b41*b60+b42*b61+b43*b62+b44*b63+b45*b64+b46*b65+b47*b66+b48*b67+b49*b68+b50*b69+b51*b70+b52*b71+b53*b72+b54*b73+b55*b74+b56*b75+b57*b1+b58*b2+b59*b3+b60*b4+b61*b5+b62*b6+b63*b7+b64*b8+b65*b9+b66*b10+b67*b11+b68*b12+b69*b13+b70*b14+b71*b15+b72*b16+b73*b17+b74*b18+b75*b19 = -2 c20 := 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*a34+a15*a35+a16*a36+a17*a37+a18*a38+a19*a39+a20*a40+a21*a41+a22*a42+a23*a43+a24*a44+a25*a45+a26*a46+a27*a47+a28*a48+a29*a49+a30*a50+a31*a51+a32*a52+a33*a53+a34*a54+a35*a55+a36*a56+a37*a57+a38*a58+a39*a59+a40*a60+a41*a61+a42*a62+a43*a63+a44*a64+a45*a65+a46*a66+a47*a67+a48*a68+a49*a69+a50*a70+a51*a71+a52*a72+a53*a73+a54*a74+a55*a75+a56*a1+a57*a2+a58*a3+a59*a4+a60*a5+a61*a6+a62*a7+a63*a8+a64*a9+a65*a10+a66*a11+a67*a12+a68*a13+a69*a14+a70*a15+a71*a16+a72*a17+a73*a18+a74*a19+a75*a20+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*b34+b15*b35+b16*b36+b17*b37+b18*b38+b19*b39+b20*b40+b21*b41+b22*b42+b23*b43+b24*b44+b25*b45+b26*b46+b27*b47+b28*b48+b29*b49+b30*b50+b31*b51+b32*b52+b33*b53+b34*b54+b35*b55+b36*b56+b37*b57+b38*b58+b39*b59+b40*b60+b41*b61+b42*b62+b43*b63+b44*b64+b45*b65+b46*b66+b47*b67+b48*b68+b49*b69+b50*b70+b51*b71+b52*b72+b53*b73+b54*b74+b55*b75+b56*b1+b57*b2+b58*b3+b59*b4+b60*b5+b61*b6+b62*b7+b63*b8+b64*b9+b65*b10+b66*b11+b67*b12+b68*b13+b69*b14+b70*b15+b71*b16+b72*b17+b73*b18+b74*b19+b75*b20 = -2 c21 := 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*a34+a14*a35+a15*a36+a16*a37+a17*a38+a18*a39+a19*a40+a20*a41+a21*a42+a22*a43+a23*a44+a24*a45+a25*a46+a26*a47+a27*a48+a28*a49+a29*a50+a30*a51+a31*a52+a32*a53+a33*a54+a34*a55+a35*a56+a36*a57+a37*a58+a38*a59+a39*a60+a40*a61+a41*a62+a42*a63+a43*a64+a44*a65+a45*a66+a46*a67+a47*a68+a48*a69+a49*a70+a50*a71+a51*a72+a52*a73+a53*a74+a54*a75+a55*a1+a56*a2+a57*a3+a58*a4+a59*a5+a60*a6+a61*a7+a62*a8+a63*a9+a64*a10+a65*a11+a66*a12+a67*a13+a68*a14+a69*a15+a70*a16+a71*a17+a72*a18+a73*a19+a74*a20+a75*a21+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*b34+b14*b35+b15*b36+b16*b37+b17*b38+b18*b39+b19*b40+b20*b41+b21*b42+b22*b43+b23*b44+b24*b45+b25*b46+b26*b47+b27*b48+b28*b49+b29*b50+b30*b51+b31*b52+b32*b53+b33*b54+b34*b55+b35*b56+b36*b57+b37*b58+b38*b59+b39*b60+b40*b61+b41*b62+b42*b63+b43*b64+b44*b65+b45*b66+b46*b67+b47*b68+b48*b69+b49*b70+b50*b71+b51*b72+b52*b73+b53*b74+b54*b75+b55*b1+b56*b2+b57*b3+b58*b4+b59*b5+b60*b6+b61*b7+b62*b8+b63*b9+b64*b10+b65*b11+b66*b12+b67*b13+b68*b14+b69*b15+b70*b16+b71*b17+b72*b18+b73*b19+b74*b20+b75*b21 = -2 c22 := a1*a23+a2*a24+a3*a25+a4*a26+a5*a27+a6*a28+a7*a29+a8*a30+a9*a31+a10*a32+a11*a33+a12*a34+a13*a35+a14*a36+a15*a37+a16*a38+a17*a39+a18*a40+a19*a41+a20*a42+a21*a43+a22*a44+a23*a45+a24*a46+a25*a47+a26*a48+a27*a49+a28*a50+a29*a51+a30*a52+a31*a53+a32*a54+a33*a55+a34*a56+a35*a57+a36*a58+a37*a59+a38*a60+a39*a61+a40*a62+a41*a63+a42*a64+a43*a65+a44*a66+a45*a67+a46*a68+a47*a69+a48*a70+a49*a71+a50*a72+a51*a73+a52*a74+a53*a75+a54*a1+a55*a2+a56*a3+a57*a4+a58*a5+a59*a6+a60*a7+a61*a8+a62*a9+a63*a10+a64*a11+a65*a12+a66*a13+a67*a14+a68*a15+a69*a16+a70*a17+a71*a18+a72*a19+a73*a20+a74*a21+a75*a22+b1*b23+b2*b24+b3*b25+b4*b26+b5*b27+b6*b28+b7*b29+b8*b30+b9*b31+b10*b32+b11*b33+b12*b34+b13*b35+b14*b36+b15*b37+b16*b38+b17*b39+b18*b40+b19*b41+b20*b42+b21*b43+b22*b44+b23*b45+b24*b46+b25*b47+b26*b48+b27*b49+b28*b50+b29*b51+b30*b52+b31*b53+b32*b54+b33*b55+b34*b56+b35*b57+b36*b58+b37*b59+b38*b60+b39*b61+b40*b62+b41*b63+b42*b64+b43*b65+b44*b66+b45*b67+b46*b68+b47*b69+b48*b70+b49*b71+b50*b72+b51*b73+b52*b74+b53*b75+b54*b1+b55*b2+b56*b3+b57*b4+b58*b5+b59*b6+b60*b7+b61*b8+b62*b9+b63*b10+b64*b11+b65*b12+b66*b13+b67*b14+b68*b15+b69*b16+b70*b17+b71*b18+b72*b19+b73*b20+b74*b21+b75*b22 = -2 c23 := a1*a24+a2*a25+a3*a26+a4*a27+a5*a28+a6*a29+a7*a30+a8*a31+a9*a32+a10*a33+a11*a34+a12*a35+a13*a36+a14*a37+a15*a38+a16*a39+a17*a40+a18*a41+a19*a42+a20*a43+a21*a44+a22*a45+a23*a46+a24*a47+a25*a48+a26*a49+a27*a50+a28*a51+a29*a52+a30*a53+a31*a54+a32*a55+a33*a56+a34*a57+a35*a58+a36*a59+a37*a60+a38*a61+a39*a62+a40*a63+a41*a64+a42*a65+a43*a66+a44*a67+a45*a68+a46*a69+a47*a70+a48*a71+a49*a72+a50*a73+a51*a74+a52*a75+a53*a1+a54*a2+a55*a3+a56*a4+a57*a5+a58*a6+a59*a7+a60*a8+a61*a9+a62*a10+a63*a11+a64*a12+a65*a13+a66*a14+a67*a15+a68*a16+a69*a17+a70*a18+a71*a19+a72*a20+a73*a21+a74*a22+a75*a23+b1*b24+b2*b25+b3*b26+b4*b27+b5*b28+b6*b29+b7*b30+b8*b31+b9*b32+b10*b33+b11*b34+b12*b35+b13*b36+b14*b37+b15*b38+b16*b39+b17*b40+b18*b41+b19*b42+b20*b43+b21*b44+b22*b45+b23*b46+b24*b47+b25*b48+b26*b49+b27*b50+b28*b51+b29*b52+b30*b53+b31*b54+b32*b55+b33*b56+b34*b57+b35*b58+b36*b59+b37*b60+b38*b61+b39*b62+b40*b63+b41*b64+b42*b65+b43*b66+b44*b67+b45*b68+b46*b69+b47*b70+b48*b71+b49*b72+b50*b73+b51*b74+b52*b75+b53*b1+b54*b2+b55*b3+b56*b4+b57*b5+b58*b6+b59*b7+b60*b8+b61*b9+b62*b10+b63*b11+b64*b12+b65*b13+b66*b14+b67*b15+b68*b16+b69*b17+b70*b18+b71*b19+b72*b20+b73*b21+b74*b22+b75*b23 = -2 c24 := a1*a25+a2*a26+a3*a27+a4*a28+a5*a29+a6*a30+a7*a31+a8*a32+a9*a33+a10*a34+a11*a35+a12*a36+a13*a37+a14*a38+a15*a39+a16*a40+a17*a41+a18*a42+a19*a43+a20*a44+a21*a45+a22*a46+a23*a47+a24*a48+a25*a49+a26*a50+a27*a51+a28*a52+a29*a53+a30*a54+a31*a55+a32*a56+a33*a57+a34*a58+a35*a59+a36*a60+a37*a61+a38*a62+a39*a63+a40*a64+a41*a65+a42*a66+a43*a67+a44*a68+a45*a69+a46*a70+a47*a71+a48*a72+a49*a73+a50*a74+a51*a75+a52*a1+a53*a2+a54*a3+a55*a4+a56*a5+a57*a6+a58*a7+a59*a8+a60*a9+a61*a10+a62*a11+a63*a12+a64*a13+a65*a14+a66*a15+a67*a16+a68*a17+a69*a18+a70*a19+a71*a20+a72*a21+a73*a22+a74*a23+a75*a24+b1*b25+b2*b26+b3*b27+b4*b28+b5*b29+b6*b30+b7*b31+b8*b32+b9*b33+b10*b34+b11*b35+b12*b36+b13*b37+b14*b38+b15*b39+b16*b40+b17*b41+b18*b42+b19*b43+b20*b44+b21*b45+b22*b46+b23*b47+b24*b48+b25*b49+b26*b50+b27*b51+b28*b52+b29*b53+b30*b54+b31*b55+b32*b56+b33*b57+b34*b58+b35*b59+b36*b60+b37*b61+b38*b62+b39*b63+b40*b64+b41*b65+b42*b66+b43*b67+b44*b68+b45*b69+b46*b70+b47*b71+b48*b72+b49*b73+b50*b74+b51*b75+b52*b1+b53*b2+b54*b3+b55*b4+b56*b5+b57*b6+b58*b7+b59*b8+b60*b9+b61*b10+b62*b11+b63*b12+b64*b13+b65*b14+b66*b15+b67*b16+b68*b17+b69*b18+b70*b19+b71*b20+b72*b21+b73*b22+b74*b23+b75*b24 = -2 c25 := a1*a26+a2*a27+a3*a28+a4*a29+a5*a30+a6*a31+a7*a32+a8*a33+a9*a34+a10*a35+a11*a36+a12*a37+a13*a38+a14*a39+a15*a40+a16*a41+a17*a42+a18*a43+a19*a44+a20*a45+a21*a46+a22*a47+a23*a48+a24*a49+a25*a50+a26*a51+a27*a52+a28*a53+a29*a54+a30*a55+a31*a56+a32*a57+a33*a58+a34*a59+a35*a60+a36*a61+a37*a62+a38*a63+a39*a64+a40*a65+a41*a66+a42*a67+a43*a68+a44*a69+a45*a70+a46*a71+a47*a72+a48*a73+a49*a74+a50*a75+a51*a1+a52*a2+a53*a3+a54*a4+a55*a5+a56*a6+a57*a7+a58*a8+a59*a9+a60*a10+a61*a11+a62*a12+a63*a13+a64*a14+a65*a15+a66*a16+a67*a17+a68*a18+a69*a19+a70*a20+a71*a21+a72*a22+a73*a23+a74*a24+a75*a25+b1*b26+b2*b27+b3*b28+b4*b29+b5*b30+b6*b31+b7*b32+b8*b33+b9*b34+b10*b35+b11*b36+b12*b37+b13*b38+b14*b39+b15*b40+b16*b41+b17*b42+b18*b43+b19*b44+b20*b45+b21*b46+b22*b47+b23*b48+b24*b49+b25*b50+b26*b51+b27*b52+b28*b53+b29*b54+b30*b55+b31*b56+b32*b57+b33*b58+b34*b59+b35*b60+b36*b61+b37*b62+b38*b63+b39*b64+b40*b65+b41*b66+b42*b67+b43*b68+b44*b69+b45*b70+b46*b71+b47*b72+b48*b73+b49*b74+b50*b75+b51*b1+b52*b2+b53*b3+b54*b4+b55*b5+b56*b6+b57*b7+b58*b8+b59*b9+b60*b10+b61*b11+b62*b12+b63*b13+b64*b14+b65*b15+b66*b16+b67*b17+b68*b18+b69*b19+b70*b20+b71*b21+b72*b22+b73*b23+b74*b24+b75*b25 = -2 c26 := a1*a27+a2*a28+a3*a29+a4*a30+a5*a31+a6*a32+a7*a33+a8*a34+a9*a35+a10*a36+a11*a37+a12*a38+a13*a39+a14*a40+a15*a41+a16*a42+a17*a43+a18*a44+a19*a45+a20*a46+a21*a47+a22*a48+a23*a49+a24*a50+a25*a51+a26*a52+a27*a53+a28*a54+a29*a55+a30*a56+a31*a57+a32*a58+a33*a59+a34*a60+a35*a61+a36*a62+a37*a63+a38*a64+a39*a65+a40*a66+a41*a67+a42*a68+a43*a69+a44*a70+a45*a71+a46*a72+a47*a73+a48*a74+a49*a75+a50*a1+a51*a2+a52*a3+a53*a4+a54*a5+a55*a6+a56*a7+a57*a8+a58*a9+a59*a10+a60*a11+a61*a12+a62*a13+a63*a14+a64*a15+a65*a16+a66*a17+a67*a18+a68*a19+a69*a20+a70*a21+a71*a22+a72*a23+a73*a24+a74*a25+a75*a26+b1*b27+b2*b28+b3*b29+b4*b30+b5*b31+b6*b32+b7*b33+b8*b34+b9*b35+b10*b36+b11*b37+b12*b38+b13*b39+b14*b40+b15*b41+b16*b42+b17*b43+b18*b44+b19*b45+b20*b46+b21*b47+b22*b48+b23*b49+b24*b50+b25*b51+b26*b52+b27*b53+b28*b54+b29*b55+b30*b56+b31*b57+b32*b58+b33*b59+b34*b60+b35*b61+b36*b62+b37*b63+b38*b64+b39*b65+b40*b66+b41*b67+b42*b68+b43*b69+b44*b70+b45*b71+b46*b72+b47*b73+b48*b74+b49*b75+b50*b1+b51*b2+b52*b3+b53*b4+b54*b5+b55*b6+b56*b7+b57*b8+b58*b9+b59*b10+b60*b11+b61*b12+b62*b13+b63*b14+b64*b15+b65*b16+b66*b17+b67*b18+b68*b19+b69*b20+b70*b21+b71*b22+b72*b23+b73*b24+b74*b25+b75*b26 = -2 c27 := a1*a28+a2*a29+a3*a30+a4*a31+a5*a32+a6*a33+a7*a34+a8*a35+a9*a36+a10*a37+a11*a38+a12*a39+a13*a40+a14*a41+a15*a42+a16*a43+a17*a44+a18*a45+a19*a46+a20*a47+a21*a48+a22*a49+a23*a50+a24*a51+a25*a52+a26*a53+a27*a54+a28*a55+a29*a56+a30*a57+a31*a58+a32*a59+a33*a60+a34*a61+a35*a62+a36*a63+a37*a64+a38*a65+a39*a66+a40*a67+a41*a68+a42*a69+a43*a70+a44*a71+a45*a72+a46*a73+a47*a74+a48*a75+a49*a1+a50*a2+a51*a3+a52*a4+a53*a5+a54*a6+a55*a7+a56*a8+a57*a9+a58*a10+a59*a11+a60*a12+a61*a13+a62*a14+a63*a15+a64*a16+a65*a17+a66*a18+a67*a19+a68*a20+a69*a21+a70*a22+a71*a23+a72*a24+a73*a25+a74*a26+a75*a27+b1*b28+b2*b29+b3*b30+b4*b31+b5*b32+b6*b33+b7*b34+b8*b35+b9*b36+b10*b37+b11*b38+b12*b39+b13*b40+b14*b41+b15*b42+b16*b43+b17*b44+b18*b45+b19*b46+b20*b47+b21*b48+b22*b49+b23*b50+b24*b51+b25*b52+b26*b53+b27*b54+b28*b55+b29*b56+b30*b57+b31*b58+b32*b59+b33*b60+b34*b61+b35*b62+b36*b63+b37*b64+b38*b65+b39*b66+b40*b67+b41*b68+b42*b69+b43*b70+b44*b71+b45*b72+b46*b73+b47*b74+b48*b75+b49*b1+b50*b2+b51*b3+b52*b4+b53*b5+b54*b6+b55*b7+b56*b8+b57*b9+b58*b10+b59*b11+b60*b12+b61*b13+b62*b14+b63*b15+b64*b16+b65*b17+b66*b18+b67*b19+b68*b20+b69*b21+b70*b22+b71*b23+b72*b24+b73*b25+b74*b26+b75*b27 = -2 c28 := a1*a29+a2*a30+a3*a31+a4*a32+a5*a33+a6*a34+a7*a35+a8*a36+a9*a37+a10*a38+a11*a39+a12*a40+a13*a41+a14*a42+a15*a43+a16*a44+a17*a45+a18*a46+a19*a47+a20*a48+a21*a49+a22*a50+a23*a51+a24*a52+a25*a53+a26*a54+a27*a55+a28*a56+a29*a57+a30*a58+a31*a59+a32*a60+a33*a61+a34*a62+a35*a63+a36*a64+a37*a65+a38*a66+a39*a67+a40*a68+a41*a69+a42*a70+a43*a71+a44*a72+a45*a73+a46*a74+a47*a75+a48*a1+a49*a2+a50*a3+a51*a4+a52*a5+a53*a6+a54*a7+a55*a8+a56*a9+a57*a10+a58*a11+a59*a12+a60*a13+a61*a14+a62*a15+a63*a16+a64*a17+a65*a18+a66*a19+a67*a20+a68*a21+a69*a22+a70*a23+a71*a24+a72*a25+a73*a26+a74*a27+a75*a28+b1*b29+b2*b30+b3*b31+b4*b32+b5*b33+b6*b34+b7*b35+b8*b36+b9*b37+b10*b38+b11*b39+b12*b40+b13*b41+b14*b42+b15*b43+b16*b44+b17*b45+b18*b46+b19*b47+b20*b48+b21*b49+b22*b50+b23*b51+b24*b52+b25*b53+b26*b54+b27*b55+b28*b56+b29*b57+b30*b58+b31*b59+b32*b60+b33*b61+b34*b62+b35*b63+b36*b64+b37*b65+b38*b66+b39*b67+b40*b68+b41*b69+b42*b70+b43*b71+b44*b72+b45*b73+b46*b74+b47*b75+b48*b1+b49*b2+b50*b3+b51*b4+b52*b5+b53*b6+b54*b7+b55*b8+b56*b9+b57*b10+b58*b11+b59*b12+b60*b13+b61*b14+b62*b15+b63*b16+b64*b17+b65*b18+b66*b19+b67*b20+b68*b21+b69*b22+b70*b23+b71*b24+b72*b25+b73*b26+b74*b27+b75*b28 = -2 c29 := a1*a30+a2*a31+a3*a32+a4*a33+a5*a34+a6*a35+a7*a36+a8*a37+a9*a38+a10*a39+a11*a40+a12*a41+a13*a42+a14*a43+a15*a44+a16*a45+a17*a46+a18*a47+a19*a48+a20*a49+a21*a50+a22*a51+a23*a52+a24*a53+a25*a54+a26*a55+a27*a56+a28*a57+a29*a58+a30*a59+a31*a60+a32*a61+a33*a62+a34*a63+a35*a64+a36*a65+a37*a66+a38*a67+a39*a68+a40*a69+a41*a70+a42*a71+a43*a72+a44*a73+a45*a74+a46*a75+a47*a1+a48*a2+a49*a3+a50*a4+a51*a5+a52*a6+a53*a7+a54*a8+a55*a9+a56*a10+a57*a11+a58*a12+a59*a13+a60*a14+a61*a15+a62*a16+a63*a17+a64*a18+a65*a19+a66*a20+a67*a21+a68*a22+a69*a23+a70*a24+a71*a25+a72*a26+a73*a27+a74*a28+a75*a29+b1*b30+b2*b31+b3*b32+b4*b33+b5*b34+b6*b35+b7*b36+b8*b37+b9*b38+b10*b39+b11*b40+b12*b41+b13*b42+b14*b43+b15*b44+b16*b45+b17*b46+b18*b47+b19*b48+b20*b49+b21*b50+b22*b51+b23*b52+b24*b53+b25*b54+b26*b55+b27*b56+b28*b57+b29*b58+b30*b59+b31*b60+b32*b61+b33*b62+b34*b63+b35*b64+b36*b65+b37*b66+b38*b67+b39*b68+b40*b69+b41*b70+b42*b71+b43*b72+b44*b73+b45*b74+b46*b75+b47*b1+b48*b2+b49*b3+b50*b4+b51*b5+b52*b6+b53*b7+b54*b8+b55*b9+b56*b10+b57*b11+b58*b12+b59*b13+b60*b14+b61*b15+b62*b16+b63*b17+b64*b18+b65*b19+b66*b20+b67*b21+b68*b22+b69*b23+b70*b24+b71*b25+b72*b26+b73*b27+b74*b28+b75*b29 = -2 c30 := a1*a31+a2*a32+a3*a33+a4*a34+a5*a35+a6*a36+a7*a37+a8*a38+a9*a39+a10*a40+a11*a41+a12*a42+a13*a43+a14*a44+a15*a45+a16*a46+a17*a47+a18*a48+a19*a49+a20*a50+a21*a51+a22*a52+a23*a53+a24*a54+a25*a55+a26*a56+a27*a57+a28*a58+a29*a59+a30*a60+a31*a61+a32*a62+a33*a63+a34*a64+a35*a65+a36*a66+a37*a67+a38*a68+a39*a69+a40*a70+a41*a71+a42*a72+a43*a73+a44*a74+a45*a75+a46*a1+a47*a2+a48*a3+a49*a4+a50*a5+a51*a6+a52*a7+a53*a8+a54*a9+a55*a10+a56*a11+a57*a12+a58*a13+a59*a14+a60*a15+a61*a16+a62*a17+a63*a18+a64*a19+a65*a20+a66*a21+a67*a22+a68*a23+a69*a24+a70*a25+a71*a26+a72*a27+a73*a28+a74*a29+a75*a30+b1*b31+b2*b32+b3*b33+b4*b34+b5*b35+b6*b36+b7*b37+b8*b38+b9*b39+b10*b40+b11*b41+b12*b42+b13*b43+b14*b44+b15*b45+b16*b46+b17*b47+b18*b48+b19*b49+b20*b50+b21*b51+b22*b52+b23*b53+b24*b54+b25*b55+b26*b56+b27*b57+b28*b58+b29*b59+b30*b60+b31*b61+b32*b62+b33*b63+b34*b64+b35*b65+b36*b66+b37*b67+b38*b68+b39*b69+b40*b70+b41*b71+b42*b72+b43*b73+b44*b74+b45*b75+b46*b1+b47*b2+b48*b3+b49*b4+b50*b5+b51*b6+b52*b7+b53*b8+b54*b9+b55*b10+b56*b11+b57*b12+b58*b13+b59*b14+b60*b15+b61*b16+b62*b17+b63*b18+b64*b19+b65*b20+b66*b21+b67*b22+b68*b23+b69*b24+b70*b25+b71*b26+b72*b27+b73*b28+b74*b29+b75*b30 = -2 c31 := a1*a32+a2*a33+a3*a34+a4*a35+a5*a36+a6*a37+a7*a38+a8*a39+a9*a40+a10*a41+a11*a42+a12*a43+a13*a44+a14*a45+a15*a46+a16*a47+a17*a48+a18*a49+a19*a50+a20*a51+a21*a52+a22*a53+a23*a54+a24*a55+a25*a56+a26*a57+a27*a58+a28*a59+a29*a60+a30*a61+a31*a62+a32*a63+a33*a64+a34*a65+a35*a66+a36*a67+a37*a68+a38*a69+a39*a70+a40*a71+a41*a72+a42*a73+a43*a74+a44*a75+a45*a1+a46*a2+a47*a3+a48*a4+a49*a5+a50*a6+a51*a7+a52*a8+a53*a9+a54*a10+a55*a11+a56*a12+a57*a13+a58*a14+a59*a15+a60*a16+a61*a17+a62*a18+a63*a19+a64*a20+a65*a21+a66*a22+a67*a23+a68*a24+a69*a25+a70*a26+a71*a27+a72*a28+a73*a29+a74*a30+a75*a31+b1*b32+b2*b33+b3*b34+b4*b35+b5*b36+b6*b37+b7*b38+b8*b39+b9*b40+b10*b41+b11*b42+b12*b43+b13*b44+b14*b45+b15*b46+b16*b47+b17*b48+b18*b49+b19*b50+b20*b51+b21*b52+b22*b53+b23*b54+b24*b55+b25*b56+b26*b57+b27*b58+b28*b59+b29*b60+b30*b61+b31*b62+b32*b63+b33*b64+b34*b65+b35*b66+b36*b67+b37*b68+b38*b69+b39*b70+b40*b71+b41*b72+b42*b73+b43*b74+b44*b75+b45*b1+b46*b2+b47*b3+b48*b4+b49*b5+b50*b6+b51*b7+b52*b8+b53*b9+b54*b10+b55*b11+b56*b12+b57*b13+b58*b14+b59*b15+b60*b16+b61*b17+b62*b18+b63*b19+b64*b20+b65*b21+b66*b22+b67*b23+b68*b24+b69*b25+b70*b26+b71*b27+b72*b28+b73*b29+b74*b30+b75*b31 = -2 c32 := a1*a33+a2*a34+a3*a35+a4*a36+a5*a37+a6*a38+a7*a39+a8*a40+a9*a41+a10*a42+a11*a43+a12*a44+a13*a45+a14*a46+a15*a47+a16*a48+a17*a49+a18*a50+a19*a51+a20*a52+a21*a53+a22*a54+a23*a55+a24*a56+a25*a57+a26*a58+a27*a59+a28*a60+a29*a61+a30*a62+a31*a63+a32*a64+a33*a65+a34*a66+a35*a67+a36*a68+a37*a69+a38*a70+a39*a71+a40*a72+a41*a73+a42*a74+a43*a75+a44*a1+a45*a2+a46*a3+a47*a4+a48*a5+a49*a6+a50*a7+a51*a8+a52*a9+a53*a10+a54*a11+a55*a12+a56*a13+a57*a14+a58*a15+a59*a16+a60*a17+a61*a18+a62*a19+a63*a20+a64*a21+a65*a22+a66*a23+a67*a24+a68*a25+a69*a26+a70*a27+a71*a28+a72*a29+a73*a30+a74*a31+a75*a32+b1*b33+b2*b34+b3*b35+b4*b36+b5*b37+b6*b38+b7*b39+b8*b40+b9*b41+b10*b42+b11*b43+b12*b44+b13*b45+b14*b46+b15*b47+b16*b48+b17*b49+b18*b50+b19*b51+b20*b52+b21*b53+b22*b54+b23*b55+b24*b56+b25*b57+b26*b58+b27*b59+b28*b60+b29*b61+b30*b62+b31*b63+b32*b64+b33*b65+b34*b66+b35*b67+b36*b68+b37*b69+b38*b70+b39*b71+b40*b72+b41*b73+b42*b74+b43*b75+b44*b1+b45*b2+b46*b3+b47*b4+b48*b5+b49*b6+b50*b7+b51*b8+b52*b9+b53*b10+b54*b11+b55*b12+b56*b13+b57*b14+b58*b15+b59*b16+b60*b17+b61*b18+b62*b19+b63*b20+b64*b21+b65*b22+b66*b23+b67*b24+b68*b25+b69*b26+b70*b27+b71*b28+b72*b29+b73*b30+b74*b31+b75*b32 = -2 c33 := a1*a34+a2*a35+a3*a36+a4*a37+a5*a38+a6*a39+a7*a40+a8*a41+a9*a42+a10*a43+a11*a44+a12*a45+a13*a46+a14*a47+a15*a48+a16*a49+a17*a50+a18*a51+a19*a52+a20*a53+a21*a54+a22*a55+a23*a56+a24*a57+a25*a58+a26*a59+a27*a60+a28*a61+a29*a62+a30*a63+a31*a64+a32*a65+a33*a66+a34*a67+a35*a68+a36*a69+a37*a70+a38*a71+a39*a72+a40*a73+a41*a74+a42*a75+a43*a1+a44*a2+a45*a3+a46*a4+a47*a5+a48*a6+a49*a7+a50*a8+a51*a9+a52*a10+a53*a11+a54*a12+a55*a13+a56*a14+a57*a15+a58*a16+a59*a17+a60*a18+a61*a19+a62*a20+a63*a21+a64*a22+a65*a23+a66*a24+a67*a25+a68*a26+a69*a27+a70*a28+a71*a29+a72*a30+a73*a31+a74*a32+a75*a33+b1*b34+b2*b35+b3*b36+b4*b37+b5*b38+b6*b39+b7*b40+b8*b41+b9*b42+b10*b43+b11*b44+b12*b45+b13*b46+b14*b47+b15*b48+b16*b49+b17*b50+b18*b51+b19*b52+b20*b53+b21*b54+b22*b55+b23*b56+b24*b57+b25*b58+b26*b59+b27*b60+b28*b61+b29*b62+b30*b63+b31*b64+b32*b65+b33*b66+b34*b67+b35*b68+b36*b69+b37*b70+b38*b71+b39*b72+b40*b73+b41*b74+b42*b75+b43*b1+b44*b2+b45*b3+b46*b4+b47*b5+b48*b6+b49*b7+b50*b8+b51*b9+b52*b10+b53*b11+b54*b12+b55*b13+b56*b14+b57*b15+b58*b16+b59*b17+b60*b18+b61*b19+b62*b20+b63*b21+b64*b22+b65*b23+b66*b24+b67*b25+b68*b26+b69*b27+b70*b28+b71*b29+b72*b30+b73*b31+b74*b32+b75*b33 = -2 c34 := a1*a35+a2*a36+a3*a37+a4*a38+a5*a39+a6*a40+a7*a41+a8*a42+a9*a43+a10*a44+a11*a45+a12*a46+a13*a47+a14*a48+a15*a49+a16*a50+a17*a51+a18*a52+a19*a53+a20*a54+a21*a55+a22*a56+a23*a57+a24*a58+a25*a59+a26*a60+a27*a61+a28*a62+a29*a63+a30*a64+a31*a65+a32*a66+a33*a67+a34*a68+a35*a69+a36*a70+a37*a71+a38*a72+a39*a73+a40*a74+a41*a75+a42*a1+a43*a2+a44*a3+a45*a4+a46*a5+a47*a6+a48*a7+a49*a8+a50*a9+a51*a10+a52*a11+a53*a12+a54*a13+a55*a14+a56*a15+a57*a16+a58*a17+a59*a18+a60*a19+a61*a20+a62*a21+a63*a22+a64*a23+a65*a24+a66*a25+a67*a26+a68*a27+a69*a28+a70*a29+a71*a30+a72*a31+a73*a32+a74*a33+a75*a34+b1*b35+b2*b36+b3*b37+b4*b38+b5*b39+b6*b40+b7*b41+b8*b42+b9*b43+b10*b44+b11*b45+b12*b46+b13*b47+b14*b48+b15*b49+b16*b50+b17*b51+b18*b52+b19*b53+b20*b54+b21*b55+b22*b56+b23*b57+b24*b58+b25*b59+b26*b60+b27*b61+b28*b62+b29*b63+b30*b64+b31*b65+b32*b66+b33*b67+b34*b68+b35*b69+b36*b70+b37*b71+b38*b72+b39*b73+b40*b74+b41*b75+b42*b1+b43*b2+b44*b3+b45*b4+b46*b5+b47*b6+b48*b7+b49*b8+b50*b9+b51*b10+b52*b11+b53*b12+b54*b13+b55*b14+b56*b15+b57*b16+b58*b17+b59*b18+b60*b19+b61*b20+b62*b21+b63*b22+b64*b23+b65*b24+b66*b25+b67*b26+b68*b27+b69*b28+b70*b29+b71*b30+b72*b31+b73*b32+b74*b33+b75*b34 = -2 c35 := a1*a36+a2*a37+a3*a38+a4*a39+a5*a40+a6*a41+a7*a42+a8*a43+a9*a44+a10*a45+a11*a46+a12*a47+a13*a48+a14*a49+a15*a50+a16*a51+a17*a52+a18*a53+a19*a54+a20*a55+a21*a56+a22*a57+a23*a58+a24*a59+a25*a60+a26*a61+a27*a62+a28*a63+a29*a64+a30*a65+a31*a66+a32*a67+a33*a68+a34*a69+a35*a70+a36*a71+a37*a72+a38*a73+a39*a74+a40*a75+a41*a1+a42*a2+a43*a3+a44*a4+a45*a5+a46*a6+a47*a7+a48*a8+a49*a9+a50*a10+a51*a11+a52*a12+a53*a13+a54*a14+a55*a15+a56*a16+a57*a17+a58*a18+a59*a19+a60*a20+a61*a21+a62*a22+a63*a23+a64*a24+a65*a25+a66*a26+a67*a27+a68*a28+a69*a29+a70*a30+a71*a31+a72*a32+a73*a33+a74*a34+a75*a35+b1*b36+b2*b37+b3*b38+b4*b39+b5*b40+b6*b41+b7*b42+b8*b43+b9*b44+b10*b45+b11*b46+b12*b47+b13*b48+b14*b49+b15*b50+b16*b51+b17*b52+b18*b53+b19*b54+b20*b55+b21*b56+b22*b57+b23*b58+b24*b59+b25*b60+b26*b61+b27*b62+b28*b63+b29*b64+b30*b65+b31*b66+b32*b67+b33*b68+b34*b69+b35*b70+b36*b71+b37*b72+b38*b73+b39*b74+b40*b75+b41*b1+b42*b2+b43*b3+b44*b4+b45*b5+b46*b6+b47*b7+b48*b8+b49*b9+b50*b10+b51*b11+b52*b12+b53*b13+b54*b14+b55*b15+b56*b16+b57*b17+b58*b18+b59*b19+b60*b20+b61*b21+b62*b22+b63*b23+b64*b24+b65*b25+b66*b26+b67*b27+b68*b28+b69*b29+b70*b30+b71*b31+b72*b32+b73*b33+b74*b34+b75*b35 = -2 c36 := a1*a37+a2*a38+a3*a39+a4*a40+a5*a41+a6*a42+a7*a43+a8*a44+a9*a45+a10*a46+a11*a47+a12*a48+a13*a49+a14*a50+a15*a51+a16*a52+a17*a53+a18*a54+a19*a55+a20*a56+a21*a57+a22*a58+a23*a59+a24*a60+a25*a61+a26*a62+a27*a63+a28*a64+a29*a65+a30*a66+a31*a67+a32*a68+a33*a69+a34*a70+a35*a71+a36*a72+a37*a73+a38*a74+a39*a75+a40*a1+a41*a2+a42*a3+a43*a4+a44*a5+a45*a6+a46*a7+a47*a8+a48*a9+a49*a10+a50*a11+a51*a12+a52*a13+a53*a14+a54*a15+a55*a16+a56*a17+a57*a18+a58*a19+a59*a20+a60*a21+a61*a22+a62*a23+a63*a24+a64*a25+a65*a26+a66*a27+a67*a28+a68*a29+a69*a30+a70*a31+a71*a32+a72*a33+a73*a34+a74*a35+a75*a36+b1*b37+b2*b38+b3*b39+b4*b40+b5*b41+b6*b42+b7*b43+b8*b44+b9*b45+b10*b46+b11*b47+b12*b48+b13*b49+b14*b50+b15*b51+b16*b52+b17*b53+b18*b54+b19*b55+b20*b56+b21*b57+b22*b58+b23*b59+b24*b60+b25*b61+b26*b62+b27*b63+b28*b64+b29*b65+b30*b66+b31*b67+b32*b68+b33*b69+b34*b70+b35*b71+b36*b72+b37*b73+b38*b74+b39*b75+b40*b1+b41*b2+b42*b3+b43*b4+b44*b5+b45*b6+b46*b7+b47*b8+b48*b9+b49*b10+b50*b11+b51*b12+b52*b13+b53*b14+b54*b15+b55*b16+b56*b17+b57*b18+b58*b19+b59*b20+b60*b21+b61*b22+b62*b23+b63*b24+b64*b25+b65*b26+b66*b27+b67*b28+b68*b29+b69*b30+b70*b31+b71*b32+b72*b33+b73*b34+b74*b35+b75*b36 = -2 c37 := a1*a38+a2*a39+a3*a40+a4*a41+a5*a42+a6*a43+a7*a44+a8*a45+a9*a46+a10*a47+a11*a48+a12*a49+a13*a50+a14*a51+a15*a52+a16*a53+a17*a54+a18*a55+a19*a56+a20*a57+a21*a58+a22*a59+a23*a60+a24*a61+a25*a62+a26*a63+a27*a64+a28*a65+a29*a66+a30*a67+a31*a68+a32*a69+a33*a70+a34*a71+a35*a72+a36*a73+a37*a74+a38*a75+a39*a1+a40*a2+a41*a3+a42*a4+a43*a5+a44*a6+a45*a7+a46*a8+a47*a9+a48*a10+a49*a11+a50*a12+a51*a13+a52*a14+a53*a15+a54*a16+a55*a17+a56*a18+a57*a19+a58*a20+a59*a21+a60*a22+a61*a23+a62*a24+a63*a25+a64*a26+a65*a27+a66*a28+a67*a29+a68*a30+a69*a31+a70*a32+a71*a33+a72*a34+a73*a35+a74*a36+a75*a37+b1*b38+b2*b39+b3*b40+b4*b41+b5*b42+b6*b43+b7*b44+b8*b45+b9*b46+b10*b47+b11*b48+b12*b49+b13*b50+b14*b51+b15*b52+b16*b53+b17*b54+b18*b55+b19*b56+b20*b57+b21*b58+b22*b59+b23*b60+b24*b61+b25*b62+b26*b63+b27*b64+b28*b65+b29*b66+b30*b67+b31*b68+b32*b69+b33*b70+b34*b71+b35*b72+b36*b73+b37*b74+b38*b75+b39*b1+b40*b2+b41*b3+b42*b4+b43*b5+b44*b6+b45*b7+b46*b8+b47*b9+b48*b10+b49*b11+b50*b12+b51*b13+b52*b14+b53*b15+b54*b16+b55*b17+b56*b18+b57*b19+b58*b20+b59*b21+b60*b22+b61*b23+b62*b24+b63*b25+b64*b26+b65*b27+b66*b28+b67*b29+b68*b30+b69*b31+b70*b32+b71*b33+b72*b34+b73*b35+b74*b36+b75*b37 = -2 c38 := 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+a34+a35+a36+a37+a38+a39+a40+a41+a42+a43+a44+a45+a46+a47+a48+a49+a50+a51+a52+a53+a54+a55+a56+a57+a58+a59+a60+a61+a62+a63+a64+a65+a66+a67+a68+a69+a70+a71+a72+a73+a74+a75 = 1 c39 := 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+b34+b35+b36+b37+b38+b39+b40+b41+b42+b43+b44+b45+b46+b47+b48+b49+b50+b51+b52+b53+b54+b55+b56+b57+b58+b59+b60+b61+b62+b63+b64+b65+b66+b67+b68+b69+b70+b71+b72+b73+b74+b75 = 1