/* L=[1,5,5,5,6,7,7] and d=[0,1,2,3,4,5,6] */

amb_space 56
inhom_equations 36
5 5 5 6 7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  -24
0 5 0 0 0 0 5 5 6 7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  -25
0 0 5 0 0 0 0 5 0 0 0 5 6 7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  -25
0 0 0 5 0 0 0 0 5 0 0 0 5 0 0 6 7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  -30
0 0 0 0 5 0 0 0 0 5 0 0 0 5 0 0 6 0 7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  -35
0 0 0 0 0 5 0 0 0 0 5 0 0 0 5 0 0 6 0 7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  -35
0 5 0 0 0 0 5 5 6 7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  -25
0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 5 6 7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  -24
0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 5 6 7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  -25
0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 5 0 0 6 7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  -30
0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 5 0 0 6 0 7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  -35
0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 5 0 0 6 0 7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  -35
0 0 5 0 0 0 0 5 0 0 0 5 6 7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  -25
0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 5 6 7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  -25
0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 5 6 7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  -24
0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 5 0 0 6 7 7 0 0 0 0 0 0 0 0 0 0 0 0 0  -30
0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 5 0 0 6 0 7 7 0 0 0 0 0 0 0 0 0 0 0  -35
0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 5 0 0 6 0 7 7 0 0 0 0 0 0 0 0 0 0  -35
0 0 0 5 0 0 0 0 5 0 0 0 5 0 0 6 7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  -30
0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 5 0 0 6 7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  -30
0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 5 0 0 6 7 7 0 0 0 0 0 0 0 0 0 0 0 0 0  -30
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 6 7 7 0 0 0 0 0 0 0  -35
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 6 0 7 7 0 0 0 0 0  -42
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 6 0 7 7 0 0 0 0  -42
0 0 0 0 5 0 0 0 0 5 0 0 0 5 0 0 6 0 7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  -35
0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 5 0 0 6 0 7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  -35
0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 5 0 0 6 0 7 7 0 0 0 0 0 0 0 0 0 0 0  -35
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 6 0 7 7 0 0 0 0 0  -42
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 6 0 0 7 7 0 0  -48
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 6 0 0 7 7 0  -49
0 0 0 0 0 5 0 0 0 0 5 0 0 0 5 0 0 6 0 7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  -35
0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 5 0 0 6 0 7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  -35
0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 5 0 0 6 0 7 7 0 0 0 0 0 0 0 0 0 0  -35
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 6 0 7 7 0 0 0 0  -42
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 6 0 0 7 7 0  -49
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 6 0 0 7 7  -48
convert_equations
LatticePoints

