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