a[13]*b[14] + a[11]*b[12] + a[23]*b[22] + a[12]*b[11] + a[15]*b[15] + a[22]*b[23] - a[27]*b[26] + a[20]*b[19] - a[5]*b[4] - a[10]*b[10] - a[16]*b[16] + a[3]*b[3] + a[9]*b[8] - a[26]*b[27] + a[14]*b[13] - a[7]*b[7] + a[17]*b[18] + a[19]*b[20] + a[1]*b[1] + a[2]*b[2] + a[8]*b[9] - a[4]*b[5] - a[6]*b[6] + a[18]*b[17],     -a[24]*b[28] + a[30]*b[16] + a[11]*b[18] + a[4]*b[9] - a[9]*b[4] - a[6]*b[24] + a[6]*b[2] + a[18]*b[11] - a[7]*b[25] + a[21]*b[15] + a[7]*b[3] - a[10]*b[16] + a[16]*b[30] - a[16]*b[10] + a[19]*b[14] + a[20]*b[13] + a[26]*b[23] + a[27]*b[22] - a[22]*b[27] - a[23]*b[26] - a[3]*b[7] - a[2]*b[6] + a[17]*b[12] + a[15]*b[21] - a[8]*b[5] + a[14]*b[19] + a[13]*b[20] + a[5]*b[8] + a[12]*b[17] + a[25]*b[7] + a[24]*b[6] - a[25]*b[29] - a[31]*b[30] - a[30]*b[31] + a[29]*b[25] + a[28]*b[24],-a[29]*b[16] + a[14]*b[22] + a[13]*b[23] - a[8]*b[18] + a[5]*b[11] - a[12]*b[4] - a[11]*b[5] + a[25]*b[10] + a[4]*b[12] - a[9]*b[17] + a[6]*b[21] - a[6]*b[1] - a[18]*b[8] + a[7]*b[16] - a[10]*b[25] + a[10]*b[3] - a[16]*b[29] + a[16]*b[7] - a[21]*b[6] + a[24]*b[15] + a[19]*b[27] + a[20]*b[26] - a[26]*b[20] - a[27]*b[19] + a[22]*b[14] + a[23]*b[13] - a[3]*b[10] - a[17]*b[9] + a[1]*b[6] + a[15]*b[24] - a[25]*b[30] + a[21]*b[28] + a[31]*b[29] + a[30]*b[25] + a[29]*b[31] - a[28]*b[21],a[24]*b[30] - a[18]*b[26] - a[6]*b[16] + a[7]*b[21] - a[7]*b[1] + a[10]*b[24] - a[10]*b[2] + a[16]*b[28] - a[16]*b[6] - a[21]*b[7] - a[19]*b[9] - a[24]*b[10] + a[25]*b[15] - a[20]*b[8] + a[26]*b[18] + a[27]*b[17] - a[22]*b[12] - a[23]*b[11] + a[2]*b[10] + a[1]*b[7] - a[17]*b[27] + a[15]*b[25] - a[14]*b[4] - a[13]*b[5] - a[8]*b[20] + a[5]*b[13] - a[12]*b[22] - a[11]*b[23] + a[28]*b[16] + a[4]*b[14] - a[9]*b[19] + a[21]*b[29] - a[31]*b[28] - a[30]*b[24] - a[29]*b[21] - a[28]*b[31],-2*a[24]*b[11] + a[26]*b[16] - 2*a[25]*b[13] - a[19]*b[7] - a[16]*b[26] - a[10]*b[22] - a[7]*b[19] - 2*a[21]*b[8] - a[22]*b[10] + a[3]*b[13] + 2*a[31]*b[26] - a[6]*b[17] + a[2]*b[11] - a[17]*b[6] + a[1]*b[8] + 2*a[30]*b[22] - a[15]*b[4] - a[8]*b[1] - a[13]*b[3] + 2*a[29]*b[19] + 2*a[28]*b[17] - a[11]*b[2] + a[4]*b[15],2*a[23]*b[30] - 2*a[27]*b[31] - a[20]*b[7] + 2*a[20]*b[29] - a[16]*b[27] - a[18]*b[6] - a[10]*b[23] - a[7]*b[20] + a[3]*b[14] - a[6]*b[18] + a[2]*b[12] + 2*a[18]*b[28] + a[1]*b[9] + a[15]*b[5] - a[14]*b[3] - a[9]*b[1] + 2*a[14]*b[25] - a[12]*b[2] - a[5]*b[15] + 2*a[12]*b[24] - a[23]*b[10] + 2*a[9]*b[21] + a[27]*b[16],a[3]*b[16] - a[4]*b[18] - a[5]*b[17] + a[13]*b[27] + a[14]*b[26] + a[15]*b[28] + a[16]*b[3] - a[16]*b[25] - a[17]*b[5] - a[18]*b[4] - a[25]*b[16] + a[25]*b[31] + a[26]*b[14] + a[27]*b[13] + a[28]*b[15] + a[31]*b[25],-a[2]*b[16] - a[4]*b[20] - a[5]*b[19] - a[11]*b[27] - a[12]*b[26] + a[15]*b[29] - a[16]*b[2] + a[16]*b[24] - a[19]*b[5] - a[20]*b[4] + a[24]*b[16] - a[24]*b[31] - a[26]*b[12] - a[27]*b[11] + a[29]*b[15] - a[31]*b[24],a[22]*b[31] - a[26]*b[10] + a[26]*b[30] + a[25]*b[19] - a[19]*b[3] + a[19]*b[25] - a[10]*b[26] - a[21]*b[4] + a[24]*b[17] - a[3]*b[19] - a[17]*b[2] + a[31]*b[22] + a[30]*b[26] - a[2]*b[17] + a[17]*b[24] - a[13]*b[29] - a[29]*b[13] - a[28]*b[11] - a[4]*b[21] - a[11]*b[28],a[27]*b[30] + a[25]*b[20] - a[20]*b[3] + a[20]*b[25] - a[10]*b[27] - a[18]*b[2] + a[18]*b[24] + a[21]*b[5] - a[23]*b[31] + a[24]*b[18] - a[3]*b[20] - a[31]*b[23] + a[30]*b[27] - a[2]*b[18] + a[14]*b[29] + a[29]*b[14] + a[28]*b[12] + a[5]*b[21] + a[12]*b[28] - a[27]*b[10],a[1]*b[16] - a[4]*b[23] - a[5]*b[22] + a[8]*b[27] + a[9]*b[26] + a[15]*b[30] + a[16]*b[1] - a[16]*b[21] - a[21]*b[16] + a[21]*b[31] - a[22]*b[5] - a[23]*b[4] + a[26]*b[9] + a[27]*b[8] + a[30]*b[15] + a[31]*b[21], -a[24]*b[4] + a[22]*b[25] + a[26]*b[7] - a[26]*b[29] + a[25]*b[22] - a[19]*b[31] - a[21]*b[17] + a[7]*b[26] - a[22]*b[3] - a[3]*b[22] + a[17]*b[1] - a[31]*b[19] - a[17]*b[21] + a[1]*b[17] - a[30]*b[13] - a[13]*b[30] - a[29]*b[26] + a[8]*b[28] + a[28]*b[8] - a[4]*b[24], a[24]*b[5] - a[27]*b[29] + a[25]*b[23] + a[20]*b[31] + a[18]*b[1] - a[21]*b[18] - a[18]*b[21] + a[7]*b[27] - a[3]*b[23] + a[31]*b[20] + a[1]*b[18] + a[30]*b[14] - a[29]*b[27] + a[14]*b[30] - a[9]*b[28] + a[5]*b[24] - a[28]*b[9] - a[23]*b[3] + a[27]*b[7] + a[23]*b[25], -a[22]*b[24] - a[26]*b[6] + a[26]*b[28] - a[25]*b[4] + a[19]*b[1] - a[19]*b[21] - a[24]*b[22] - a[21]*b[19] + a[22]*b[2] - a[6]*b[26] + a[31]*b[17] + a[17]*b[31] + a[2]*b[22] + a[1]*b[19] + a[30]*b[11] + a[8]*b[29] + a[29]*b[8] + a[28]*b[26] - a[4]*b[25] + a[11]*b[30], a[27]*b[28] + a[20]*b[1] + a[25]*b[5] - a[20]*b[21] - a[24]*b[23] - a[21]*b[20] - a[6]*b[27] - a[18]*b[31] + a[2]*b[23] - a[31]*b[18] + a[1]*b[20] - a[30]*b[12] - a[29]*b[9] - a[9]*b[29] + a[28]*b[27] + a[5]*b[25] - a[12]*b[30] + a[23]*b[2] - a[23]*b[24] - a[27]*b[6], a[1]*b[21] + a[2]*b[24] + a[3]*b[25] - a[6]*b[28] - a[7]*b[29] - a[10]*b[30] - a[16]*b[31] + a[21]*b[1] - 2*a[21]*b[21] + a[24]*b[2] - 2*a[24]*b[24] + a[25]*b[3] - 2*a[25]*b[25] - a[28]*b[6] + 2*a[28]*b[28] - a[29]*b[7] + 2*a[29]*b[29] - a[30]*b[10] + 2*a[30]*b[30] - a[31]*b[16] + 2*a[31]*b[31], a[4]*b[27] + a[5]*b[26] + a[15]*b[31] - a[26]*b[5] - a[27]*b[4] + a[31]*b[15], a[3]*b[26] + a[4]*b[28] - a[13]*b[31] - a[25]*b[26] - a[26]*b[3] + a[26]*b[25] - a[28]*b[4] - a[31]*b[13], a[3]*b[27] - a[5]*b[28] + a[14]*b[31] - a[25]*b[27] - a[27]*b[3] + a[27]*b[25] + a[28]*b[5] + a[31]*b[14], -a[2]*b[26] + a[4]*b[29] + a[11]*b[31] + a[24]*b[26] + a[26]*b[2] - a[26]*b[24] - a[29]*b[4] + a[31]*b[11], -a[2]*b[27] - a[5]*b[29] - a[12]*b[31] + a[24]*b[27] + a[27]*b[2] - a[27]*b[24] + a[29]*b[5] - a[31]*b[12], -a[2]*b[28] - a[3]*b[29] - a[10]*b[31] + a[24]*b[28] + a[25]*b[29] + a[28]*b[2] - a[28]*b[24] + a[29]*b[3] - a[29]*b[25] + a[30]*b[31] - a[31]*b[10] + a[31]*b[30], a[1]*b[26] + a[4]*b[30] - a[8]*b[31] - a[21]*b[26] - a[26]*b[1] + a[26]*b[21] - a[30]*b[4] - a[31]*b[8], a[1]*b[27] - a[5]*b[30] + a[9]*b[31] - a[21]*b[27] - a[27]*b[1] + a[27]*b[21] + a[30]*b[5] + a[31]*b[9], a[1]*b[28] - a[3]*b[30] + a[7]*b[31] - a[21]*b[28] + a[25]*b[30] - a[28]*b[1] + a[28]*b[21] - a[29]*b[31] + a[30]*b[3] - a[30]*b[25] + a[31]*b[7] - a[31]*b[29], a[1]*b[29] + a[2]*b[30] - a[6]*b[31] - a[21]*b[29] - a[24]*b[30] + a[28]*b[31] - a[29]*b[1] + a[29]*b[21] - a[30]*b[2] + a[30]*b[24] - a[31]*b[6] + a[31]*b[28], -a[4]*b[31] - a[31]*b[4], a[5]*b[31] + a[31]*b[5], a[3]*b[31] - a[25]*b[31] + a[31]*b[3] - a[31]*b[25], -a[2]*b[31] + a[24]*b[31] - a[31]*b[2] + a[31]*b[24], a[1]*b[31] - a[21]*b[31] + a[31]*b[1] - a[31]*b[21], 0