polynomial_equations 240
-x[11]*x[15] - x[26]*x[30] + x[23]*x[36] - x[30]*x[40] - x[33]*x[43] - x[35]*x[45] + x[27]*x[46] - x[36]*x[46] + x[28]*x[52] + x[29]*x[55] + x[30]*x[56] + x[21]*x[8];
 x[11]*x[15] + x[26]*x[30] - x[23]*x[36] + x[30]*x[40] + x[33]*x[43] + x[35]*x[45] - x[27]*x[46] + x[36]*x[46] - x[28]*x[52] - x[29]*x[55] - x[30]*x[56] - x[21]*x[8];
 -x[11]*x[27] + x[15]*x[3] - x[15]*x[37] - x[18]*x[38] - x[20]*x[39] + x[12]*x[40] - x[21]*x[40] + x[13]*x[43] + x[14]*x[45] + x[15]*x[46] - x[12]*x[6] + x[30]*x[8];
 x[11]*x[27] - x[15]*x[3] + x[15]*x[37] + x[18]*x[38] + x[20]*x[39] - x[12]*x[40] + x[21]*x[40] - x[13]*x[43] - x[14]*x[45] - x[15]*x[46] + x[12]*x[6] - x[30]*x[8];
 x[14]*x[2] - x[12]*x[29] - x[10]*x[3] - x[13]*x[32] - x[14]*x[34] - x[15]*x[35] + x[10]*x[44] + x[11]*x[45] + x[29]*x[7] - x[25]*x[8] + x[39]*x[8] + x[42]*x[9];
 x[15]*x[2] - x[11]*x[23] - x[15]*x[27] - x[18]*x[28] - x[20]*x[29] - x[21]*x[30] + x[10]*x[45] + x[11]*x[46] + x[30]*x[7] + x[40]*x[8] - x[6]*x[8] + x[43]*x[9];
 -x[14]*x[2] + x[12]*x[29] + x[10]*x[3] + x[13]*x[32] + x[14]*x[34] + x[15]*x[35] - x[10]*x[44] - x[11]*x[45] - x[29]*x[7] + x[25]*x[8] - x[39]*x[8] - x[42]*x[9];
 -x[15]*x[2] + x[11]*x[23] + x[15]*x[27] + x[18]*x[28] + x[20]*x[29] + x[21]*x[30] - x[10]*x[45] - x[11]*x[46] - x[30]*x[7] - x[40]*x[8] + x[6]*x[8] - x[43]*x[9];
 -x[11]*x[28] + x[18]*x[3] - x[15]*x[38] - x[18]*x[41] - x[20]*x[42] + x[12]*x[43] - x[21]*x[43] + x[13]*x[49] + x[14]*x[51] + x[15]*x[52] - x[13]*x[6] + x[33]*x[8];
 x[17]*x[3] - x[13]*x[39] - x[14]*x[4] + x[12]*x[42] - x[16]*x[42] - x[17]*x[44] - x[18]*x[45] + x[13]*x[48] + x[14]*x[50] + x[15]*x[51] + x[32]*x[8] - x[29]*x[9];
 -x[17]*x[3] + x[13]*x[39] + x[14]*x[4] - x[12]*x[42] + x[16]*x[42] + x[17]*x[44] + x[18]*x[45] - x[13]*x[48] - x[14]*x[50] - x[15]*x[51] - x[32]*x[8] + x[29]*x[9];
 x[11]*x[28] - x[18]*x[3] + x[15]*x[38] + x[18]*x[41] + x[20]*x[42] - x[12]*x[43] + x[21]*x[43] - x[13]*x[49] - x[14]*x[51] - x[15]*x[52] + x[13]*x[6] - x[33]*x[8];
 -x[11]*x[34] + x[10]*x[35] - x[15]*x[44] + x[14]*x[45] + x[20]*x[5] - x[18]*x[50] + x[17]*x[51] - x[20]*x[53] + x[19]*x[54] - x[21]*x[54] + x[20]*x[55] - x[19]*x[6];
 x[11]*x[34] - x[10]*x[35] + x[15]*x[44] - x[14]*x[45] - x[20]*x[5] + x[18]*x[50] - x[17]*x[51] + x[20]*x[53] - x[19]*x[54] + x[21]*x[54] - x[20]*x[55] + x[19]*x[6];
 x[17]*x[2] - x[10]*x[24] - x[14]*x[28] - x[17]*x[31] - x[19]*x[32] - x[20]*x[33] + x[10]*x[50] + x[11]*x[51] + x[32]*x[7] + x[42]*x[8] + x[48]*x[9] - x[5]*x[9];
 -x[17]*x[2] + x[10]*x[24] + x[14]*x[28] + x[17]*x[31] + x[19]*x[32] + x[20]*x[33] - x[10]*x[50] - x[11]*x[51] - x[32]*x[7] - x[42]*x[8] - x[48]*x[9] + x[5]*x[9];
 -x[24]*x[27] + x[23]*x[28] - x[28]*x[37] + x[27]*x[38] - x[31]*x[38] - x[32]*x[39] - x[33]*x[40] + x[28]*x[41] + x[29]*x[42] + x[30]*x[43] + x[13]*x[8] - x[12]*x[9];
 x[24]*x[27] - x[23]*x[28] + x[28]*x[37] - x[27]*x[38] + x[31]*x[38] + x[32]*x[39] + x[33]*x[40] - x[28]*x[41] - x[29]*x[42] - x[30]*x[43] - x[13]*x[8] + x[12]*x[9];
 -x[11]*x[17] - x[26]*x[32] + x[24]*x[35] - x[30]*x[42] + x[28]*x[45] - x[33]*x[48] - x[35]*x[50] + x[31]*x[51] - x[36]*x[51] + x[32]*x[54] + x[33]*x[55] + x[20]*x[9];
 x[11]*x[17] + x[26]*x[32] - x[24]*x[35] + x[30]*x[42] - x[28]*x[45] + x[33]*x[48] + x[35]*x[50] - x[31]*x[51] + x[36]*x[51] - x[32]*x[54] - x[33]*x[55] - x[20]*x[9];
 x[17]^2 - x[16]*x[19] + x[32]^2 - x[31]*x[34] + x[42]^2 - x[41]*x[44] + x[48]^2 - x[47]*x[50] + x[50]^2 + x[51]^2 - x[48]*x[53] - x[49]*x[54] - 1;
 -x[14]*x[18] + x[13]*x[20] - x[29]*x[33] + x[28]*x[35] - x[39]*x[43] + x[38]*x[45] - x[42]*x[49] + x[41]*x[51] - x[44]*x[51] - x[45]*x[52] + x[42]*x[54] + x[43]*x[55];
 x[14]*x[18] - x[13]*x[20] + x[29]*x[33] - x[28]*x[35] + x[39]*x[43] - x[38]*x[45] + x[42]*x[49] - x[41]*x[51] + x[44]*x[51] + x[45]*x[52] - x[42]*x[54] - x[43]*x[55];
 -x[24]*x[30] + x[23]*x[33] - x[28]*x[40] + x[27]*x[43] - x[31]*x[43] - x[32]*x[45] - x[33]*x[46] + x[28]*x[49] + x[29]*x[51] + x[30]*x[52] + x[18]*x[8] - x[15]*x[9];
 -x[2]*x[21] + x[11]*x[26] + x[15]*x[30] + x[18]*x[33] + x[20]*x[35] + x[21]*x[36] - x[10]*x[55] - x[11]*x[56] + x[11]*x[6] - x[36]*x[7] - x[46]*x[8] - x[52]*x[9];
 x[24]*x[30] - x[23]*x[33] + x[28]*x[40] - x[27]*x[43] + x[31]*x[43] + x[32]*x[45] + x[33]*x[46] - x[28]*x[49] - x[29]*x[51] - x[30]*x[52] - x[18]*x[8] + x[15]*x[9];
 -x[18]*x[20] + x[17]*x[21] - x[33]*x[35] + x[32]*x[36] - x[43]*x[45] + x[42]*x[46] - x[49]*x[51] + x[48]*x[52] - x[51]*x[54] + x[50]*x[55] - x[52]*x[55] + x[51]*x[56];
 x[18]*x[20] - x[17]*x[21] + x[33]*x[35] - x[32]*x[36] + x[43]*x[45] - x[42]*x[46] + x[49]*x[51] - x[48]*x[52] + x[51]*x[54] - x[50]*x[55] + x[52]*x[55] - x[51]*x[56];
 -x[14]*x[15] + x[12]*x[20] - x[29]*x[30] + x[27]*x[35] - x[39]*x[40] - x[42]*x[43] + x[37]*x[45] - x[44]*x[45] - x[45]*x[46] + x[38]*x[51] + x[39]*x[54] + x[40]*x[55];
 x[14]*x[15] - x[12]*x[20] + x[29]*x[30] - x[27]*x[35] + x[39]*x[40] + x[42]*x[43] - x[37]*x[45] + x[44]*x[45] + x[45]*x[46] - x[38]*x[51] - x[39]*x[54] - x[40]*x[55];
 x[13]*x[2] - x[12]*x[28] - x[13]*x[31] - x[14]*x[32] - x[15]*x[33] + x[10]*x[42] + x[11]*x[43] + x[28]*x[7] - x[24]*x[8] + x[38]*x[8] - x[3]*x[9] + x[41]*x[9];
 -x[13]*x[2] + x[12]*x[28] + x[13]*x[31] + x[14]*x[32] + x[15]*x[33] - x[10]*x[42] - x[11]*x[43] - x[28]*x[7] + x[24]*x[8] - x[38]*x[8] + x[3]*x[9] - x[41]*x[9];
 -x[11]*x[32] + x[10]*x[33] - x[15]*x[42] + x[14]*x[43] - x[18]*x[48] + x[17]*x[49] + x[18]*x[5] - x[20]*x[50] + x[19]*x[51] - x[21]*x[51] + x[20]*x[52] - x[17]*x[6];
 x[11]*x[32] - x[10]*x[33] + x[15]*x[42] - x[14]*x[43] + x[18]*x[48] - x[17]*x[49] - x[18]*x[5] + x[20]*x[50] - x[19]*x[51] + x[21]*x[51] - x[20]*x[52] + x[17]*x[6];
 -x[13]^2 + x[1]*x[16] - x[16]^2 - x[17]^2 - x[18]^2 + x[2]*x[31] - x[4]^2 + x[3]*x[41] + x[4]*x[47] + x[48]*x[5] + x[49]*x[6] - x[9]^2 + 1;
 -x[1]*x[12] + x[12]^2 + x[13]^2 + x[14]^2 + x[15]^2 - x[2]*x[27] + x[3]^2 - x[3]*x[37] - x[38]*x[4] - x[39]*x[5] - x[40]*x[6] + x[8]^2 - 1;
 -x[10]*x[14] - x[25]*x[29] + x[23]*x[34] - x[29]*x[39] - x[32]*x[42] + x[27]*x[44] - x[34]*x[44] - x[35]*x[45] + x[28]*x[50] + x[29]*x[53] + x[30]*x[54] + x[19]*x[8];
 x[10]*x[14] + x[25]*x[29] - x[23]*x[34] + x[29]*x[39] + x[32]*x[42] - x[27]*x[44] + x[34]*x[44] + x[35]*x[45] - x[28]*x[50] - x[29]*x[53] - x[30]*x[54] - x[19]*x[8];
 -x[24]*x[28] + x[23]*x[31] - x[28]*x[38] + x[27]*x[41] - x[31]*x[41] - x[32]*x[42] - x[33]*x[43] + x[28]*x[47] + x[29]*x[48] + x[30]*x[49] + x[16]*x[8] - x[13]*x[9];
 x[24]*x[28] - x[23]*x[31] + x[28]*x[38] - x[27]*x[41] + x[31]*x[41] + x[32]*x[42] + x[33]*x[43] - x[28]*x[47] - x[29]*x[48] - x[30]*x[49] - x[16]*x[8] + x[13]*x[9];
 -x[15]*x[18] + x[13]*x[21] - x[30]*x[33] + x[28]*x[36] - x[40]*x[43] + x[38]*x[46] - x[43]*x[49] - x[45]*x[51] + x[41]*x[52] - x[46]*x[52] + x[42]*x[55] + x[43]*x[56];
 x[15]*x[18] - x[13]*x[21] + x[30]*x[33] - x[28]*x[36] + x[40]*x[43] - x[38]*x[46] + x[43]*x[49] + x[45]*x[51] - x[41]*x[52] + x[46]*x[52] - x[42]*x[55] - x[43]*x[56];
 -x[10]*x[11] - x[25]*x[26] - x[29]*x[30] - x[32]*x[33] + x[22]*x[35] - x[34]*x[35] - x[35]*x[36] + x[23]*x[45] + x[24]*x[51] + x[25]*x[54] + x[26]*x[55] + x[20]*x[7];
 x[10]*x[11] + x[25]*x[26] + x[29]*x[30] + x[32]*x[33] - x[22]*x[35] + x[34]*x[35] + x[35]*x[36] - x[23]*x[45] - x[24]*x[51] - x[25]*x[54] - x[26]*x[55] - x[20]*x[7];
 -x[11]*x[31] + x[18]*x[4] - x[15]*x[41] + x[13]*x[43] - x[18]*x[47] - x[20]*x[48] + x[16]*x[49] - x[21]*x[49] + x[17]*x[51] + x[18]*x[52] - x[16]*x[6] + x[33]*x[9];
 x[11]*x[31] - x[18]*x[4] + x[15]*x[41] - x[13]*x[43] + x[18]*x[47] + x[20]*x[48] - x[16]*x[49] + x[21]*x[49] - x[17]*x[51] - x[18]*x[52] + x[16]*x[6] - x[33]*x[9];
 x[19]*x[2] - x[10]*x[25] - x[14]*x[29] - x[17]*x[32] - x[19]*x[34] - x[20]*x[35] - x[10]*x[5] + x[10]*x[53] + x[11]*x[54] + x[34]*x[7] + x[44]*x[8] + x[50]*x[9];
 -x[19]*x[2] + x[10]*x[25] + x[14]*x[29] + x[17]*x[32] + x[19]*x[34] + x[20]*x[35] + x[10]*x[5] - x[10]*x[53] - x[11]*x[54] - x[34]*x[7] - x[44]*x[8] - x[50]*x[9];
 -x[11]*x[14] - x[26]*x[29] + x[23]*x[35] - x[30]*x[39] - x[33]*x[42] - x[35]*x[44] + x[27]*x[45] - x[36]*x[45] + x[28]*x[51] + x[29]*x[54] + x[30]*x[55] + x[20]*x[8];
 x[16]*x[2] - x[13]*x[28] - x[16]*x[31] - x[17]*x[32] - x[18]*x[33] + x[10]*x[48] + x[11]*x[49] + x[31]*x[7] + x[41]*x[8] - x[24]*x[9] - x[4]*x[9] + x[47]*x[9];
 -x[16]*x[2] + x[13]*x[28] + x[16]*x[31] + x[17]*x[32] + x[18]*x[33] - x[10]*x[48] - x[11]*x[49] - x[31]*x[7] - x[41]*x[8] + x[24]*x[9] + x[4]*x[9] - x[47]*x[9];
 x[11]*x[14] + x[26]*x[29] - x[23]*x[35] + x[30]*x[39] + x[33]*x[42] + x[35]*x[44] - x[27]*x[45] + x[36]*x[45] - x[28]*x[51] - x[29]*x[54] - x[30]*x[55] - x[20]*x[8];
 x[18]^2 - x[16]*x[21] + x[33]^2 - x[31]*x[36] + x[43]^2 - x[41]*x[46] + x[49]^2 + x[51]^2 - x[47]*x[52] + x[52]^2 - x[48]*x[55] - x[49]*x[56] - 1;
 -x[10]*x[18] - x[25]*x[33] + x[24]*x[35] - x[29]*x[43] + x[28]*x[45] - x[32]*x[49] + x[31]*x[51] - x[34]*x[51] - x[35]*x[52] + x[32]*x[54] + x[33]*x[55] + x[20]*x[9];
 x[10]*x[18] + x[25]*x[33] - x[24]*x[35] + x[29]*x[43] - x[28]*x[45] + x[32]*x[49] - x[31]*x[51] + x[34]*x[51] + x[35]*x[52] - x[32]*x[54] - x[33]*x[55] - x[20]*x[9];
 -x[13]*x[27] + x[12]*x[28] - x[16]*x[28] - x[17]*x[29] - x[18]*x[30] + x[13]*x[31] + x[14]*x[32] + x[15]*x[33] + x[24]*x[8] - x[4]*x[8] - x[23]*x[9] + x[3]*x[9];
 x[13]*x[27] - x[12]*x[28] + x[16]*x[28] + x[17]*x[29] + x[18]*x[30] - x[13]*x[31] - x[14]*x[32] - x[15]*x[33] - x[24]*x[8] + x[4]*x[8] + x[23]*x[9] - x[3]*x[9];
 -x[10]*x[28] + x[17]*x[3] - x[14]*x[38] - x[17]*x[41] + x[12]*x[42] - x[19]*x[42] - x[20]*x[43] + x[13]*x[48] - x[13]*x[5] + x[14]*x[50] + x[15]*x[51] + x[32]*x[8];
 x[14]*x[2] - x[10]*x[23] - x[14]*x[27] - x[17]*x[28] - x[19]*x[29] - x[20]*x[30] + x[10]*x[44] + x[11]*x[45] + x[29]*x[7] + x[39]*x[8] - x[5]*x[8] + x[42]*x[9];
 -x[14]*x[2] + x[10]*x[23] + x[14]*x[27] + x[17]*x[28] + x[19]*x[29] + x[20]*x[30] - x[10]*x[44] - x[11]*x[45] - x[29]*x[7] - x[39]*x[8] + x[5]*x[8] - x[42]*x[9];
 x[10]*x[28] - x[17]*x[3] + x[14]*x[38] + x[17]*x[41] - x[12]*x[42] + x[19]*x[42] + x[20]*x[43] - x[13]*x[48] + x[13]*x[5] - x[14]*x[50] - x[15]*x[51] - x[32]*x[8];
 -x[11]*x[13] - x[26]*x[28] + x[24]*x[30] - x[30]*x[38] + x[28]*x[40] - x[33]*x[41] - x[35]*x[42] + x[31]*x[43] - x[36]*x[43] + x[32]*x[45] + x[33]*x[46] + x[15]*x[9];
 x[11]*x[13] + x[26]*x[28] - x[24]*x[30] + x[30]*x[38] - x[28]*x[40] + x[33]*x[41] + x[35]*x[42] - x[31]*x[43] + x[36]*x[43] - x[32]*x[45] - x[33]*x[46] - x[15]*x[9];
 -x[24]*x[25] - x[28]*x[29] + x[22]*x[32] - x[31]*x[32] - x[32]*x[34] - x[33]*x[35] + x[23]*x[42] + x[24]*x[48] + x[25]*x[50] + x[26]*x[51] + x[17]*x[7] - x[10]*x[9];
 x[24]*x[25] + x[28]*x[29] - x[22]*x[32] + x[31]*x[32] + x[32]*x[34] + x[33]*x[35] - x[23]*x[42] - x[24]*x[48] - x[25]*x[50] - x[26]*x[51] - x[17]*x[7] + x[10]*x[9];
 x[15]^2 - x[12]*x[21] + x[30]^2 - x[27]*x[36] + x[40]^2 + x[43]^2 + x[45]^2 - x[37]*x[46] + x[46]^2 - x[38]*x[52] - x[39]*x[55] - x[40]*x[56] - 1;
 x[12]*x[2] - x[12]*x[27] - x[13]*x[28] - x[14]*x[29] - x[15]*x[30] + x[10]*x[39] + x[11]*x[40] + x[27]*x[7] - x[23]*x[8] - x[3]*x[8] + x[37]*x[8] + x[38]*x[9];
 -x[12]*x[2] + x[12]*x[27] + x[13]*x[28] + x[14]*x[29] + x[15]*x[30] - x[10]*x[39] - x[11]*x[40] - x[27]*x[7] + x[23]*x[8] + x[3]*x[8] - x[37]*x[8] - x[38]*x[9];
 x[20]*x[3] - x[10]*x[30] - x[14]*x[40] - x[17]*x[43] + x[12]*x[45] - x[19]*x[45] - x[20]*x[46] - x[15]*x[5] + x[13]*x[51] + x[14]*x[54] + x[15]*x[55] + x[35]*x[8];
 -x[20]*x[3] + x[10]*x[30] + x[14]*x[40] + x[17]*x[43] - x[12]*x[45] + x[19]*x[45] + x[20]*x[46] + x[15]*x[5] - x[13]*x[51] - x[14]*x[54] - x[15]*x[55] - x[35]*x[8];
 x[10]^2 + x[11]^2 + x[2]^2 - x[2]*x[22] - x[23]*x[3] - x[24]*x[4] - x[25]*x[5] - x[26]*x[6] - x[1]*x[7] + x[7]^2 + x[8]^2 + x[9]^2 - 1;
 -x[10]*x[31] + x[17]*x[4] - x[14]*x[41] + x[13]*x[42] - x[17]*x[47] + x[16]*x[48] - x[19]*x[48] - x[20]*x[49] - x[16]*x[5] + x[17]*x[50] + x[18]*x[51] + x[32]*x[9];
 x[10]*x[31] - x[17]*x[4] + x[14]*x[41] - x[13]*x[42] + x[17]*x[47] - x[16]*x[48] + x[19]*x[48] + x[20]*x[49] + x[16]*x[5] - x[17]*x[50] - x[18]*x[51] - x[32]*x[9];
 x[18]*x[2] - x[13]*x[30] - x[16]*x[33] - x[17]*x[35] - x[18]*x[36] - x[11]*x[4] + x[10]*x[51] + x[11]*x[52] + x[33]*x[7] + x[43]*x[8] - x[26]*x[9] + x[49]*x[9];
 -x[18]*x[2] + x[13]*x[30] + x[16]*x[33] + x[17]*x[35] + x[18]*x[36] + x[11]*x[4] - x[10]*x[51] - x[11]*x[52] - x[33]*x[7] - x[43]*x[8] + x[26]*x[9] - x[49]*x[9];
 x[23]^2 - x[22]*x[27] + x[27]^2 + x[28]^2 + x[29]^2 + x[30]^2 - x[23]*x[37] - x[24]*x[38] - x[25]*x[39] - x[26]*x[40] - x[12]*x[7] + x[8]^2 - 1;
 x[24]^2 + x[28]^2 - x[22]*x[31] + x[31]^2 + x[32]^2 + x[33]^2 - x[23]*x[41] - x[24]*x[47] - x[25]*x[48] - x[26]*x[49] - x[16]*x[7] + x[9]^2 - 1;
 -x[11]*x[28] - x[15]*x[38] + x[15]*x[4] + x[13]*x[40] - x[18]*x[41] - x[20]*x[42] + x[16]*x[43] - x[21]*x[43] + x[17]*x[45] + x[18]*x[46] - x[13]*x[6] + x[30]*x[9];
 x[16]*x[3] - x[13]*x[38] - x[13]*x[4] + x[12]*x[41] - x[16]*x[41] - x[17]*x[42] - x[18]*x[43] + x[13]*x[47] + x[14]*x[48] + x[15]*x[49] + x[31]*x[8] - x[28]*x[9];
 -x[16]*x[3] + x[13]*x[38] + x[13]*x[4] - x[12]*x[41] + x[16]*x[41] + x[17]*x[42] + x[18]*x[43] - x[13]*x[47] - x[14]*x[48] - x[15]*x[49] - x[31]*x[8] + x[28]*x[9];
 x[11]*x[28] + x[15]*x[38] - x[15]*x[4] - x[13]*x[40] + x[18]*x[41] + x[20]*x[42] - x[16]*x[43] + x[21]*x[43] - x[17]*x[45] - x[18]*x[46] + x[13]*x[6] - x[30]*x[9];
 -x[10]*x[17] - x[25]*x[32] + x[24]*x[34] - x[29]*x[42] + x[28]*x[44] - x[32]*x[48] + x[31]*x[50] - x[34]*x[50] - x[35]*x[51] + x[32]*x[53] + x[33]*x[54] + x[19]*x[9];
 -x[11]*x[17] + x[10]*x[18] - x[26]*x[32] + x[25]*x[33] - x[30]*x[42] + x[29]*x[43] - x[33]*x[48] + x[32]*x[49] - x[35]*x[50] + x[34]*x[51] - x[36]*x[51] + x[35]*x[52];
 x[10]*x[17] + x[25]*x[32] - x[24]*x[34] + x[29]*x[42] - x[28]*x[44] + x[32]*x[48] - x[31]*x[50] + x[34]*x[50] + x[35]*x[51] - x[32]*x[53] - x[33]*x[54] - x[19]*x[9];
 x[11]*x[17] - x[10]*x[18] + x[26]*x[32] - x[25]*x[33] + x[30]*x[42] - x[29]*x[43] + x[33]*x[48] - x[32]*x[49] + x[35]*x[50] - x[34]*x[51] + x[36]*x[51] - x[35]*x[52];
 -x[18]*x[19] + x[17]*x[20] - x[33]*x[34] + x[32]*x[35] - x[43]*x[44] + x[42]*x[45] - x[49]*x[50] + x[48]*x[51] - x[51]*x[53] + x[50]*x[54] - x[52]*x[54] + x[51]*x[55];
 -x[11]^2 - x[15]^2 - x[18]^2 - x[20]^2 + x[1]*x[21] - x[21]^2 + x[2]*x[36] + x[3]*x[46] + x[4]*x[52] + x[5]*x[55] + x[56]*x[6] - x[6]^2 + 1;
 x[18]*x[19] - x[17]*x[20] + x[33]*x[34] - x[32]*x[35] + x[43]*x[44] - x[42]*x[45] + x[49]*x[50] - x[48]*x[51] + x[51]*x[53] - x[50]*x[54] + x[52]*x[54] - x[51]*x[55];
 -x[14]^2 + x[12]*x[19] - x[29]^2 + x[27]*x[34] - x[39]^2 - x[42]^2 + x[37]*x[44] - x[44]^2 - x[45]^2 + x[38]*x[50] + x[39]*x[53] + x[40]*x[54] + 1;
 -x[10]^2 - x[25]^2 - x[29]^2 - x[32]^2 + x[22]*x[34] - x[34]^2 - x[35]^2 + x[23]*x[44] + x[24]*x[50] + x[25]*x[53] + x[26]*x[54] + x[19]*x[7] + 1;
 -x[10]*x[13] - x[25]*x[28] + x[24]*x[29] - x[29]*x[38] + x[28]*x[39] - x[32]*x[41] + x[31]*x[42] - x[34]*x[42] - x[35]*x[43] + x[32]*x[44] + x[33]*x[45] + x[14]*x[9];
 x[10]*x[13] + x[25]*x[28] - x[24]*x[29] + x[29]*x[38] - x[28]*x[39] + x[32]*x[41] - x[31]*x[42] + x[34]*x[42] + x[35]*x[43] - x[32]*x[44] - x[33]*x[45] - x[14]*x[9];
 -x[11]^2 - x[26]^2 - x[30]^2 - x[33]^2 - x[35]^2 + x[22]*x[36] - x[36]^2 + x[23]*x[46] + x[24]*x[52] + x[25]*x[55] + x[26]*x[56] + x[21]*x[7] + 1;
 -x[10]*x[29] + x[19]*x[3] - x[14]*x[39] - x[17]*x[42] + x[12]*x[44] - x[19]*x[44] - x[20]*x[45] - x[14]*x[5] + x[13]*x[50] + x[14]*x[53] + x[15]*x[54] + x[34]*x[8];
 x[10]*x[29] - x[19]*x[3] + x[14]*x[39] + x[17]*x[42] - x[12]*x[44] + x[19]*x[44] + x[20]*x[45] + x[14]*x[5] - x[13]*x[50] - x[14]*x[53] - x[15]*x[54] - x[34]*x[8];
 -x[11]*x[20] + x[10]*x[21] - x[26]*x[35] + x[25]*x[36] - x[30]*x[45] + x[29]*x[46] - x[33]*x[51] + x[32]*x[52] - x[35]*x[54] + x[34]*x[55] - x[36]*x[55] + x[35]*x[56];
 x[11]*x[20] - x[10]*x[21] + x[26]*x[35] - x[25]*x[36] + x[30]*x[45] - x[29]*x[46] + x[33]*x[51] - x[32]*x[52] + x[35]*x[54] - x[34]*x[55] + x[36]*x[55] - x[35]*x[56];
 -x[11]*x[16] - x[26]*x[31] + x[24]*x[33] - x[30]*x[41] + x[28]*x[43] - x[33]*x[47] - x[35]*x[48] + x[31]*x[49] - x[36]*x[49] + x[32]*x[51] + x[33]*x[52] + x[18]*x[9];
 x[11]*x[16] + x[26]*x[31] - x[24]*x[33] + x[30]*x[41] - x[28]*x[43] + x[33]*x[47] + x[35]*x[48] - x[31]*x[49] + x[36]*x[49] - x[32]*x[51] - x[33]*x[52] - x[18]*x[9];
 -x[10]*x[24] - x[14]*x[28] + x[13]*x[29] - x[17]*x[31] + x[16]*x[32] - x[19]*x[32] - x[20]*x[33] + x[17]*x[34] + x[18]*x[35] + x[10]*x[4] + x[25]*x[9] - x[5]*x[9];
 x[10]*x[24] + x[14]*x[28] - x[13]*x[29] + x[17]*x[31] - x[16]*x[32] + x[19]*x[32] + x[20]*x[33] - x[17]*x[34] - x[18]*x[35] - x[10]*x[4] - x[25]*x[9] + x[5]*x[9];
 x[13]*x[2] - x[13]*x[27] - x[16]*x[28] - x[17]*x[29] - x[18]*x[30] + x[10]*x[42] + x[11]*x[43] + x[28]*x[7] + x[38]*x[8] - x[4]*x[8] - x[23]*x[9] + x[41]*x[9];
 -x[13]*x[2] + x[13]*x[27] + x[16]*x[28] + x[17]*x[29] + x[18]*x[30] - x[10]*x[42] - x[11]*x[43] - x[28]*x[7] - x[38]*x[8] + x[4]*x[8] + x[23]*x[9] - x[41]*x[9];
 -x[13]^2 + x[12]*x[16] - x[28]^2 + x[27]*x[31] - x[38]^2 + x[37]*x[41] - x[41]^2 - x[42]^2 - x[43]^2 + x[38]*x[47] + x[39]*x[48] + x[40]*x[49] + 1;
 -x[20]^2 + x[19]*x[21] - x[35]^2 + x[34]*x[36] - x[45]^2 + x[44]*x[46] - x[51]^2 + x[50]*x[52] - x[54]^2 + x[53]*x[55] - x[55]^2 + x[54]*x[56] + 1;
 -x[13]*x[14] + x[12]*x[17] - x[28]*x[29] + x[27]*x[32] - x[38]*x[39] + x[37]*x[42] - x[41]*x[42] - x[42]*x[44] - x[43]*x[45] + x[38]*x[48] + x[39]*x[50] + x[40]*x[51];
 x[13]*x[14] - x[12]*x[17] + x[28]*x[29] - x[27]*x[32] + x[38]*x[39] - x[37]*x[42] + x[41]*x[42] + x[42]*x[44] + x[43]*x[45] - x[38]*x[48] - x[39]*x[50] - x[40]*x[51];
 -x[1]*x[14] + x[12]*x[14] + x[13]*x[17] + x[14]*x[19] + x[15]*x[20] - x[2]*x[29] - x[3]*x[39] - x[4]*x[42] + x[3]*x[5] - x[44]*x[5] - x[45]*x[6] + x[10]*x[8];
 x[1]*x[14] - x[12]*x[14] - x[13]*x[17] - x[14]*x[19] - x[15]*x[20] + x[2]*x[29] + x[3]*x[39] + x[4]*x[42] - x[3]*x[5] + x[44]*x[5] + x[45]*x[6] - x[10]*x[8];
 -x[10]^2 - x[14]^2 - x[17]^2 + x[1]*x[19] - x[19]^2 - x[20]^2 + x[2]*x[34] + x[3]*x[44] - x[5]^2 + x[4]*x[50] + x[5]*x[53] + x[54]*x[6] + 1;
 x[10]^2 + x[14]^2 + x[17]^2 - x[1]*x[19] + x[19]^2 + x[20]^2 - x[2]*x[34] - x[3]*x[44] + x[5]^2 - x[4]*x[50] - x[5]*x[53] - x[54]*x[6] - 1;
 -x[10]*x[12] - x[25]*x[27] + x[23]*x[29] - x[29]*x[37] - x[32]*x[38] + x[27]*x[39] - x[34]*x[39] - x[35]*x[40] + x[28]*x[42] + x[29]*x[44] + x[30]*x[45] + x[14]*x[8];
 x[10]*x[12] + x[25]*x[27] - x[23]*x[29] + x[29]*x[37] + x[32]*x[38] - x[27]*x[39] + x[34]*x[39] + x[35]*x[40] - x[28]*x[42] - x[29]*x[44] - x[30]*x[45] - x[14]*x[8];
 -x[13]*x[15] + x[1]*x[18] - x[16]*x[18] - x[17]*x[20] - x[18]*x[21] + x[2]*x[33] + x[3]*x[43] + x[4]*x[49] + x[5]*x[51] - x[4]*x[6] + x[52]*x[6] - x[11]*x[9];
 x[15]*x[2] - x[11]*x[3] - x[12]*x[30] - x[13]*x[33] - x[14]*x[35] - x[15]*x[36] + x[10]*x[45] + x[11]*x[46] + x[30]*x[7] - x[26]*x[8] + x[40]*x[8] + x[43]*x[9];
 -x[15]*x[2] + x[11]*x[3] + x[12]*x[30] + x[13]*x[33] + x[14]*x[35] + x[15]*x[36] - x[10]*x[45] - x[11]*x[46] - x[30]*x[7] + x[26]*x[8] - x[40]*x[8] - x[43]*x[9];
 x[1]*x[10] - x[10]*x[19] - x[11]*x[20] + x[2]*x[25] + x[29]*x[3] + x[32]*x[4] - x[2]*x[5] + x[34]*x[5] + x[35]*x[6] - x[10]*x[7] - x[14]*x[8] - x[17]*x[9];
 -x[1]*x[10] + x[10]*x[19] + x[11]*x[20] - x[2]*x[25] - x[29]*x[3] - x[32]*x[4] + x[2]*x[5] - x[34]*x[5] - x[35]*x[6] + x[10]*x[7] + x[14]*x[8] + x[17]*x[9];
 x[13]*x[15] - x[1]*x[18] + x[16]*x[18] + x[17]*x[20] + x[18]*x[21] - x[2]*x[33] - x[3]*x[43] - x[4]*x[49] - x[5]*x[51] + x[4]*x[6] - x[52]*x[6] + x[11]*x[9];
 -x[11]*x[29] + x[10]*x[30] - x[15]*x[39] + x[14]*x[40] - x[18]*x[42] + x[17]*x[43] - x[20]*x[44] + x[19]*x[45] - x[21]*x[45] + x[20]*x[46] + x[15]*x[5] - x[14]*x[6];
 x[11]*x[29] - x[10]*x[30] + x[15]*x[39] - x[14]*x[40] + x[18]*x[42] - x[17]*x[43] + x[20]*x[44] - x[19]*x[45] + x[21]*x[45] - x[20]*x[46] - x[15]*x[5] + x[14]*x[6];
 -x[11]*x[23] - x[15]*x[27] - x[18]*x[28] - x[20]*x[29] + x[11]*x[3] + x[12]*x[30] - x[21]*x[30] + x[13]*x[33] + x[14]*x[35] + x[15]*x[36] + x[26]*x[8] - x[6]*x[8];
 x[11]*x[23] + x[15]*x[27] + x[18]*x[28] + x[20]*x[29] - x[11]*x[3] - x[12]*x[30] + x[21]*x[30] - x[13]*x[33] - x[14]*x[35] - x[15]*x[36] - x[26]*x[8] + x[6]*x[8];
 x[13]^2 - x[12]*x[16] + x[28]^2 - x[27]*x[31] + x[38]^2 - x[37]*x[41] + x[41]^2 + x[42]^2 + x[43]^2 - x[38]*x[47] - x[39]*x[48] - x[40]*x[49] - 1;
 x[1]*x[15] - x[12]*x[15] - x[13]*x[18] - x[14]*x[20] - x[15]*x[21] + x[2]*x[30] + x[3]*x[40] + x[4]*x[43] + x[45]*x[5] - x[3]*x[6] + x[46]*x[6] - x[11]*x[8];
 -x[1]*x[15] + x[12]*x[15] + x[13]*x[18] + x[14]*x[20] + x[15]*x[21] - x[2]*x[30] - x[3]*x[40] - x[4]*x[43] - x[45]*x[5] + x[3]*x[6] - x[46]*x[6] + x[11]*x[8];
 x[20]^2 - x[19]*x[21] + x[35]^2 - x[34]*x[36] + x[45]^2 - x[44]*x[46] + x[51]^2 - x[50]*x[52] + x[54]^2 - x[53]*x[55] + x[55]^2 - x[54]*x[56] - 1;
 -x[24]*x[29] + x[23]*x[32] - x[28]*x[39] + x[27]*x[42] - x[31]*x[42] - x[32]*x[44] - x[33]*x[45] + x[28]*x[48] + x[29]*x[50] + x[30]*x[51] + x[17]*x[8] - x[14]*x[9];
 x[24]*x[29] - x[23]*x[32] + x[28]*x[39] - x[27]*x[42] + x[31]*x[42] + x[32]*x[44] + x[33]*x[45] - x[28]*x[48] - x[29]*x[50] - x[30]*x[51] - x[17]*x[8] + x[14]*x[9];
 x[18]*x[3] - x[15]*x[4] - x[13]*x[40] + x[12]*x[43] - x[16]*x[43] - x[17]*x[45] - x[18]*x[46] + x[13]*x[49] + x[14]*x[51] + x[15]*x[52] + x[33]*x[8] - x[30]*x[9];
 -x[18]*x[3] + x[15]*x[4] + x[13]*x[40] - x[12]*x[43] + x[16]*x[43] + x[17]*x[45] + x[18]*x[46] - x[13]*x[49] - x[14]*x[51] - x[15]*x[52] - x[33]*x[8] + x[30]*x[9];
 x[21]*x[3] - x[11]*x[30] - x[15]*x[40] - x[18]*x[43] - x[20]*x[45] + x[12]*x[46] - x[21]*x[46] + x[13]*x[52] + x[14]*x[55] + x[15]*x[56] - x[15]*x[6] + x[36]*x[8];
 -x[21]*x[3] + x[11]*x[30] + x[15]*x[40] + x[18]*x[43] + x[20]*x[45] - x[12]*x[46] + x[21]*x[46] - x[13]*x[52] - x[14]*x[55] - x[15]*x[56] + x[15]*x[6] - x[36]*x[8];
 -x[11]*x[25] + x[10]*x[26] - x[15]*x[29] + x[14]*x[30] - x[18]*x[32] + x[17]*x[33] - x[20]*x[34] + x[19]*x[35] - x[21]*x[35] + x[20]*x[36] + x[11]*x[5] - x[10]*x[6];
 x[11]*x[25] - x[10]*x[26] + x[15]*x[29] - x[14]*x[30] + x[18]*x[32] - x[17]*x[33] + x[20]*x[34] - x[19]*x[35] + x[21]*x[35] - x[20]*x[36] - x[11]*x[5] + x[10]*x[6];
 x[11]^2 + x[26]^2 + x[30]^2 + x[33]^2 + x[35]^2 - x[22]*x[36] + x[36]^2 - x[23]*x[46] - x[24]*x[52] - x[25]*x[55] - x[26]*x[56] - x[21]*x[7] - 1;
 -x[11]*x[19] + x[10]*x[20] - x[26]*x[34] + x[25]*x[35] - x[30]*x[44] + x[29]*x[45] - x[33]*x[50] + x[32]*x[51] - x[35]*x[53] + x[34]*x[54] - x[36]*x[54] + x[35]*x[55];
 x[11]*x[19] - x[10]*x[20] + x[26]*x[34] - x[25]*x[35] + x[30]*x[44] - x[29]*x[45] + x[33]*x[50] - x[32]*x[51] + x[35]*x[53] - x[34]*x[54] + x[36]*x[54] - x[35]*x[55];
 -x[14]*x[16] + x[13]*x[17] - x[29]*x[31] + x[28]*x[32] - x[39]*x[41] + x[38]*x[42] - x[42]*x[47] + x[41]*x[48] - x[44]*x[48] - x[45]*x[49] + x[42]*x[50] + x[43]*x[51];
 x[14]*x[16] - x[13]*x[17] + x[29]*x[31] - x[28]*x[32] + x[39]*x[41] - x[38]*x[42] + x[42]*x[47] - x[41]*x[48] + x[44]*x[48] + x[45]*x[49] - x[42]*x[50] - x[43]*x[51];
 x[10]*x[2] - x[10]*x[22] - x[14]*x[23] - x[17]*x[24] - x[19]*x[25] - x[20]*x[26] + x[10]*x[34] + x[11]*x[35] + x[25]*x[7] - x[5]*x[7] + x[29]*x[8] + x[32]*x[9];
 -x[10]*x[32] + x[19]*x[4] - x[14]*x[42] + x[13]*x[44] - x[17]*x[48] - x[17]*x[5] + x[16]*x[50] - x[19]*x[50] - x[20]*x[51] + x[17]*x[53] + x[18]*x[54] + x[34]*x[9];
 -x[10]*x[2] + x[10]*x[22] + x[14]*x[23] + x[17]*x[24] + x[19]*x[25] + x[20]*x[26] - x[10]*x[34] - x[11]*x[35] - x[25]*x[7] + x[5]*x[7] - x[29]*x[8] - x[32]*x[9];
 x[10]*x[32] - x[19]*x[4] + x[14]*x[42] - x[13]*x[44] + x[17]*x[48] + x[17]*x[5] - x[16]*x[50] + x[19]*x[50] + x[20]*x[51] - x[17]*x[53] - x[18]*x[54] - x[34]*x[9];
 -x[10]*x[16] - x[25]*x[31] + x[24]*x[32] - x[29]*x[41] + x[28]*x[42] - x[32]*x[47] + x[31]*x[48] - x[34]*x[48] - x[35]*x[49] + x[32]*x[50] + x[33]*x[51] + x[17]*x[9];
 x[10]*x[16] + x[25]*x[31] - x[24]*x[32] + x[29]*x[41] - x[28]*x[42] + x[32]*x[47] - x[31]*x[48] + x[34]*x[48] + x[35]*x[49] - x[32]*x[50] - x[33]*x[51] - x[17]*x[9];
 -x[10]*x[23] - x[14]*x[27] - x[17]*x[28] + x[12]*x[29] - x[19]*x[29] + x[10]*x[3] - x[20]*x[30] + x[13]*x[32] + x[14]*x[34] + x[15]*x[35] + x[25]*x[8] - x[5]*x[8];
 x[10]*x[23] + x[14]*x[27] + x[17]*x[28] - x[12]*x[29] + x[19]*x[29] - x[10]*x[3] + x[20]*x[30] - x[13]*x[32] - x[14]*x[34] - x[15]*x[35] - x[25]*x[8] + x[5]*x[8];
 x[10]^2 + x[25]^2 + x[29]^2 + x[32]^2 - x[22]*x[34] + x[34]^2 + x[35]^2 - x[23]*x[44] - x[24]*x[50] - x[25]*x[53] - x[26]*x[54] - x[19]*x[7] - 1;
 x[14]^2 - x[12]*x[19] + x[29]^2 - x[27]*x[34] + x[39]^2 + x[42]^2 - x[37]*x[44] + x[44]^2 + x[45]^2 - x[38]*x[50] - x[39]*x[53] - x[40]*x[54] - 1;
 x[11]^2 + x[15]^2 + x[18]^2 + x[20]^2 - x[1]*x[21] + x[21]^2 - x[2]*x[36] - x[3]*x[46] - x[4]*x[52] - x[5]*x[55] - x[56]*x[6] + x[6]^2 - 1;
 -x[24]^2 - x[28]^2 + x[22]*x[31] - x[31]^2 - x[32]^2 - x[33]^2 + x[23]*x[41] + x[24]*x[47] + x[25]*x[48] + x[26]*x[49] + x[16]*x[7] - x[9]^2 + 1;
 -x[10]^2 - x[11]^2 - x[2]^2 + x[2]*x[22] + x[23]*x[3] + x[24]*x[4] + x[25]*x[5] + x[26]*x[6] + x[1]*x[7] - x[7]^2 - x[8]^2 - x[9]^2 + 1;
 x[2]*x[20] - x[10]*x[26] - x[14]*x[30] - x[17]*x[33] - x[19]*x[35] - x[20]*x[36] - x[11]*x[5] + x[10]*x[54] + x[11]*x[55] + x[35]*x[7] + x[45]*x[8] + x[51]*x[9];
 -x[2]*x[20] + x[10]*x[26] + x[14]*x[30] + x[17]*x[33] + x[19]*x[35] + x[20]*x[36] + x[11]*x[5] - x[10]*x[54] - x[11]*x[55] - x[35]*x[7] - x[45]*x[8] - x[51]*x[9];
 -x[23]^2 + x[22]*x[27] - x[27]^2 - x[28]^2 - x[29]^2 - x[30]^2 + x[23]*x[37] + x[24]*x[38] + x[25]*x[39] + x[26]*x[40] + x[12]*x[7] - x[8]^2 + 1;
 x[1]*x[13] - x[12]*x[13] - x[13]*x[16] - x[14]*x[17] - x[15]*x[18] + x[2]*x[28] + x[3]*x[38] - x[3]*x[4] + x[4]*x[41] + x[42]*x[5] + x[43]*x[6] - x[8]*x[9];
 x[11]*x[2] - x[11]*x[22] - x[15]*x[23] - x[18]*x[24] - x[20]*x[25] - x[21]*x[26] + x[10]*x[35] + x[11]*x[36] + x[26]*x[7] - x[6]*x[7] + x[30]*x[8] + x[33]*x[9];
 -x[1]*x[13] + x[12]*x[13] + x[13]*x[16] + x[14]*x[17] + x[15]*x[18] - x[2]*x[28] - x[3]*x[38] + x[3]*x[4] - x[4]*x[41] - x[42]*x[5] - x[43]*x[6] + x[8]*x[9];
 -x[11]*x[2] + x[11]*x[22] + x[15]*x[23] + x[18]*x[24] + x[20]*x[25] + x[21]*x[26] - x[10]*x[35] - x[11]*x[36] - x[26]*x[7] + x[6]*x[7] - x[30]*x[8] - x[33]*x[9];
 x[18]*x[2] - x[11]*x[24] - x[15]*x[28] - x[18]*x[31] - x[20]*x[32] - x[21]*x[33] + x[10]*x[51] + x[11]*x[52] + x[33]*x[7] + x[43]*x[8] + x[49]*x[9] - x[6]*x[9];
 -x[11]*x[33] + x[21]*x[4] - x[15]*x[43] + x[13]*x[46] - x[18]*x[49] - x[20]*x[51] + x[16]*x[52] - x[21]*x[52] + x[17]*x[55] + x[18]*x[56] - x[18]*x[6] + x[36]*x[9];
 -x[11]*x[32] + x[20]*x[4] - x[15]*x[42] + x[13]*x[45] - x[18]*x[48] - x[20]*x[50] + x[16]*x[51] - x[21]*x[51] + x[17]*x[54] + x[18]*x[55] - x[17]*x[6] + x[35]*x[9];
 -x[18]*x[2] + x[11]*x[24] + x[15]*x[28] + x[18]*x[31] + x[20]*x[32] + x[21]*x[33] - x[10]*x[51] - x[11]*x[52] - x[33]*x[7] - x[43]*x[8] - x[49]*x[9] + x[6]*x[9];
 x[11]*x[32] - x[20]*x[4] + x[15]*x[42] - x[13]*x[45] + x[18]*x[48] + x[20]*x[50] - x[16]*x[51] + x[21]*x[51] - x[17]*x[54] - x[18]*x[55] + x[17]*x[6] - x[35]*x[9];
 x[11]*x[33] - x[21]*x[4] + x[15]*x[43] - x[13]*x[46] + x[18]*x[49] + x[20]*x[51] - x[16]*x[52] + x[21]*x[52] - x[17]*x[55] - x[18]*x[56] + x[18]*x[6] - x[36]*x[9];
 -x[11]*x[29] + x[20]*x[3] - x[15]*x[39] - x[18]*x[42] - x[20]*x[44] + x[12]*x[45] - x[21]*x[45] + x[13]*x[51] + x[14]*x[54] + x[15]*x[55] - x[14]*x[6] + x[35]*x[8];
 x[11]*x[29] - x[20]*x[3] + x[15]*x[39] + x[18]*x[42] + x[20]*x[44] - x[12]*x[45] + x[21]*x[45] - x[13]*x[51] - x[14]*x[54] - x[15]*x[55] + x[14]*x[6] - x[35]*x[8];
 -x[24]*x[26] - x[28]*x[30] + x[22]*x[33] - x[31]*x[33] - x[32]*x[35] - x[33]*x[36] + x[23]*x[43] + x[24]*x[49] + x[25]*x[51] + x[26]*x[52] + x[18]*x[7] - x[11]*x[9];
 x[24]*x[26] + x[28]*x[30] - x[22]*x[33] + x[31]*x[33] + x[32]*x[35] + x[33]*x[36] - x[23]*x[43] - x[24]*x[49] - x[25]*x[51] - x[26]*x[52] - x[18]*x[7] + x[11]*x[9];
 -x[10]*x[27] + x[14]*x[3] - x[14]*x[37] - x[17]*x[38] + x[12]*x[39] - x[19]*x[39] - x[20]*x[40] + x[13]*x[42] + x[14]*x[44] + x[15]*x[45] - x[12]*x[5] + x[29]*x[8];
 x[10]*x[27] - x[14]*x[3] + x[14]*x[37] + x[17]*x[38] - x[12]*x[39] + x[19]*x[39] + x[20]*x[40] - x[13]*x[42] - x[14]*x[44] - x[15]*x[45] + x[12]*x[5] - x[29]*x[8];
 -x[10]*x[15] - x[25]*x[30] + x[23]*x[35] - x[29]*x[40] - x[32]*x[43] + x[27]*x[45] - x[34]*x[45] - x[35]*x[46] + x[28]*x[51] + x[29]*x[54] + x[30]*x[55] + x[20]*x[8];
 x[10]*x[15] + x[25]*x[30] - x[23]*x[35] + x[29]*x[40] + x[32]*x[43] - x[27]*x[45] + x[34]*x[45] + x[35]*x[46] - x[28]*x[51] - x[29]*x[54] - x[30]*x[55] - x[20]*x[8];
 -x[1]*x[11] + x[10]*x[20] + x[11]*x[21] - x[2]*x[26] - x[3]*x[30] - x[33]*x[4] - x[35]*x[5] + x[2]*x[6] - x[36]*x[6] + x[11]*x[7] + x[15]*x[8] + x[18]*x[9];
 x[1]*x[11] - x[10]*x[20] - x[11]*x[21] + x[2]*x[26] + x[3]*x[30] + x[33]*x[4] + x[35]*x[5] - x[2]*x[6] + x[36]*x[6] - x[11]*x[7] - x[15]*x[8] - x[18]*x[9];
 -x[11]*x[13] - x[26]*x[28] + x[23]*x[33] - x[30]*x[38] - x[33]*x[41] - x[35]*x[42] + x[27]*x[43] - x[36]*x[43] + x[28]*x[49] + x[29]*x[51] + x[30]*x[52] + x[18]*x[8];
 x[11]*x[13] + x[26]*x[28] - x[23]*x[33] + x[30]*x[38] + x[33]*x[41] + x[35]*x[42] - x[27]*x[43] + x[36]*x[43] - x[28]*x[49] - x[29]*x[51] - x[30]*x[52] - x[18]*x[8];
 -x[15]^2 + x[12]*x[21] - x[30]^2 + x[27]*x[36] - x[40]^2 - x[43]^2 - x[45]^2 + x[37]*x[46] - x[46]^2 + x[38]*x[52] + x[39]*x[55] + x[40]*x[56] + 1;
 -x[14]*x[17] + x[13]*x[19] - x[29]*x[32] + x[28]*x[34] - x[39]*x[42] + x[38]*x[44] - x[42]*x[48] + x[41]*x[50] - x[44]*x[50] - x[45]*x[51] + x[42]*x[53] + x[43]*x[54];
 x[14]*x[17] - x[13]*x[19] + x[29]*x[32] - x[28]*x[34] + x[39]*x[42] - x[38]*x[44] + x[42]*x[48] - x[41]*x[50] + x[44]*x[50] + x[45]*x[51] - x[42]*x[53] - x[43]*x[54];
 -x[11]*x[35] + x[10]*x[36] - x[15]*x[45] + x[14]*x[46] + x[21]*x[5] - x[18]*x[51] + x[17]*x[52] - x[20]*x[54] + x[19]*x[55] - x[21]*x[55] + x[20]*x[56] - x[20]*x[6];
 x[11]*x[35] - x[10]*x[36] + x[15]*x[45] - x[14]*x[46] - x[21]*x[5] + x[18]*x[51] - x[17]*x[52] + x[20]*x[54] - x[19]*x[55] + x[21]*x[55] - x[20]*x[56] + x[20]*x[6];
 -x[18]^2 + x[16]*x[21] - x[33]^2 + x[31]*x[36] - x[43]^2 + x[41]*x[46] - x[49]^2 - x[51]^2 + x[47]*x[52] - x[52]^2 + x[48]*x[55] + x[49]*x[56] + 1;
 -x[10]*x[17] - x[11]*x[18] + x[2]*x[24] + x[28]*x[3] - x[2]*x[4] + x[31]*x[4] + x[32]*x[5] + x[33]*x[6] - x[13]*x[8] + x[1]*x[9] - x[16]*x[9] - x[7]*x[9];
 x[10]*x[17] + x[11]*x[18] - x[2]*x[24] - x[28]*x[3] + x[2]*x[4] - x[31]*x[4] - x[32]*x[5] - x[33]*x[6] + x[13]*x[8] - x[1]*x[9] + x[16]*x[9] + x[7]*x[9];
 x[13]*x[3] - x[13]*x[37] + x[12]*x[38] - x[16]*x[38] - x[17]*x[39] - x[12]*x[4] - x[18]*x[40] + x[13]*x[41] + x[14]*x[42] + x[15]*x[43] + x[28]*x[8] - x[27]*x[9];
 -x[13]*x[3] + x[13]*x[37] - x[12]*x[38] + x[16]*x[38] + x[17]*x[39] + x[12]*x[4] + x[18]*x[40] - x[13]*x[41] - x[14]*x[42] - x[15]*x[43] - x[28]*x[8] + x[27]*x[9];
 -x[15]*x[16] + x[13]*x[18] - x[30]*x[31] + x[28]*x[33] - x[40]*x[41] + x[38]*x[43] - x[43]*x[47] - x[45]*x[48] + x[41]*x[49] - x[46]*x[49] + x[42]*x[51] + x[43]*x[52];
 x[15]*x[16] - x[13]*x[18] + x[30]*x[31] - x[28]*x[33] + x[40]*x[41] - x[38]*x[43] + x[43]*x[47] + x[45]*x[48] - x[41]*x[49] + x[46]*x[49] - x[42]*x[51] - x[43]*x[52];
 x[1]*x[12] - x[12]^2 - x[13]^2 - x[14]^2 - x[15]^2 + x[2]*x[27] - x[3]^2 + x[3]*x[37] + x[38]*x[4] + x[39]*x[5] + x[40]*x[6] - x[8]^2 + 1;
 -x[13]*x[14] + x[1]*x[17] - x[16]*x[17] - x[17]*x[19] - x[18]*x[20] + x[2]*x[32] + x[3]*x[42] + x[4]*x[48] - x[4]*x[5] + x[5]*x[50] + x[51]*x[6] - x[10]*x[9];
 x[13]^2 - x[1]*x[16] + x[16]^2 + x[17]^2 + x[18]^2 - x[2]*x[31] + x[4]^2 - x[3]*x[41] - x[4]*x[47] - x[48]*x[5] - x[49]*x[6] + x[9]^2 - 1;
 x[13]*x[14] - x[1]*x[17] + x[16]*x[17] + x[17]*x[19] + x[18]*x[20] - x[2]*x[32] - x[3]*x[42] - x[4]*x[48] + x[4]*x[5] - x[5]*x[50] - x[51]*x[6] + x[10]*x[9];
 -x[23]*x[26] + x[22]*x[30] - x[27]*x[30] - x[28]*x[33] - x[29]*x[35] - x[30]*x[36] + x[23]*x[40] + x[24]*x[43] + x[25]*x[45] + x[26]*x[46] + x[15]*x[7] - x[11]*x[8];
 x[23]*x[26] - x[22]*x[30] + x[27]*x[30] + x[28]*x[33] + x[29]*x[35] + x[30]*x[36] - x[23]*x[40] - x[24]*x[43] - x[25]*x[45] - x[26]*x[46] - x[15]*x[7] + x[11]*x[8];
 x[17]*x[2] - x[13]*x[29] - x[16]*x[32] - x[17]*x[34] - x[18]*x[35] - x[10]*x[4] + x[10]*x[50] + x[11]*x[51] + x[32]*x[7] + x[42]*x[8] - x[25]*x[9] + x[48]*x[9];
 -x[17]*x[2] + x[13]*x[29] + x[16]*x[32] + x[17]*x[34] + x[18]*x[35] + x[10]*x[4] - x[10]*x[50] - x[11]*x[51] - x[32]*x[7] - x[42]*x[8] + x[25]*x[9] - x[48]*x[9];
 -x[10]*x[33] + x[20]*x[4] - x[14]*x[43] + x[13]*x[45] - x[17]*x[49] - x[18]*x[5] + x[16]*x[51] - x[19]*x[51] - x[20]*x[52] + x[17]*x[54] + x[18]*x[55] + x[35]*x[9];
 x[10]*x[33] - x[20]*x[4] + x[14]*x[43] - x[13]*x[45] + x[17]*x[49] + x[18]*x[5] - x[16]*x[51] + x[19]*x[51] + x[20]*x[52] - x[17]*x[54] - x[18]*x[55] - x[35]*x[9];
 x[2]*x[20] - x[11]*x[25] - x[15]*x[29] - x[18]*x[32] - x[20]*x[34] - x[21]*x[35] + x[10]*x[54] + x[11]*x[55] - x[10]*x[6] + x[35]*x[7] + x[45]*x[8] + x[51]*x[9];
 -x[13]*x[23] - x[16]*x[24] - x[17]*x[25] - x[18]*x[26] + x[10]*x[32] + x[11]*x[33] + x[24]*x[7] - x[4]*x[7] + x[28]*x[8] + x[2]*x[9] - x[22]*x[9] + x[31]*x[9];
 x[13]*x[23] + x[16]*x[24] + x[17]*x[25] + x[18]*x[26] - x[10]*x[32] - x[11]*x[33] - x[24]*x[7] + x[4]*x[7] - x[28]*x[8] - x[2]*x[9] + x[22]*x[9] - x[31]*x[9];
 -x[10]*x[11] - x[14]*x[15] - x[17]*x[18] + x[1]*x[20] - x[19]*x[20] - x[20]*x[21] + x[2]*x[35] + x[3]*x[45] + x[4]*x[51] + x[5]*x[54] - x[5]*x[6] + x[55]*x[6];
 x[10]*x[11] + x[14]*x[15] + x[17]*x[18] - x[1]*x[20] + x[19]*x[20] + x[20]*x[21] - x[2]*x[35] - x[3]*x[45] - x[4]*x[51] - x[5]*x[54] + x[5]*x[6] - x[55]*x[6];
 -x[11]*x[24] - x[15]*x[28] + x[13]*x[30] - x[18]*x[31] - x[20]*x[32] + x[16]*x[33] - x[21]*x[33] + x[17]*x[35] + x[18]*x[36] + x[11]*x[4] + x[26]*x[9] - x[6]*x[9];
 x[11]*x[24] + x[15]*x[28] - x[13]*x[30] + x[18]*x[31] + x[20]*x[32] - x[16]*x[33] + x[21]*x[33] - x[17]*x[35] - x[18]*x[36] - x[11]*x[4] - x[26]*x[9] + x[6]*x[9];
 -x[2]*x[20] + x[11]*x[25] + x[15]*x[29] + x[18]*x[32] + x[20]*x[34] + x[21]*x[35] - x[10]*x[54] - x[11]*x[55] + x[10]*x[6] - x[35]*x[7] - x[45]*x[8] - x[51]*x[9];
 -x[11]*x[14] + x[10]*x[15] - x[26]*x[29] + x[25]*x[30] - x[30]*x[39] + x[29]*x[40] - x[33]*x[42] + x[32]*x[43] - x[35]*x[44] + x[34]*x[45] - x[36]*x[45] + x[35]*x[46];
 -x[12]*x[23] - x[13]*x[24] - x[14]*x[25] - x[15]*x[26] + x[10]*x[29] + x[11]*x[30] + x[23]*x[7] - x[3]*x[7] + x[2]*x[8] - x[22]*x[8] + x[27]*x[8] + x[28]*x[9];
 x[12]*x[23] + x[13]*x[24] + x[14]*x[25] + x[15]*x[26] - x[10]*x[29] - x[11]*x[30] - x[23]*x[7] + x[3]*x[7] - x[2]*x[8] + x[22]*x[8] - x[27]*x[8] - x[28]*x[9];
 x[11]*x[14] - x[10]*x[15] + x[26]*x[29] - x[25]*x[30] + x[30]*x[39] - x[29]*x[40] + x[33]*x[42] - x[32]*x[43] + x[35]*x[44] - x[34]*x[45] + x[36]*x[45] - x[35]*x[46];
 -x[13]*x[15] + x[12]*x[18] - x[28]*x[30] + x[27]*x[33] - x[38]*x[40] + x[37]*x[43] - x[41]*x[43] - x[42]*x[45] - x[43]*x[46] + x[38]*x[49] + x[39]*x[51] + x[40]*x[52];
 x[13]*x[15] - x[12]*x[18] + x[28]*x[30] - x[27]*x[33] + x[38]*x[40] - x[37]*x[43] + x[41]*x[43] + x[42]*x[45] + x[43]*x[46] - x[38]*x[49] - x[39]*x[51] - x[40]*x[52];
 -x[11]*x[12] - x[26]*x[27] + x[23]*x[30] - x[30]*x[37] - x[33]*x[38] - x[35]*x[39] + x[27]*x[40] - x[36]*x[40] + x[28]*x[43] + x[29]*x[45] + x[30]*x[46] + x[15]*x[8];
 x[11]*x[12] + x[26]*x[27] - x[23]*x[30] + x[30]*x[37] + x[33]*x[38] + x[35]*x[39] - x[27]*x[40] + x[36]*x[40] - x[28]*x[43] - x[29]*x[45] - x[30]*x[46] - x[15]*x[8];
 -x[10]*x[14] - x[11]*x[15] + x[2]*x[23] - x[2]*x[3] + x[27]*x[3] + x[28]*x[4] + x[29]*x[5] + x[30]*x[6] + x[1]*x[8] - x[12]*x[8] - x[7]*x[8] - x[13]*x[9];
 x[10]*x[14] + x[11]*x[15] - x[2]*x[23] + x[2]*x[3] - x[27]*x[3] - x[28]*x[4] - x[29]*x[5] - x[30]*x[6] - x[1]*x[8] + x[12]*x[8] + x[7]*x[8] + x[13]*x[9];
 -x[15]*x[17] + x[14]*x[18] - x[30]*x[32] + x[29]*x[33] - x[40]*x[42] + x[39]*x[43] - x[43]*x[48] + x[42]*x[49] - x[45]*x[50] + x[44]*x[51] - x[46]*x[51] + x[45]*x[52];
 x[15]*x[17] - x[14]*x[18] + x[30]*x[32] - x[29]*x[33] + x[40]*x[42] - x[39]*x[43] + x[43]*x[48] - x[42]*x[49] + x[45]*x[50] - x[44]*x[51] + x[46]*x[51] - x[45]*x[52];
 -x[15]*x[19] + x[14]*x[20] - x[30]*x[34] + x[29]*x[35] - x[40]*x[44] + x[39]*x[45] - x[43]*x[50] + x[42]*x[51] - x[45]*x[53] + x[44]*x[54] - x[46]*x[54] + x[45]*x[55];
 -x[23]*x[25] + x[22]*x[29] - x[27]*x[29] - x[28]*x[32] - x[29]*x[34] - x[30]*x[35] + x[23]*x[39] + x[24]*x[42] + x[25]*x[44] + x[26]*x[45] + x[14]*x[7] - x[10]*x[8];
 x[23]*x[25] - x[22]*x[29] + x[27]*x[29] + x[28]*x[32] + x[29]*x[34] + x[30]*x[35] - x[23]*x[39] - x[24]*x[42] - x[25]*x[44] - x[26]*x[45] - x[14]*x[7] + x[10]*x[8];
 x[15]*x[19] - x[14]*x[20] + x[30]*x[34] - x[29]*x[35] + x[40]*x[44] - x[39]*x[45] + x[43]*x[50] - x[42]*x[51] + x[45]*x[53] - x[44]*x[54] + x[46]*x[54] - x[45]*x[55];
 -x[17]^2 + x[16]*x[19] - x[32]^2 + x[31]*x[34] - x[42]^2 + x[41]*x[44] - x[48]^2 + x[47]*x[50] - x[50]^2 - x[51]^2 + x[48]*x[53] + x[49]*x[54] + 1;
 -x[11]*x[18] - x[26]*x[33] + x[24]*x[36] - x[30]*x[43] + x[28]*x[46] - x[33]*x[49] - x[35]*x[51] + x[31]*x[52] - x[36]*x[52] + x[32]*x[55] + x[33]*x[56] + x[21]*x[9];
 x[11]*x[18] + x[26]*x[33] - x[24]*x[36] + x[30]*x[43] - x[28]*x[46] + x[33]*x[49] + x[35]*x[51] - x[31]*x[52] + x[36]*x[52] - x[32]*x[55] - x[33]*x[56] - x[21]*x[9];
 -x[10]*x[13] - x[25]*x[28] + x[23]*x[32] - x[29]*x[38] - x[32]*x[41] + x[27]*x[42] - x[34]*x[42] - x[35]*x[43] + x[28]*x[48] + x[29]*x[50] + x[30]*x[51] + x[17]*x[8];
 x[10]*x[13] + x[25]*x[28] - x[23]*x[32] + x[29]*x[38] + x[32]*x[41] - x[27]*x[42] + x[34]*x[42] + x[35]*x[43] - x[28]*x[48] - x[29]*x[50] - x[30]*x[51] - x[17]*x[8];
 -x[23]*x[24] + x[22]*x[28] - x[27]*x[28] - x[28]*x[31] - x[29]*x[32] - x[30]*x[33] + x[23]*x[38] + x[24]*x[41] + x[25]*x[42] + x[26]*x[43] + x[13]*x[7] - x[8]*x[9];
 x[23]*x[24] - x[22]*x[28] + x[27]*x[28] + x[28]*x[31] + x[29]*x[32] + x[30]*x[33] - x[23]*x[38] - x[24]*x[41] - x[25]*x[42] - x[26]*x[43] - x[13]*x[7] + x[8]*x[9];
 -x[15]*x[20] + x[14]*x[21] - x[30]*x[35] + x[29]*x[36] - x[40]*x[45] + x[39]*x[46] - x[43]*x[51] + x[42]*x[52] - x[45]*x[54] + x[44]*x[55] - x[46]*x[55] + x[45]*x[56];
 x[15]*x[20] - x[14]*x[21] + x[30]*x[35] - x[29]*x[36] + x[40]*x[45] - x[39]*x[46] + x[43]*x[51] - x[42]*x[52] + x[45]*x[54] - x[44]*x[55] + x[46]*x[55] - x[45]*x[56];
 -x[15]*x[17] + x[13]*x[20] - x[30]*x[32] + x[28]*x[35] - x[40]*x[42] + x[38]*x[45] - x[43]*x[48] - x[45]*x[50] + x[41]*x[51] - x[46]*x[51] + x[42]*x[54] + x[43]*x[55];
 x[15]*x[17] - x[13]*x[20] + x[30]*x[32] - x[28]*x[35] + x[40]*x[42] - x[38]*x[45] + x[43]*x[48] + x[45]*x[50] - x[41]*x[51] + x[46]*x[51] - x[42]*x[54] - x[43]*x[55];
 -x[17]*x[18] + x[16]*x[20] - x[32]*x[33] + x[31]*x[35] - x[42]*x[43] + x[41]*x[45] - x[48]*x[49] + x[47]*x[51] - x[50]*x[51] - x[51]*x[52] + x[48]*x[54] + x[49]*x[55];
 x[17]*x[18] - x[16]*x[20] + x[32]*x[33] - x[31]*x[35] + x[42]*x[43] - x[41]*x[45] + x[48]*x[49] - x[47]*x[51] + x[50]*x[51] + x[51]*x[52] - x[48]*x[54] - x[49]*x[55];
 -x[10]*x[28] - x[14]*x[38] + x[13]*x[39] + x[14]*x[4] - x[17]*x[41] + x[16]*x[42] - x[19]*x[42] - x[20]*x[43] + x[17]*x[44] + x[18]*x[45] - x[13]*x[5] + x[29]*x[9];
 x[10]*x[28] + x[14]*x[38] - x[13]*x[39] - x[14]*x[4] + x[17]*x[41] - x[16]*x[42] + x[19]*x[42] + x[20]*x[43] - x[17]*x[44] - x[18]*x[45] + x[13]*x[5] - x[29]*x[9];
 x[2]*x[21] - x[11]*x[26] - x[15]*x[30] - x[18]*x[33] - x[20]*x[35] - x[21]*x[36] + x[10]*x[55] + x[11]*x[56] - x[11]*x[6] + x[36]*x[7] + x[46]*x[8] + x[52]*x[9];