a0*b0*c0*d0*e0*f0+3*a0*b1*c1*d1*e0*f1+3*a1*b0*c1*d0*e1*f0+3*a1*b1*c0*d1*e1*f1+6*a1*b1*c1*d1*e1*f1, 3*a0*b0*c1*d1*e0*f1+3*a0*b1*c0*d0*e0*f0+6*a0*b1*c1*d1*e0*f1+3*a1*b0*c0*d1*e1*f1+6*a1*b0*c1*d1*e1*f1+6*a1*b1*c0*d1*e1*f1+9*a1*b1*c1*d0*e1*f0+12*a1*b1*c1*d1*e1*f1, 3*a0*b0*c0*d1*e0*f0+3*a0*b1*c1*d0*e0*f1+6*a0*b1*c1*d1*e0*f1+9*a1*b0*c1*d1*e1*f0+3*a1*b1*c0*d0*e1*f1+6*a1*b1*c0*d1*e1*f1+6*a1*b1*c1*d0*e1*f1+12*a1*b1*c1*d1*e1*f1, 3*a0*b0*c1*d0*e0*f1+3*a0*b1*c0*d1*e0*f0+6*a0*b1*c1*d1*e0*f1+3*a1*b0*c0*d0*e1*f1+6*a1*b0*c1*d0*e1*f1+6*a1*b1*c0*d1*e1*f1+9*a1*b1*c1*d1*e1*f0+12*a1*b1*c1*d1*e1*f1, 6*a0*b0*c1*d1*e0*f1+6*a0*b1*c0*d1*e0*f0+6*a0*b1*c1*d0*e0*f1+6*a0*b1*c1*d1*e0*f1+6*a1*b0*c0*d1*e1*f1+12*a1*b0*c1*d1*e1*f1+6*a1*b1*c0*d0*e1*f1+6*a1*b1*c0*d1*e1*f1+12*a1*b1*c1*d0*e1*f1+18*a1*b1*c1*d1*e1*f0+12*a1*b1*c1*d1*e1*f1, 3*a0*b0*c0*d0*e0*f1+3*a0*b1*c1*d1*e0*f0+6*a0*b1*c1*d1*e0*f1+9*a1*b0*c1*d0*e1*f1+3*a1*b1*c0*d1*e1*f0+6*a1*b1*c0*d1*e1*f1+6*a1*b1*c1*d1*e1*f0+12*a1*b1*c1*d1*e1*f1, 3*a0*b0*c1*d1*e0*f0+3*a0*b1*c0*d0*e0*f1+6*a0*b1*c1*d1*e0*f1+3*a1*b0*c0*d1*e1*f0+6*a1*b0*c1*d1*e1*f0+6*a1*b1*c0*d1*e1*f1+9*a1*b1*c1*d0*e1*f1+12*a1*b1*c1*d1*e1*f1, 6*a0*b0*c1*d1*e0*f1+6*a0*b1*c0*d0*e0*f1+6*a0*b1*c1*d1*e0*f0+6*a0*b1*c1*d1*e0*f1+6*a1*b0*c0*d1*e1*f1+12*a1*b0*c1*d1*e1*f1+6*a1*b1*c0*d1*e1*f0+6*a1*b1*c0*d1*e1*f1+18*a1*b1*c1*d0*e1*f1+12*a1*b1*c1*d1*e1*f0+12*a1*b1*c1*d1*e1*f1, 3*a0*b0*c0*d1*e0*f1+3*a0*b1*c1*d0*e0*f0+6*a0*b1*c1*d1*e0*f1+9*a1*b0*c1*d1*e1*f1+3*a1*b1*c0*d0*e1*f0+6*a1*b1*c0*d1*e1*f1+6*a1*b1*c1*d0*e1*f0+12*a1*b1*c1*d1*e1*f1, 3*a0*b0*c1*d0*e0*f0+3*a0*b1*c0*d1*e0*f1+6*a0*b1*c1*d1*e0*f1+3*a1*b0*c0*d0*e1*f0+6*a1*b0*c1*d0*e1*f0+6*a1*b1*c0*d1*e1*f1+21*a1*b1*c1*d1*e1*f1, 6*a0*b0*c1*d1*e0*f1+6*a0*b1*c0*d1*e0*f1+6*a0*b1*c1*d0*e0*f0+6*a0*b1*c1*d1*e0*f1+6*a1*b0*c0*d1*e1*f1+12*a1*b0*c1*d1*e1*f1+6*a1*b1*c0*d0*e1*f0+6*a1*b1*c0*d1*e1*f1+12*a1*b1*c1*d0*e1*f0+30*a1*b1*c1*d1*e1*f1, 6*a0*b0*c0*d1*e0*f1+6*a0*b1*c1*d0*e0*f1+6*a0*b1*c1*d1*e0*f0+6*a0*b1*c1*d1*e0*f1+18*a1*b0*c1*d1*e1*f1+6*a1*b1*c0*d0*e1*f1+6*a1*b1*c0*d1*e1*f0+6*a1*b1*c0*d1*e1*f1+12*a1*b1*c1*d0*e1*f1+12*a1*b1*c1*d1*e1*f0+12*a1*b1*c1*d1*e1*f1, 6*a0*b0*c1*d1*e0*f0+6*a0*b1*c0*d1*e0*f1+6*a0*b1*c1*d0*e0*f1+6*a0*b1*c1*d1*e0*f1+6*a1*b0*c0*d1*e1*f0+12*a1*b0*c1*d1*e1*f0+6*a1*b1*c0*d0*e1*f1+6*a1*b1*c0*d1*e1*f1+12*a1*b1*c1*d0*e1*f1+30*a1*b1*c1*d1*e1*f1, 6*a0*b0*c1*d0*e0*f1+6*a0*b1*c0*d1*e0*f1+6*a0*b1*c1*d1*e0*f0+6*a0*b1*c1*d1*e0*f1+6*a1*b0*c0*d0*e1*f1+12*a1*b0*c1*d0*e1*f1+6*a1*b1*c0*d1*e1*f0+6*a1*b1*c0*d1*e1*f1+12*a1*b1*c1*d1*e1*f0+30*a1*b1*c1*d1*e1*f1, 6*a0*b0*c1*d1*e0*f1+6*a0*b1*c0*d1*e0*f1+6*a0*b1*c1*d0*e0*f1+6*a0*b1*c1*d1*e0*f0+6*a1*b0*c0*d1*e1*f1+12*a1*b0*c1*d1*e1*f1+6*a1*b1*c0*d0*e1*f1+6*a1*b1*c0*d1*e1*f0+12*a1*b1*c1*d0*e1*f1+12*a1*b1*c1*d1*e1*f0+18*a1*b1*c1*d1*e1*f1, 3*a0*b0*c0*d0*e1*f0+9*a0*b1*c1*d1*e1*f1+3*a1*b0*c1*d0*e0*f0+6*a1*b0*c1*d0*e1*f0+3*a1*b1*c0*d1*e0*f1+6*a1*b1*c0*d1*e1*f1+6*a1*b1*c1*d1*e0*f1+12*a1*b1*c1*d1*e1*f1, 3*a0*b0*c1*d1*e1*f1+3*a0*b1*c0*d0*e1*f0+6*a0*b1*c1*d1*e1*f1+3*a1*b0*c0*d1*e0*f1+6*a1*b0*c1*d1*e1*f1+6*a1*b1*c0*d1*e1*f1+3*a1*b1*c1*d0*e0*f0+6*a1*b1*c1*d0*e1*f0+6*a1*b1*c1*d1*e0*f1+6*a1*b1*c1*d1*e1*f1, 6*a0*b0*c1*d1*e1*f1+6*a0*b1*c0*d0*e1*f0+12*a0*b1*c1*d1*e1*f1+6*a1*b0*c0*d1*e1*f1+6*a1*b0*c1*d1*e0*f1+6*a1*b0*c1*d1*e1*f1+6*a1*b1*c0*d1*e0*f1+6*a1*b1*c0*d1*e1*f1+6*a1*b1*c1*d0*e0*f0+12*a1*b1*c1*d0*e1*f0+6*a1*b1*c1*d1*e0*f1+18*a1*b1*c1*d1*e1*f1, 3*a0*b0*c0*d1*e1*f0+3*a0*b1*c1*d0*e1*f1+6*a0*b1*c1*d1*e1*f1+3*a1*b0*c1*d1*e0*f0+6*a1*b0*c1*d1*e1*f0+3*a1*b1*c0*d0*e0*f1+6*a1*b1*c0*d1*e1*f1+6*a1*b1*c1*d0*e1*f1+6*a1*b1*c1*d1*e0*f1+6*a1*b1*c1*d1*e1*f1, 3*a0*b0*c1*d0*e1*f1+3*a0*b1*c0*d1*e1*f0+6*a0*b1*c1*d1*e1*f1+3*a1*b0*c0*d0*e0*f1+6*a1*b0*c1*d0*e1*f1+6*a1*b1*c0*d1*e1*f1+3*a1*b1*c1*d1*e0*f0+6*a1*b1*c1*d1*e0*f1+6*a1*b1*c1*d1*e1*f0+6*a1*b1*c1*d1*e1*f1, 6*a0*b0*c1*d1*e1*f1+6*a0*b1*c0*d1*e1*f0+6*a0*b1*c1*d0*e1*f1+6*a0*b1*c1*d1*e1*f1+6*a1*b0*c0*d1*e1*f1+6*a1*b0*c1*d1*e0*f1+6*a1*b0*c1*d1*e1*f1+6*a1*b1*c0*d0*e0*f1+6*a1*b1*c0*d1*e1*f1+12*a1*b1*c1*d0*e1*f1+6*a1*b1*c1*d1*e0*f0+6*a1*b1*c1*d1*e0*f1+12*a1*b1*c1*d1*e1*f0+6*a1*b1*c1*d1*e1*f1, 6*a0*b0*c0*d1*e1*f0+6*a0*b1*c1*d0*e1*f1+12*a0*b1*c1*d1*e1*f1+6*a1*b0*c1*d1*e0*f0+12*a1*b0*c1*d1*e1*f0+6*a1*b1*c0*d0*e1*f1+6*a1*b1*c0*d1*e0*f1+6*a1*b1*c0*d1*e1*f1+6*a1*b1*c1*d0*e0*f1+6*a1*b1*c1*d0*e1*f1+6*a1*b1*c1*d1*e0*f1+18*a1*b1*c1*d1*e1*f1, 6*a0*b0*c1*d1*e1*f1+6*a0*b1*c0*d1*e1*f0+6*a0*b1*c1*d0*e1*f1+6*a0*b1*c1*d1*e1*f1+6*a1*b0*c0*d1*e0*f1+12*a1*b0*c1*d1*e1*f1+6*a1*b1*c0*d0*e1*f1+6*a1*b1*c0*d1*e1*f1+6*a1*b1*c1*d0*e0*f1+6*a1*b1*c1*d0*e1*f1+6*a1*b1*c1*d1*e0*f0+6*a1*b1*c1*d1*e0*f1+12*a1*b1*c1*d1*e1*f0+6*a1*b1*c1*d1*e1*f1, 6*a0*b0*c1*d0*e1*f1+6*a0*b1*c0*d1*e1*f0+12*a0*b1*c1*d1*e1*f1+6*a1*b0*c0*d0*e1*f1+6*a1*b0*c1*d0*e0*f1+6*a1*b0*c1*d0*e1*f1+6*a1*b1*c0*d1*e0*f1+6*a1*b1*c0*d1*e1*f1+6*a1*b1*c1*d1*e0*f0+6*a1*b1*c1*d1*e0*f1+12*a1*b1*c1*d1*e1*f0+18*a1*b1*c1*d1*e1*f1, 6*a0*b0*c1*d1*e1*f1+6*a0*b1*c0*d1*e1*f0+6*a0*b1*c1*d0*e1*f1+6*a0*b1*c1*d1*e1*f1+6*a1*b0*c0*d1*e1*f1+6*a1*b0*c1*d1*e0*f1+6*a1*b0*c1*d1*e1*f1+6*a1*b1*c0*d0*e1*f1+6*a1*b1*c0*d1*e0*f1+6*a1*b1*c1*d0*e0*f1+6*a1*b1*c1*d0*e1*f1+6*a1*b1*c1*d1*e0*f0+12*a1*b1*c1*d1*e1*f0+12*a1*b1*c1*d1*e1*f1, 3*a0*b0*c0*d0*e1*f1+3*a0*b1*c1*d1*e1*f0+6*a0*b1*c1*d1*e1*f1+3*a1*b0*c1*d0*e0*f1+6*a1*b0*c1*d0*e1*f1+3*a1*b1*c0*d1*e0*f0+6*a1*b1*c0*d1*e1*f1+6*a1*b1*c1*d1*e0*f1+6*a1*b1*c1*d1*e1*f0+6*a1*b1*c1*d1*e1*f1, 3*a0*b0*c1*d1*e1*f0+3*a0*b1*c0*d0*e1*f1+6*a0*b1*c1*d1*e1*f1+3*a1*b0*c0*d1*e0*f0+6*a1*b0*c1*d1*e1*f0+6*a1*b1*c0*d1*e1*f1+3*a1*b1*c1*d0*e0*f1+6*a1*b1*c1*d0*e1*f1+6*a1*b1*c1*d1*e0*f1+6*a1*b1*c1*d1*e1*f1, 6*a0*b0*c1*d1*e1*f1+6*a0*b1*c0*d0*e1*f1+6*a0*b1*c1*d1*e1*f0+6*a0*b1*c1*d1*e1*f1+6*a1*b0*c0*d1*e1*f1+6*a1*b0*c1*d1*e0*f1+6*a1*b0*c1*d1*e1*f1+6*a1*b1*c0*d1*e0*f0+6*a1*b1*c0*d1*e1*f1+6*a1*b1*c1*d0*e0*f1+12*a1*b1*c1*d0*e1*f1+6*a1*b1*c1*d1*e0*f1+12*a1*b1*c1*d1*e1*f0+6*a1*b1*c1*d1*e1*f1, 3*a0*b0*c0*d1*e1*f1+3*a0*b1*c1*d0*e1*f0+6*a0*b1*c1*d1*e1*f1+3*a1*b0*c1*d1*e0*f1+6*a1*b0*c1*d1*e1*f1+3*a1*b1*c0*d0*e0*f0+6*a1*b1*c0*d1*e1*f1+6*a1*b1*c1*d0*e1*f0+6*a1*b1*c1*d1*e0*f1+6*a1*b1*c1*d1*e1*f1, 3*a0*b0*c1*d0*e1*f0+3*a0*b1*c0*d1*e1*f1+6*a0*b1*c1*d1*e1*f1+3*a1*b0*c0*d0*e0*f0+6*a1*b0*c1*d0*e1*f0+6*a1*b1*c0*d1*e1*f1+9*a1*b1*c1*d1*e0*f1+12*a1*b1*c1*d1*e1*f1, 6*a0*b0*c1*d1*e1*f1+6*a0*b1*c0*d1*e1*f1+6*a0*b1*c1*d0*e1*f0+6*a0*b1*c1*d1*e1*f1+6*a1*b0*c0*d1*e1*f1+6*a1*b0*c1*d1*e0*f1+6*a1*b0*c1*d1*e1*f1+6*a1*b1*c0*d0*e0*f0+6*a1*b1*c0*d1*e1*f1+12*a1*b1*c1*d0*e1*f0+12*a1*b1*c1*d1*e0*f1+18*a1*b1*c1*d1*e1*f1, 6*a0*b0*c0*d1*e1*f1+6*a0*b1*c1*d0*e1*f1+6*a0*b1*c1*d1*e1*f0+6*a0*b1*c1*d1*e1*f1+6*a1*b0*c1*d1*e0*f1+12*a1*b0*c1*d1*e1*f1+6*a1*b1*c0*d0*e1*f1+6*a1*b1*c0*d1*e0*f0+6*a1*b1*c0*d1*e1*f1+6*a1*b1*c1*d0*e0*f1+6*a1*b1*c1*d0*e1*f1+6*a1*b1*c1*d1*e0*f1+12*a1*b1*c1*d1*e1*f0+6*a1*b1*c1*d1*e1*f1, 6*a0*b0*c1*d1*e1*f0+6*a0*b1*c0*d1*e1*f1+6*a0*b1*c1*d0*e1*f1+6*a0*b1*c1*d1*e1*f1+6*a1*b0*c0*d1*e0*f0+12*a1*b0*c1*d1*e1*f0+6*a1*b1*c0*d0*e1*f1+6*a1*b1*c0*d1*e1*f1+6*a1*b1*c1*d0*e0*f1+6*a1*b1*c1*d0*e1*f1+12*a1*b1*c1*d1*e0*f1+18*a1*b1*c1*d1*e1*f1, 6*a0*b0*c1*d0*e1*f1+6*a0*b1*c0*d1*e1*f1+6*a0*b1*c1*d1*e1*f0+6*a0*b1*c1*d1*e1*f1+6*a1*b0*c0*d0*e1*f1+6*a1*b0*c1*d0*e0*f1+6*a1*b0*c1*d0*e1*f1+6*a1*b1*c0*d1*e0*f0+6*a1*b1*c0*d1*e1*f1+12*a1*b1*c1*d1*e0*f1+12*a1*b1*c1*d1*e1*f0+18*a1*b1*c1*d1*e1*f1, 6*a0*b0*c1*d1*e1*f1+6*a0*b1*c0*d1*e1*f1+6*a0*b1*c1*d0*e1*f1+6*a0*b1*c1*d1*e1*f0+6*a1*b0*c0*d1*e1*f1+6*a1*b0*c1*d1*e0*f1+6*a1*b0*c1*d1*e1*f1+6*a1*b1*c0*d0*e1*f1+6*a1*b1*c0*d1*e0*f0+6*a1*b1*c1*d0*e0*f1+6*a1*b1*c1*d0*e1*f1+6*a1*b1*c1*d1*e0*f1+12*a1*b1*c1*d1*e1*f0+12*a1*b1*c1*d1*e1*f1, 6*a0*b0*c0*d0*e1*f1+6*a0*b1*c1*d1*e1*f0+12*a0*b1*c1*d1*e1*f1+6*a1*b0*c1*d0*e0*f1+12*a1*b0*c1*d0*e1*f1+6*a1*b1*c0*d1*e0*f1+6*a1*b1*c0*d1*e1*f0+6*a1*b1*c0*d1*e1*f1+6*a1*b1*c1*d1*e0*f0+6*a1*b1*c1*d1*e0*f1+6*a1*b1*c1*d1*e1*f0+18*a1*b1*c1*d1*e1*f1, 6*a0*b0*c1*d1*e1*f1+6*a0*b1*c0*d0*e1*f1+6*a0*b1*c1*d1*e1*f0+6*a0*b1*c1*d1*e1*f1+6*a1*b0*c0*d1*e0*f1+12*a1*b0*c1*d1*e1*f1+6*a1*b1*c0*d1*e1*f0+6*a1*b1*c0*d1*e1*f1+6*a1*b1*c1*d0*e0*f1+12*a1*b1*c1*d0*e1*f1+6*a1*b1*c1*d1*e0*f0+6*a1*b1*c1*d1*e0*f1+6*a1*b1*c1*d1*e1*f0+6*a1*b1*c1*d1*e1*f1, 6*a0*b0*c1*d1*e1*f0+6*a0*b1*c0*d0*e1*f1+12*a0*b1*c1*d1*e1*f1+6*a1*b0*c0*d1*e1*f0+6*a1*b0*c1*d1*e0*f0+6*a1*b0*c1*d1*e1*f0+6*a1*b1*c0*d1*e0*f1+6*a1*b1*c0*d1*e1*f1+6*a1*b1*c1*d0*e0*f1+12*a1*b1*c1*d0*e1*f1+6*a1*b1*c1*d1*e0*f1+18*a1*b1*c1*d1*e1*f1, 6*a0*b0*c1*d1*e1*f1+6*a0*b1*c0*d0*e1*f1+6*a0*b1*c1*d1*e1*f0+6*a0*b1*c1*d1*e1*f1+6*a1*b0*c0*d1*e1*f1+6*a1*b0*c1*d1*e0*f1+6*a1*b0*c1*d1*e1*f1+6*a1*b1*c0*d1*e0*f1+6*a1*b1*c0*d1*e1*f0+6*a1*b1*c1*d0*e0*f1+12*a1*b1*c1*d0*e1*f1+6*a1*b1*c1*d1*e0*f0+6*a1*b1*c1*d1*e1*f0+12*a1*b1*c1*d1*e1*f1, 6*a0*b0*c0*d1*e1*f1+6*a0*b1*c1*d0*e1*f1+6*a0*b1*c1*d1*e1*f0+6*a0*b1*c1*d1*e1*f1+6*a1*b0*c1*d1*e0*f1+12*a1*b0*c1*d1*e1*f1+6*a1*b1*c0*d0*e0*f1+6*a1*b1*c0*d1*e1*f0+6*a1*b1*c0*d1*e1*f1+12*a1*b1*c1*d0*e1*f1+6*a1*b1*c1*d1*e0*f0+6*a1*b1*c1*d1*e0*f1+6*a1*b1*c1*d1*e1*f0+6*a1*b1*c1*d1*e1*f1, 6*a0*b0*c1*d0*e1*f1+6*a0*b1*c0*d1*e1*f1+6*a0*b1*c1*d1*e1*f0+6*a0*b1*c1*d1*e1*f1+6*a1*b0*c0*d0*e0*f1+12*a1*b0*c1*d0*e1*f1+6*a1*b1*c0*d1*e1*f0+6*a1*b1*c0*d1*e1*f1+6*a1*b1*c1*d1*e0*f0+12*a1*b1*c1*d1*e0*f1+6*a1*b1*c1*d1*e1*f0+18*a1*b1*c1*d1*e1*f1, 6*a0*b0*c1*d1*e1*f0+6*a0*b1*c0*d1*e1*f1+6*a0*b1*c1*d0*e1*f1+6*a0*b1*c1*d1*e1*f1+6*a1*b0*c0*d1*e1*f0+6*a1*b0*c1*d1*e0*f0+6*a1*b0*c1*d1*e1*f0+6*a1*b1*c0*d0*e0*f1+6*a1*b1*c0*d1*e1*f1+12*a1*b1*c1*d0*e1*f1+12*a1*b1*c1*d1*e0*f1+18*a1*b1*c1*d1*e1*f1, 6*a0*b0*c1*d1*e1*f1+6*a0*b1*c0*d1*e1*f1+6*a0*b1*c1*d0*e1*f1+6*a0*b1*c1*d1*e1*f0+6*a1*b0*c0*d1*e1*f1+6*a1*b0*c1*d1*e0*f1+6*a1*b0*c1*d1*e1*f1+6*a1*b1*c0*d0*e0*f1+6*a1*b1*c0*d1*e1*f0+12*a1*b1*c1*d0*e1*f1+6*a1*b1*c1*d1*e0*f0+6*a1*b1*c1*d1*e0*f1+6*a1*b1*c1*d1*e1*f0+12*a1*b1*c1*d1*e1*f1, 6*a0*b0*c0*d1*e1*f1+6*a0*b1*c1*d0*e1*f0+12*a0*b1*c1*d1*e1*f1+6*a1*b0*c1*d1*e0*f1+12*a1*b0*c1*d1*e1*f1+6*a1*b1*c0*d0*e1*f0+6*a1*b1*c0*d1*e0*f1+6*a1*b1*c0*d1*e1*f1+6*a1*b1*c1*d0*e0*f0+6*a1*b1*c1*d0*e1*f0+6*a1*b1*c1*d1*e0*f1+18*a1*b1*c1*d1*e1*f1, 6*a0*b0*c1*d1*e1*f1+6*a0*b1*c0*d1*e1*f1+6*a0*b1*c1*d0*e1*f0+6*a0*b1*c1*d1*e1*f1+6*a1*b0*c0*d1*e0*f1+12*a1*b0*c1*d1*e1*f1+6*a1*b1*c0*d0*e1*f0+6*a1*b1*c0*d1*e1*f1+6*a1*b1*c1*d0*e0*f0+6*a1*b1*c1*d0*e1*f0+12*a1*b1*c1*d1*e0*f1+18*a1*b1*c1*d1*e1*f1, 6*a0*b0*c1*d0*e1*f0+6*a0*b1*c0*d1*e1*f1+12*a0*b1*c1*d1*e1*f1+6*a1*b0*c0*d0*e1*f0+6*a1*b0*c1*d0*e0*f0+6*a1*b0*c1*d0*e1*f0+6*a1*b1*c0*d1*e0*f1+6*a1*b1*c0*d1*e1*f1+12*a1*b1*c1*d1*e0*f1+30*a1*b1*c1*d1*e1*f1, 6*a0*b0*c1*d1*e1*f1+6*a0*b1*c0*d1*e1*f1+6*a0*b1*c1*d0*e1*f0+6*a0*b1*c1*d1*e1*f1+6*a1*b0*c0*d1*e1*f1+6*a1*b0*c1*d1*e0*f1+6*a1*b0*c1*d1*e1*f1+6*a1*b1*c0*d0*e1*f0+6*a1*b1*c0*d1*e0*f1+6*a1*b1*c1*d0*e0*f0+6*a1*b1*c1*d0*e1*f0+6*a1*b1*c1*d1*e0*f1+24*a1*b1*c1*d1*e1*f1, 6*a0*b0*c0*d1*e1*f1+6*a0*b1*c1*d0*e1*f1+6*a0*b1*c1*d1*e1*f0+6*a0*b1*c1*d1*e1*f1+6*a1*b0*c1*d1*e0*f1+12*a1*b0*c1*d1*e1*f1+6*a1*b1*c0*d0*e1*f1+6*a1*b1*c0*d1*e0*f1+6*a1*b1*c0*d1*e1*f0+6*a1*b1*c1*d0*e0*f1+6*a1*b1*c1*d0*e1*f1+6*a1*b1*c1*d1*e0*f0+6*a1*b1*c1*d1*e1*f0+12*a1*b1*c1*d1*e1*f1, 6*a0*b0*c1*d1*e1*f1+6*a0*b1*c0*d1*e1*f1+6*a0*b1*c1*d0*e1*f1+6*a0*b1*c1*d1*e1*f0+6*a1*b0*c0*d1*e0*f1+12*a1*b0*c1*d1*e1*f1+6*a1*b1*c0*d0*e1*f1+6*a1*b1*c0*d1*e1*f0+6*a1*b1*c1*d0*e0*f1+6*a1*b1*c1*d0*e1*f1+6*a1*b1*c1*d1*e0*f0+6*a1*b1*c1*d1*e0*f1+6*a1*b1*c1*d1*e1*f0+12*a1*b1*c1*d1*e1*f1, 6*a0*b0*c1*d1*e1*f0+6*a0*b1*c0*d1*e1*f1+6*a0*b1*c1*d0*e1*f1+6*a0*b1*c1*d1*e1*f1+6*a1*b0*c0*d1*e1*f0+6*a1*b0*c1*d1*e0*f0+6*a1*b0*c1*d1*e1*f0+6*a1*b1*c0*d0*e1*f1+6*a1*b1*c0*d1*e0*f1+6*a1*b1*c1*d0*e0*f1+6*a1*b1*c1*d0*e1*f1+6*a1*b1*c1*d1*e0*f1+24*a1*b1*c1*d1*e1*f1, 6*a0*b0*c1*d0*e1*f1+6*a0*b1*c0*d1*e1*f1+6*a0*b1*c1*d1*e1*f0+6*a0*b1*c1*d1*e1*f1+6*a1*b0*c0*d0*e1*f1+6*a1*b0*c1*d0*e0*f1+6*a1*b0*c1*d0*e1*f1+6*a1*b1*c0*d1*e0*f1+6*a1*b1*c0*d1*e1*f0+6*a1*b1*c1*d1*e0*f0+6*a1*b1*c1*d1*e0*f1+6*a1*b1*c1*d1*e1*f0+24*a1*b1*c1*d1*e1*f1