a0*b0*c0*d0*e0*f0*g0+3*a0*b0*c1*d0*e1*f0*g1+3*a0*b1*c0*d1*e1*f0*g0+3*a0*b1*c1*d1*e0*f0*g1+6*a0*b1*c1*d1*e1*f0*g1+3*a1*b0*c0*d1*e0*f1*g0+9*a1*b0*c1*d1*e1*f1*g1+3*a1*b1*c0*d0*e1*f1*g0+6*a1*b1*c0*d1*e1*f1*g0+3*a1*b1*c1*d0*e0*f1*g1+6*a1*b1*c1*d0*e1*f1*g1+6*a1*b1*c1*d1*e0*f1*g1+12*a1*b1*c1*d1*e1*f1*g1, 3*a0*b0*c0*d1*e1*f0*g0+3*a0*b0*c1*d1*e0*f0*g1+6*a0*b0*c1*d1*e1*f0*g1+3*a0*b1*c0*d0*e0*f0*g0+6*a0*b1*c0*d1*e1*f0*g0+9*a0*b1*c1*d0*e1*f0*g1+6*a0*b1*c1*d1*e0*f0*g1+12*a0*b1*c1*d1*e1*f0*g1+3*a1*b0*c0*d0*e1*f1*g0+6*a1*b0*c0*d1*e1*f1*g0+3*a1*b0*c1*d0*e0*f1*g1+6*a1*b0*c1*d0*e1*f1*g1+6*a1*b0*c1*d1*e0*f1*g1+12*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e1*f1*g0+9*a1*b1*c0*d1*e0*f1*g0+12*a1*b1*c0*d1*e1*f1*g0+6*a1*b1*c1*d0*e0*f1*g1+12*a1*b1*c1*d0*e1*f1*g1+12*a1*b1*c1*d1*e0*f1*g1+51*a1*b1*c1*d1*e1*f1*g1, 3*a0*b0*c0*d0*e1*f0*g1+3*a0*b0*c1*d0*e0*f0*g0+6*a0*b0*c1*d0*e1*f0*g1+3*a0*b1*c0*d1*e0*f0*g1+6*a0*b1*c0*d1*e1*f0*g1+6*a0*b1*c1*d1*e0*f0*g1+9*a0*b1*c1*d1*e1*f0*g0+12*a0*b1*c1*d1*e1*f0*g1+9*a1*b0*c0*d1*e1*f1*g1+9*a1*b0*c1*d1*e0*f1*g0+18*a1*b0*c1*d1*e1*f1*g1+3*a1*b1*c0*d0*e0*f1*g1+6*a1*b1*c0*d0*e1*f1*g1+6*a1*b1*c0*d1*e0*f1*g1+12*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f1*g1+9*a1*b1*c1*d0*e1*f1*g0+12*a1*b1*c1*d0*e1*f1*g1+12*a1*b1*c1*d1*e0*f1*g1+18*a1*b1*c1*d1*e1*f1*g0+24*a1*b1*c1*d1*e1*f1*g1, 3*a0*b0*c0*d1*e0*f0*g1+3*a0*b0*c1*d1*e1*f0*g0+6*a0*b0*c1*d1*e1*f0*g1+3*a0*b1*c0*d0*e1*f0*g1+6*a0*b1*c0*d1*e1*f0*g1+3*a0*b1*c1*d0*e0*f0*g0+6*a0*b1*c1*d0*e1*f0*g1+6*a0*b1*c1*d1*e0*f0*g1+6*a0*b1*c1*d1*e1*f0*g0+6*a0*b1*c1*d1*e1*f0*g1+3*a1*b0*c0*d0*e0*f1*g1+6*a1*b0*c0*d1*e0*f1*g1+3*a1*b0*c1*d0*e1*f1*g0+6*a1*b0*c1*d0*e1*f1*g1+6*a1*b0*c1*d1*e1*f1*g0+12*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e1*f1*g1+21*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f1*g1+6*a1*b1*c1*d0*e1*f1*g0+6*a1*b1*c1*d0*e1*f1*g1+9*a1*b1*c1*d1*e0*f1*g0+12*a1*b1*c1*d1*e0*f1*g1+12*a1*b1*c1*d1*e1*f1*g0+30*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d1*e1*f0*g1+6*a0*b0*c1*d1*e0*f0*g1+6*a0*b0*c1*d1*e1*f0*g0+6*a0*b0*c1*d1*e1*f0*g1+6*a0*b1*c0*d0*e1*f0*g1+6*a0*b1*c0*d1*e0*f0*g1+6*a0*b1*c0*d1*e1*f0*g1+6*a0*b1*c1*d0*e0*f0*g0+12*a0*b1*c1*d0*e1*f0*g1+6*a0*b1*c1*d1*e0*f0*g1+12*a0*b1*c1*d1*e1*f0*g0+18*a0*b1*c1*d1*e1*f0*g1+6*a1*b0*c0*d0*e1*f1*g1+12*a1*b0*c0*d1*e1*f1*g1+6*a1*b0*c1*d0*e0*f1*g1+6*a1*b0*c1*d0*e1*f1*g0+6*a1*b0*c1*d0*e1*f1*g1+12*a1*b0*c1*d1*e0*f1*g1+12*a1*b0*c1*d1*e1*f1*g0+12*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e0*f1*g1+6*a1*b1*c0*d0*e1*f1*g1+12*a1*b1*c0*d1*e0*f1*g1+30*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f1*g1+12*a1*b1*c1*d0*e1*f1*g0+18*a1*b1*c1*d0*e1*f1*g1+18*a1*b1*c1*d1*e0*f1*g0+12*a1*b1*c1*d1*e0*f1*g1+24*a1*b1*c1*d1*e1*f1*g0+72*a1*b1*c1*d1*e1*f1*g1, 3*a0*b0*c0*d0*e0*f0*g1+3*a0*b0*c1*d0*e1*f0*g0+6*a0*b0*c1*d0*e1*f0*g1+9*a0*b1*c0*d1*e1*f0*g1+3*a0*b1*c1*d1*e0*f0*g0+6*a0*b1*c1*d1*e0*f0*g1+6*a0*b1*c1*d1*e1*f0*g0+12*a0*b1*c1*d1*e1*f0*g1+9*a1*b0*c0*d1*e0*f1*g1+9*a1*b0*c1*d1*e1*f1*g0+18*a1*b0*c1*d1*e1*f1*g1+9*a1*b1*c0*d0*e1*f1*g1+18*a1*b1*c0*d1*e1*f1*g1+3*a1*b1*c1*d0*e0*f1*g0+6*a1*b1*c1*d0*e0*f1*g1+6*a1*b1*c1*d0*e1*f1*g0+12*a1*b1*c1*d0*e1*f1*g1+6*a1*b1*c1*d1*e0*f1*g0+12*a1*b1*c1*d1*e0*f1*g1+12*a1*b1*c1*d1*e1*f1*g0+24*a1*b1*c1*d1*e1*f1*g1, 3*a0*b0*c0*d1*e1*f0*g1+3*a0*b0*c1*d1*e0*f0*g0+6*a0*b0*c1*d1*e1*f0*g1+3*a0*b1*c0*d0*e0*f0*g1+6*a0*b1*c0*d1*e1*f0*g1+3*a0*b1*c1*d0*e1*f0*g0+6*a0*b1*c1*d0*e1*f0*g1+6*a0*b1*c1*d1*e0*f0*g1+6*a0*b1*c1*d1*e1*f0*g0+6*a0*b1*c1*d1*e1*f0*g1+3*a1*b0*c0*d0*e1*f1*g1+6*a1*b0*c0*d1*e1*f1*g1+3*a1*b0*c1*d0*e0*f1*g0+6*a1*b0*c1*d0*e1*f1*g1+6*a1*b0*c1*d1*e0*f1*g0+12*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e1*f1*g1+9*a1*b1*c0*d1*e0*f1*g1+12*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f1*g1+6*a1*b1*c1*d0*e1*f1*g0+6*a1*b1*c1*d0*e1*f1*g1+12*a1*b1*c1*d1*e0*f1*g1+21*a1*b1*c1*d1*e1*f1*g0+30*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d1*e1*f0*g1+6*a0*b0*c1*d1*e0*f0*g1+6*a0*b0*c1*d1*e1*f0*g0+6*a0*b0*c1*d1*e1*f0*g1+6*a0*b1*c0*d0*e0*f0*g1+12*a0*b1*c0*d1*e1*f0*g1+6*a0*b1*c1*d0*e1*f0*g0+12*a0*b1*c1*d0*e1*f0*g1+6*a0*b1*c1*d1*e0*f0*g0+6*a0*b1*c1*d1*e0*f0*g1+6*a0*b1*c1*d1*e1*f0*g0+18*a0*b1*c1*d1*e1*f0*g1+6*a1*b0*c0*d0*e1*f1*g1+12*a1*b0*c0*d1*e1*f1*g1+6*a1*b0*c1*d0*e0*f1*g1+6*a1*b0*c1*d0*e1*f1*g0+6*a1*b0*c1*d0*e1*f1*g1+12*a1*b0*c1*d1*e0*f1*g1+12*a1*b0*c1*d1*e1*f1*g0+12*a1*b0*c1*d1*e1*f1*g1+12*a1*b1*c0*d0*e1*f1*g1+18*a1*b1*c0*d1*e0*f1*g1+24*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f1*g0+6*a1*b1*c1*d0*e0*f1*g1+6*a1*b1*c1*d0*e1*f1*g0+18*a1*b1*c1*d0*e1*f1*g1+12*a1*b1*c1*d1*e0*f1*g0+12*a1*b1*c1*d1*e0*f1*g1+30*a1*b1*c1*d1*e1*f1*g0+72*a1*b1*c1*d1*e1*f1*g1, 3*a0*b0*c0*d0*e1*f0*g0+3*a0*b0*c1*d0*e0*f0*g1+6*a0*b0*c1*d0*e1*f0*g1+3*a0*b1*c0*d1*e0*f0*g0+6*a0*b1*c0*d1*e1*f0*g0+6*a0*b1*c1*d1*e0*f0*g1+21*a0*b1*c1*d1*e1*f0*g1+9*a1*b0*c0*d1*e1*f1*g0+9*a1*b0*c1*d1*e0*f1*g1+18*a1*b0*c1*d1*e1*f1*g1+3*a1*b1*c0*d0*e0*f1*g0+6*a1*b1*c0*d0*e1*f1*g0+6*a1*b1*c0*d1*e0*f1*g0+12*a1*b1*c0*d1*e1*f1*g0+6*a1*b1*c1*d0*e0*f1*g1+21*a1*b1*c1*d0*e1*f1*g1+12*a1*b1*c1*d1*e0*f1*g1+42*a1*b1*c1*d1*e1*f1*g1, 3*a0*b0*c0*d1*e0*f0*g0+9*a0*b0*c1*d1*e1*f0*g1+3*a0*b1*c0*d0*e1*f0*g0+6*a0*b1*c0*d1*e1*f0*g0+3*a0*b1*c1*d0*e0*f0*g1+6*a0*b1*c1*d0*e1*f0*g1+6*a0*b1*c1*d1*e0*f0*g1+12*a0*b1*c1*d1*e1*f0*g1+3*a1*b0*c0*d0*e0*f1*g0+6*a1*b0*c0*d1*e0*f1*g0+9*a1*b0*c1*d0*e1*f1*g1+18*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e1*f1*g0+21*a1*b1*c0*d1*e1*f1*g0+6*a1*b1*c1*d0*e0*f1*g1+12*a1*b1*c1*d0*e1*f1*g1+21*a1*b1*c1*d1*e0*f1*g1+42*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d1*e1*f0*g0+6*a0*b0*c1*d1*e0*f0*g1+12*a0*b0*c1*d1*e1*f0*g1+6*a0*b1*c0*d0*e1*f0*g0+6*a0*b1*c0*d1*e0*f0*g0+6*a0*b1*c0*d1*e1*f0*g0+6*a0*b1*c1*d0*e0*f0*g1+12*a0*b1*c1*d0*e1*f0*g1+6*a0*b1*c1*d1*e0*f0*g1+30*a0*b1*c1*d1*e1*f0*g1+6*a1*b0*c0*d0*e1*f1*g0+12*a1*b0*c0*d1*e1*f1*g0+6*a1*b0*c1*d0*e0*f1*g1+12*a1*b0*c1*d0*e1*f1*g1+12*a1*b0*c1*d1*e0*f1*g1+24*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e0*f1*g0+6*a1*b1*c0*d0*e1*f1*g0+12*a1*b1*c0*d1*e0*f1*g0+30*a1*b1*c0*d1*e1*f1*g0+6*a1*b1*c1*d0*e0*f1*g1+30*a1*b1*c1*d0*e1*f1*g1+30*a1*b1*c1*d1*e0*f1*g1+96*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d0*e1*f0*g1+6*a0*b0*c1*d0*e0*f0*g1+6*a0*b0*c1*d0*e1*f0*g0+6*a0*b0*c1*d0*e1*f0*g1+6*a0*b1*c0*d1*e0*f0*g1+12*a0*b1*c0*d1*e1*f0*g1+6*a0*b1*c1*d1*e0*f0*g0+6*a0*b1*c1*d1*e0*f0*g1+12*a0*b1*c1*d1*e1*f0*g0+30*a0*b1*c1*d1*e1*f0*g1+18*a1*b0*c0*d1*e1*f1*g1+18*a1*b0*c1*d1*e0*f1*g1+18*a1*b0*c1*d1*e1*f1*g0+18*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e0*f1*g1+12*a1*b1*c0*d0*e1*f1*g1+12*a1*b1*c0*d1*e0*f1*g1+24*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f1*g0+6*a1*b1*c1*d0*e0*f1*g1+12*a1*b1*c1*d0*e1*f1*g0+30*a1*b1*c1*d0*e1*f1*g1+12*a1*b1*c1*d1*e0*f1*g0+12*a1*b1*c1*d1*e0*f1*g1+24*a1*b1*c1*d1*e1*f1*g0+60*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d1*e1*f0*g1+6*a0*b0*c1*d1*e0*f0*g0+12*a0*b0*c1*d1*e1*f0*g1+6*a0*b1*c0*d0*e1*f0*g1+6*a0*b1*c0*d1*e0*f0*g1+6*a0*b1*c0*d1*e1*f0*g1+6*a0*b1*c1*d0*e0*f0*g1+6*a0*b1*c1*d0*e1*f0*g0+6*a0*b1*c1*d0*e1*f0*g1+6*a0*b1*c1*d1*e0*f0*g1+12*a0*b1*c1*d1*e1*f0*g0+18*a0*b1*c1*d1*e1*f0*g1+6*a1*b0*c0*d0*e1*f1*g1+12*a1*b0*c0*d1*e1*f1*g1+6*a1*b0*c1*d0*e0*f1*g0+12*a1*b0*c1*d0*e1*f1*g1+12*a1*b0*c1*d1*e0*f1*g0+24*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e0*f1*g1+6*a1*b1*c0*d0*e1*f1*g1+12*a1*b1*c0*d1*e0*f1*g1+30*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f1*g1+12*a1*b1*c1*d0*e1*f1*g0+18*a1*b1*c1*d0*e1*f1*g1+30*a1*b1*c1*d1*e0*f1*g1+42*a1*b1*c1*d1*e1*f1*g0+54*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d1*e0*f0*g1+6*a0*b0*c1*d1*e1*f0*g0+12*a0*b0*c1*d1*e1*f0*g1+6*a0*b1*c0*d0*e1*f0*g1+12*a0*b1*c0*d1*e1*f0*g1+6*a0*b1*c1*d0*e0*f0*g1+6*a0*b1*c1*d0*e1*f0*g0+6*a0*b1*c1*d0*e1*f0*g1+6*a0*b1*c1*d1*e0*f0*g0+6*a0*b1*c1*d1*e0*f0*g1+6*a0*b1*c1*d1*e1*f0*g0+18*a0*b1*c1*d1*e1*f0*g1+6*a1*b0*c0*d0*e0*f1*g1+12*a1*b0*c0*d1*e0*f1*g1+6*a1*b0*c1*d0*e1*f1*g0+12*a1*b0*c1*d0*e1*f1*g1+12*a1*b0*c1*d1*e1*f1*g0+24*a1*b0*c1*d1*e1*f1*g1+12*a1*b1*c0*d0*e1*f1*g1+42*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f1*g0+6*a1*b1*c1*d0*e0*f1*g1+6*a1*b1*c1*d0*e1*f1*g0+18*a1*b1*c1*d0*e1*f1*g1+12*a1*b1*c1*d1*e0*f1*g0+30*a1*b1*c1*d1*e0*f1*g1+30*a1*b1*c1*d1*e1*f1*g0+54*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d1*e1*f0*g1+6*a0*b0*c1*d1*e0*f0*g1+6*a0*b0*c1*d1*e1*f0*g0+6*a0*b0*c1*d1*e1*f0*g1+6*a0*b1*c0*d0*e1*f0*g1+6*a0*b1*c0*d1*e0*f0*g1+6*a0*b1*c0*d1*e1*f0*g1+6*a0*b1*c1*d0*e0*f0*g1+6*a0*b1*c1*d0*e1*f0*g0+6*a0*b1*c1*d0*e1*f0*g1+6*a0*b1*c1*d1*e0*f0*g0+6*a0*b1*c1*d1*e1*f0*g0+24*a0*b1*c1*d1*e1*f0*g1+6*a1*b0*c0*d0*e1*f1*g1+12*a1*b0*c0*d1*e1*f1*g1+6*a1*b0*c1*d0*e0*f1*g1+6*a1*b0*c1*d0*e1*f1*g0+6*a1*b0*c1*d0*e1*f1*g1+12*a1*b0*c1*d1*e0*f1*g1+12*a1*b0*c1*d1*e1*f1*g0+12*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e0*f1*g1+6*a1*b1*c0*d0*e1*f1*g1+12*a1*b1*c0*d1*e0*f1*g1+30*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f1*g0+6*a1*b1*c1*d0*e1*f1*g0+24*a1*b1*c1*d0*e1*f1*g1+12*a1*b1*c1*d1*e0*f1*g0+18*a1*b1*c1*d1*e0*f1*g1+30*a1*b1*c1*d1*e1*f1*g0+66*a1*b1*c1*d1*e1*f1*g1, 3*a0*b0*c0*d0*e0*f1*g0+9*a0*b0*c1*d0*e1*f1*g1+9*a0*b1*c0*d1*e1*f1*g0+9*a0*b1*c1*d1*e0*f1*g1+18*a0*b1*c1*d1*e1*f1*g1+3*a1*b0*c0*d1*e0*f0*g0+6*a1*b0*c0*d1*e0*f1*g0+9*a1*b0*c1*d1*e1*f0*g1+18*a1*b0*c1*d1*e1*f1*g1+3*a1*b1*c0*d0*e1*f0*g0+6*a1*b1*c0*d0*e1*f1*g0+6*a1*b1*c0*d1*e1*f0*g0+12*a1*b1*c0*d1*e1*f1*g0+3*a1*b1*c1*d0*e0*f0*g1+6*a1*b1*c1*d0*e0*f1*g1+6*a1*b1*c1*d0*e1*f0*g1+12*a1*b1*c1*d0*e1*f1*g1+6*a1*b1*c1*d1*e0*f0*g1+12*a1*b1*c1*d1*e0*f1*g1+12*a1*b1*c1*d1*e1*f0*g1+24*a1*b1*c1*d1*e1*f1*g1, 3*a0*b0*c0*d1*e1*f1*g0+3*a0*b0*c1*d1*e0*f1*g1+6*a0*b0*c1*d1*e1*f1*g1+3*a0*b1*c0*d0*e0*f1*g0+6*a0*b1*c0*d1*e1*f1*g0+9*a0*b1*c1*d0*e1*f1*g1+6*a0*b1*c1*d1*e0*f1*g1+12*a0*b1*c1*d1*e1*f1*g1+3*a1*b0*c0*d0*e1*f0*g0+6*a1*b0*c0*d1*e1*f1*g0+3*a1*b0*c1*d0*e0*f0*g1+6*a1*b0*c1*d0*e1*f0*g1+6*a1*b0*c1*d1*e0*f1*g1+12*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e1*f1*g0+3*a1*b1*c0*d1*e0*f0*g0+6*a1*b1*c0*d1*e0*f1*g0+6*a1*b1*c0*d1*e1*f0*g0+6*a1*b1*c0*d1*e1*f1*g0+6*a1*b1*c1*d0*e0*f1*g1+12*a1*b1*c1*d0*e1*f1*g1+6*a1*b1*c1*d1*e0*f0*g1+6*a1*b1*c1*d1*e0*f1*g1+21*a1*b1*c1*d1*e1*f0*g1+30*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d1*e1*f1*g0+6*a0*b0*c1*d1*e0*f1*g1+12*a0*b0*c1*d1*e1*f1*g1+6*a0*b1*c0*d0*e0*f1*g0+12*a0*b1*c0*d1*e1*f1*g0+18*a0*b1*c1*d0*e1*f1*g1+12*a0*b1*c1*d1*e0*f1*g1+24*a0*b1*c1*d1*e1*f1*g1+6*a1*b0*c0*d0*e1*f1*g0+6*a1*b0*c0*d1*e1*f0*g0+6*a1*b0*c0*d1*e1*f1*g0+6*a1*b0*c1*d0*e0*f1*g1+12*a1*b0*c1*d0*e1*f1*g1+6*a1*b0*c1*d1*e0*f0*g1+6*a1*b0*c1*d1*e0*f1*g1+12*a1*b0*c1*d1*e1*f0*g1+12*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e1*f0*g0+6*a1*b1*c0*d0*e1*f1*g0+6*a1*b1*c0*d1*e0*f0*g0+12*a1*b1*c0*d1*e0*f1*g0+6*a1*b1*c0*d1*e1*f0*g0+18*a1*b1*c0*d1*e1*f1*g0+6*a1*b1*c1*d0*e0*f0*g1+6*a1*b1*c1*d0*e0*f1*g1+12*a1*b1*c1*d0*e1*f0*g1+12*a1*b1*c1*d0*e1*f1*g1+6*a1*b1*c1*d1*e0*f0*g1+18*a1*b1*c1*d1*e0*f1*g1+30*a1*b1*c1*d1*e1*f0*g1+72*a1*b1*c1*d1*e1*f1*g1, 3*a0*b0*c0*d0*e1*f1*g1+3*a0*b0*c1*d0*e0*f1*g0+6*a0*b0*c1*d0*e1*f1*g1+3*a0*b1*c0*d1*e0*f1*g1+6*a0*b1*c0*d1*e1*f1*g1+6*a0*b1*c1*d1*e0*f1*g1+9*a0*b1*c1*d1*e1*f1*g0+12*a0*b1*c1*d1*e1*f1*g1+3*a1*b0*c0*d1*e1*f0*g1+6*a1*b0*c0*d1*e1*f1*g1+3*a1*b0*c1*d1*e0*f0*g0+6*a1*b0*c1*d1*e0*f1*g0+6*a1*b0*c1*d1*e1*f0*g1+12*a1*b0*c1*d1*e1*f1*g1+3*a1*b1*c0*d0*e0*f0*g1+6*a1*b1*c0*d0*e1*f1*g1+6*a1*b1*c0*d1*e0*f1*g1+6*a1*b1*c0*d1*e1*f0*g1+6*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f1*g1+3*a1*b1*c1*d0*e1*f0*g0+6*a1*b1*c1*d0*e1*f0*g1+6*a1*b1*c1*d0*e1*f1*g0+6*a1*b1*c1*d0*e1*f1*g1+6*a1*b1*c1*d1*e0*f0*g1+6*a1*b1*c1*d1*e0*f1*g1+6*a1*b1*c1*d1*e1*f0*g0+6*a1*b1*c1*d1*e1*f0*g1+12*a1*b1*c1*d1*e1*f1*g0+18*a1*b1*c1*d1*e1*f1*g1, 3*a0*b0*c0*d1*e0*f1*g1+3*a0*b0*c1*d1*e1*f1*g0+6*a0*b0*c1*d1*e1*f1*g1+3*a0*b1*c0*d0*e1*f1*g1+6*a0*b1*c0*d1*e1*f1*g1+3*a0*b1*c1*d0*e0*f1*g0+6*a0*b1*c1*d0*e1*f1*g1+6*a0*b1*c1*d1*e0*f1*g1+6*a0*b1*c1*d1*e1*f1*g0+6*a0*b1*c1*d1*e1*f1*g1+3*a1*b0*c0*d0*e0*f0*g1+6*a1*b0*c0*d1*e0*f1*g1+3*a1*b0*c1*d0*e1*f0*g0+6*a1*b0*c1*d0*e1*f0*g1+6*a1*b0*c1*d1*e1*f1*g0+12*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e1*f1*g1+9*a1*b1*c0*d1*e1*f0*g1+12*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f1*g1+6*a1*b1*c1*d0*e1*f1*g0+6*a1*b1*c1*d0*e1*f1*g1+3*a1*b1*c1*d1*e0*f0*g0+6*a1*b1*c1*d1*e0*f0*g1+6*a1*b1*c1*d1*e0*f1*g0+6*a1*b1*c1*d1*e0*f1*g1+6*a1*b1*c1*d1*e1*f0*g0+12*a1*b1*c1*d1*e1*f0*g1+6*a1*b1*c1*d1*e1*f1*g0+18*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d1*e1*f1*g1+6*a0*b0*c1*d1*e0*f1*g1+6*a0*b0*c1*d1*e1*f1*g0+6*a0*b0*c1*d1*e1*f1*g1+6*a0*b1*c0*d0*e1*f1*g1+6*a0*b1*c0*d1*e0*f1*g1+6*a0*b1*c0*d1*e1*f1*g1+6*a0*b1*c1*d0*e0*f1*g0+12*a0*b1*c1*d0*e1*f1*g1+6*a0*b1*c1*d1*e0*f1*g1+12*a0*b1*c1*d1*e1*f1*g0+18*a0*b1*c1*d1*e1*f1*g1+6*a1*b0*c0*d0*e1*f1*g1+6*a1*b0*c0*d1*e1*f0*g1+6*a1*b0*c0*d1*e1*f1*g1+6*a1*b0*c1*d0*e0*f1*g1+6*a1*b0*c1*d0*e1*f1*g0+6*a1*b0*c1*d0*e1*f1*g1+6*a1*b0*c1*d1*e0*f0*g1+6*a1*b0*c1*d1*e0*f1*g1+6*a1*b0*c1*d1*e1*f0*g0+6*a1*b0*c1*d1*e1*f0*g1+6*a1*b0*c1*d1*e1*f1*g0+6*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e0*f0*g1+6*a1*b1*c0*d0*e1*f1*g1+12*a1*b1*c0*d1*e0*f1*g1+12*a1*b1*c0*d1*e1*f0*g1+18*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f1*g1+6*a1*b1*c1*d0*e1*f0*g0+12*a1*b1*c1*d0*e1*f0*g1+6*a1*b1*c1*d0*e1*f1*g0+6*a1*b1*c1*d0*e1*f1*g1+6*a1*b1*c1*d1*e0*f0*g0+6*a1*b1*c1*d1*e0*f0*g1+12*a1*b1*c1*d1*e0*f1*g0+6*a1*b1*c1*d1*e0*f1*g1+6*a1*b1*c1*d1*e1*f0*g0+18*a1*b1*c1*d1*e1*f0*g1+18*a1*b1*c1*d1*e1*f1*g0+54*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d0*e1*f1*g1+6*a0*b0*c1*d0*e0*f1*g0+12*a0*b0*c1*d0*e1*f1*g1+6*a0*b1*c0*d1*e0*f1*g1+12*a0*b1*c0*d1*e1*f1*g1+12*a0*b1*c1*d1*e0*f1*g1+18*a0*b1*c1*d1*e1*f1*g0+24*a0*b1*c1*d1*e1*f1*g1+6*a1*b0*c0*d1*e1*f0*g1+12*a1*b0*c0*d1*e1*f1*g1+6*a1*b0*c1*d1*e0*f0*g0+12*a1*b0*c1*d1*e0*f1*g0+12*a1*b0*c1*d1*e1*f0*g1+24*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e0*f1*g1+6*a1*b1*c0*d0*e1*f0*g1+6*a1*b1*c0*d0*e1*f1*g1+6*a1*b1*c0*d1*e0*f0*g1+6*a1*b1*c0*d1*e0*f1*g1+6*a1*b1*c0*d1*e1*f0*g1+18*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f0*g1+6*a1*b1*c1*d0*e0*f1*g1+6*a1*b1*c1*d0*e1*f0*g0+6*a1*b1*c1*d0*e1*f0*g1+12*a1*b1*c1*d0*e1*f1*g0+18*a1*b1*c1*d0*e1*f1*g1+6*a1*b1*c1*d1*e0*f0*g1+18*a1*b1*c1*d1*e0*f1*g1+12*a1*b1*c1*d1*e1*f0*g0+18*a1*b1*c1*d1*e1*f0*g1+24*a1*b1*c1*d1*e1*f1*g0+30*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d1*e1*f1*g1+6*a0*b0*c1*d1*e0*f1*g1+6*a0*b0*c1*d1*e1*f1*g0+6*a0*b0*c1*d1*e1*f1*g1+6*a0*b1*c0*d0*e1*f1*g1+6*a0*b1*c0*d1*e0*f1*g1+6*a0*b1*c0*d1*e1*f1*g1+6*a0*b1*c1*d0*e0*f1*g0+12*a0*b1*c1*d0*e1*f1*g1+6*a0*b1*c1*d1*e0*f1*g1+12*a0*b1*c1*d1*e1*f1*g0+18*a0*b1*c1*d1*e1*f1*g1+6*a1*b0*c0*d0*e1*f0*g1+12*a1*b0*c0*d1*e1*f1*g1+6*a1*b0*c1*d0*e0*f0*g1+6*a1*b0*c1*d0*e1*f0*g0+6*a1*b0*c1*d0*e1*f0*g1+12*a1*b0*c1*d1*e0*f1*g1+12*a1*b0*c1*d1*e1*f1*g0+12*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e0*f1*g1+6*a1*b1*c0*d0*e1*f1*g1+6*a1*b1*c0*d1*e0*f0*g1+6*a1*b1*c0*d1*e0*f1*g1+12*a1*b1*c0*d1*e1*f0*g1+18*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f1*g1+12*a1*b1*c1*d0*e1*f1*g0+18*a1*b1*c1*d0*e1*f1*g1+6*a1*b1*c1*d1*e0*f0*g0+6*a1*b1*c1*d1*e0*f0*g1+12*a1*b1*c1*d1*e0*f1*g0+6*a1*b1*c1*d1*e0*f1*g1+12*a1*b1*c1*d1*e1*f0*g0+30*a1*b1*c1*d1*e1*f0*g1+12*a1*b1*c1*d1*e1*f1*g0+42*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d1*e0*f1*g1+6*a0*b0*c1*d1*e1*f1*g0+12*a0*b0*c1*d1*e1*f1*g1+6*a0*b1*c0*d0*e1*f1*g1+12*a0*b1*c0*d1*e1*f1*g1+6*a0*b1*c1*d0*e0*f1*g0+12*a0*b1*c1*d0*e1*f1*g1+12*a0*b1*c1*d1*e0*f1*g1+12*a0*b1*c1*d1*e1*f1*g0+12*a0*b1*c1*d1*e1*f1*g1+6*a1*b0*c0*d0*e0*f1*g1+6*a1*b0*c0*d1*e0*f0*g1+6*a1*b0*c0*d1*e0*f1*g1+6*a1*b0*c1*d0*e1*f1*g0+12*a1*b0*c1*d0*e1*f1*g1+6*a1*b0*c1*d1*e1*f0*g0+12*a1*b0*c1*d1*e1*f0*g1+6*a1*b0*c1*d1*e1*f1*g0+12*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e1*f0*g1+6*a1*b1*c0*d0*e1*f1*g1+12*a1*b1*c0*d1*e1*f0*g1+30*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f0*g1+6*a1*b1*c1*d0*e0*f1*g1+6*a1*b1*c1*d0*e1*f0*g0+6*a1*b1*c1*d0*e1*f0*g1+6*a1*b1*c1*d0*e1*f1*g0+6*a1*b1*c1*d0*e1*f1*g1+6*a1*b1*c1*d1*e0*f0*g0+6*a1*b1*c1*d1*e0*f0*g1+12*a1*b1*c1*d1*e0*f1*g0+18*a1*b1*c1*d1*e0*f1*g1+6*a1*b1*c1*d1*e1*f0*g0+18*a1*b1*c1*d1*e1*f0*g1+18*a1*b1*c1*d1*e1*f1*g0+42*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d1*e1*f1*g1+6*a0*b0*c1*d1*e0*f1*g1+6*a0*b0*c1*d1*e1*f1*g0+6*a0*b0*c1*d1*e1*f1*g1+6*a0*b1*c0*d0*e1*f1*g1+6*a0*b1*c0*d1*e0*f1*g1+6*a0*b1*c0*d1*e1*f1*g1+6*a0*b1*c1*d0*e0*f1*g0+12*a0*b1*c1*d0*e1*f1*g1+6*a0*b1*c1*d1*e0*f1*g1+12*a0*b1*c1*d1*e1*f1*g0+18*a0*b1*c1*d1*e1*f1*g1+6*a1*b0*c0*d0*e1*f1*g1+6*a1*b0*c0*d1*e1*f0*g1+6*a1*b0*c0*d1*e1*f1*g1+6*a1*b0*c1*d0*e0*f1*g1+6*a1*b0*c1*d0*e1*f1*g0+6*a1*b0*c1*d0*e1*f1*g1+6*a1*b0*c1*d1*e0*f0*g1+6*a1*b0*c1*d1*e0*f1*g1+6*a1*b0*c1*d1*e1*f0*g0+6*a1*b0*c1*d1*e1*f0*g1+6*a1*b0*c1*d1*e1*f1*g0+6*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e0*f1*g1+6*a1*b1*c0*d0*e1*f0*g1+6*a1*b1*c0*d1*e0*f0*g1+6*a1*b1*c0*d1*e0*f1*g1+6*a1*b1*c0*d1*e1*f0*g1+24*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f0*g1+6*a1*b1*c1*d0*e1*f0*g0+6*a1*b1*c1*d0*e1*f0*g1+6*a1*b1*c1*d0*e1*f1*g0+12*a1*b1*c1*d0*e1*f1*g1+6*a1*b1*c1*d1*e0*f0*g0+12*a1*b1*c1*d1*e0*f1*g0+12*a1*b1*c1*d1*e0*f1*g1+6*a1*b1*c1*d1*e1*f0*g0+24*a1*b1*c1*d1*e1*f0*g1+18*a1*b1*c1*d1*e1*f1*g0+48*a1*b1*c1*d1*e1*f1*g1, 3*a0*b0*c0*d0*e0*f1*g1+3*a0*b0*c1*d0*e1*f1*g0+6*a0*b0*c1*d0*e1*f1*g1+9*a0*b1*c0*d1*e1*f1*g1+3*a0*b1*c1*d1*e0*f1*g0+6*a0*b1*c1*d1*e0*f1*g1+6*a0*b1*c1*d1*e1*f1*g0+12*a0*b1*c1*d1*e1*f1*g1+3*a1*b0*c0*d1*e0*f0*g1+6*a1*b0*c0*d1*e0*f1*g1+3*a1*b0*c1*d1*e1*f0*g0+6*a1*b0*c1*d1*e1*f0*g1+6*a1*b0*c1*d1*e1*f1*g0+12*a1*b0*c1*d1*e1*f1*g1+3*a1*b1*c0*d0*e1*f0*g1+6*a1*b1*c0*d0*e1*f1*g1+6*a1*b1*c0*d1*e1*f0*g1+12*a1*b1*c0*d1*e1*f1*g1+3*a1*b1*c1*d0*e0*f0*g0+6*a1*b1*c1*d0*e0*f1*g1+6*a1*b1*c1*d0*e1*f0*g1+6*a1*b1*c1*d0*e1*f1*g0+6*a1*b1*c1*d0*e1*f1*g1+6*a1*b1*c1*d1*e0*f0*g1+6*a1*b1*c1*d1*e0*f1*g0+6*a1*b1*c1*d1*e0*f1*g1+6*a1*b1*c1*d1*e1*f0*g0+6*a1*b1*c1*d1*e1*f0*g1+6*a1*b1*c1*d1*e1*f1*g0+18*a1*b1*c1*d1*e1*f1*g1, 3*a0*b0*c0*d1*e1*f1*g1+3*a0*b0*c1*d1*e0*f1*g0+6*a0*b0*c1*d1*e1*f1*g1+3*a0*b1*c0*d0*e0*f1*g1+6*a0*b1*c0*d1*e1*f1*g1+3*a0*b1*c1*d0*e1*f1*g0+6*a0*b1*c1*d0*e1*f1*g1+6*a0*b1*c1*d1*e0*f1*g1+6*a0*b1*c1*d1*e1*f1*g0+6*a0*b1*c1*d1*e1*f1*g1+3*a1*b0*c0*d0*e1*f0*g1+6*a1*b0*c0*d1*e1*f1*g1+3*a1*b0*c1*d0*e0*f0*g0+6*a1*b0*c1*d0*e1*f0*g1+6*a1*b0*c1*d1*e0*f1*g0+12*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e1*f1*g1+3*a1*b1*c0*d1*e0*f0*g1+6*a1*b1*c0*d1*e0*f1*g1+6*a1*b1*c0*d1*e1*f0*g1+6*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f1*g1+6*a1*b1*c1*d0*e1*f1*g0+6*a1*b1*c1*d0*e1*f1*g1+6*a1*b1*c1*d1*e0*f0*g1+6*a1*b1*c1*d1*e0*f1*g1+9*a1*b1*c1*d1*e1*f0*g0+12*a1*b1*c1*d1*e1*f0*g1+12*a1*b1*c1*d1*e1*f1*g0+18*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d1*e1*f1*g1+6*a0*b0*c1*d1*e0*f1*g1+6*a0*b0*c1*d1*e1*f1*g0+6*a0*b0*c1*d1*e1*f1*g1+6*a0*b1*c0*d0*e0*f1*g1+12*a0*b1*c0*d1*e1*f1*g1+6*a0*b1*c1*d0*e1*f1*g0+12*a0*b1*c1*d0*e1*f1*g1+6*a0*b1*c1*d1*e0*f1*g0+6*a0*b1*c1*d1*e0*f1*g1+6*a0*b1*c1*d1*e1*f1*g0+18*a0*b1*c1*d1*e1*f1*g1+6*a1*b0*c0*d0*e1*f1*g1+6*a1*b0*c0*d1*e1*f0*g1+6*a1*b0*c0*d1*e1*f1*g1+6*a1*b0*c1*d0*e0*f1*g1+6*a1*b0*c1*d0*e1*f1*g0+6*a1*b0*c1*d0*e1*f1*g1+6*a1*b0*c1*d1*e0*f0*g1+6*a1*b0*c1*d1*e0*f1*g1+6*a1*b0*c1*d1*e1*f0*g0+6*a1*b0*c1*d1*e1*f0*g1+6*a1*b0*c1*d1*e1*f1*g0+6*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e1*f0*g1+6*a1*b1*c0*d0*e1*f1*g1+6*a1*b1*c0*d1*e0*f0*g1+12*a1*b1*c0*d1*e0*f1*g1+6*a1*b1*c0*d1*e1*f0*g1+18*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f0*g0+6*a1*b1*c1*d0*e0*f1*g1+12*a1*b1*c1*d0*e1*f0*g1+6*a1*b1*c1*d0*e1*f1*g0+6*a1*b1*c1*d0*e1*f1*g1+6*a1*b1*c1*d1*e0*f0*g1+12*a1*b1*c1*d1*e0*f1*g0+6*a1*b1*c1*d1*e0*f1*g1+12*a1*b1*c1*d1*e1*f0*g0+18*a1*b1*c1*d1*e1*f0*g1+18*a1*b1*c1*d1*e1*f1*g0+54*a1*b1*c1*d1*e1*f1*g1, 3*a0*b0*c0*d0*e1*f1*g0+3*a0*b0*c1*d0*e0*f1*g1+6*a0*b0*c1*d0*e1*f1*g1+3*a0*b1*c0*d1*e0*f1*g0+6*a0*b1*c0*d1*e1*f1*g0+6*a0*b1*c1*d1*e0*f1*g1+21*a0*b1*c1*d1*e1*f1*g1+3*a1*b0*c0*d1*e1*f0*g0+6*a1*b0*c0*d1*e1*f1*g0+3*a1*b0*c1*d1*e0*f0*g1+6*a1*b0*c1*d1*e0*f1*g1+6*a1*b0*c1*d1*e1*f0*g1+12*a1*b0*c1*d1*e1*f1*g1+3*a1*b1*c0*d0*e0*f0*g0+6*a1*b1*c0*d0*e1*f1*g0+6*a1*b1*c0*d1*e0*f1*g0+6*a1*b1*c0*d1*e1*f0*g0+6*a1*b1*c0*d1*e1*f1*g0+6*a1*b1*c1*d0*e0*f1*g1+9*a1*b1*c1*d0*e1*f0*g1+12*a1*b1*c1*d0*e1*f1*g1+6*a1*b1*c1*d1*e0*f0*g1+6*a1*b1*c1*d1*e0*f1*g1+12*a1*b1*c1*d1*e1*f0*g1+30*a1*b1*c1*d1*e1*f1*g1, 3*a0*b0*c0*d1*e0*f1*g0+9*a0*b0*c1*d1*e1*f1*g1+3*a0*b1*c0*d0*e1*f1*g0+6*a0*b1*c0*d1*e1*f1*g0+3*a0*b1*c1*d0*e0*f1*g1+6*a0*b1*c1*d0*e1*f1*g1+6*a0*b1*c1*d1*e0*f1*g1+12*a0*b1*c1*d1*e1*f1*g1+3*a1*b0*c0*d0*e0*f0*g0+6*a1*b0*c0*d1*e0*f1*g0+9*a1*b0*c1*d0*e1*f0*g1+18*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e1*f1*g0+9*a1*b1*c0*d1*e1*f0*g0+12*a1*b1*c0*d1*e1*f1*g0+6*a1*b1*c1*d0*e0*f1*g1+12*a1*b1*c1*d0*e1*f1*g1+9*a1*b1*c1*d1*e0*f0*g1+12*a1*b1*c1*d1*e0*f1*g1+18*a1*b1*c1*d1*e1*f0*g1+24*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d1*e1*f1*g0+6*a0*b0*c1*d1*e0*f1*g1+12*a0*b0*c1*d1*e1*f1*g1+6*a0*b1*c0*d0*e1*f1*g0+6*a0*b1*c0*d1*e0*f1*g0+6*a0*b1*c0*d1*e1*f1*g0+6*a0*b1*c1*d0*e0*f1*g1+12*a0*b1*c1*d0*e1*f1*g1+6*a0*b1*c1*d1*e0*f1*g1+30*a0*b1*c1*d1*e1*f1*g1+6*a1*b0*c0*d0*e1*f1*g0+6*a1*b0*c0*d1*e1*f0*g0+6*a1*b0*c0*d1*e1*f1*g0+6*a1*b0*c1*d0*e0*f1*g1+12*a1*b0*c1*d0*e1*f1*g1+6*a1*b0*c1*d1*e0*f0*g1+6*a1*b0*c1*d1*e0*f1*g1+12*a1*b0*c1*d1*e1*f0*g1+12*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e0*f0*g0+6*a1*b1*c0*d0*e1*f1*g0+12*a1*b1*c0*d1*e0*f1*g0+12*a1*b1*c0*d1*e1*f0*g0+18*a1*b1*c0*d1*e1*f1*g0+6*a1*b1*c1*d0*e0*f1*g1+18*a1*b1*c1*d0*e1*f0*g1+12*a1*b1*c1*d0*e1*f1*g1+12*a1*b1*c1*d1*e0*f0*g1+18*a1*b1*c1*d1*e0*f1*g1+24*a1*b1*c1*d1*e1*f0*g1+72*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d0*e1*f1*g1+6*a0*b0*c1*d0*e0*f1*g1+6*a0*b0*c1*d0*e1*f1*g0+6*a0*b0*c1*d0*e1*f1*g1+6*a0*b1*c0*d1*e0*f1*g1+12*a0*b1*c0*d1*e1*f1*g1+6*a0*b1*c1*d1*e0*f1*g0+6*a0*b1*c1*d1*e0*f1*g1+12*a0*b1*c1*d1*e1*f1*g0+30*a0*b1*c1*d1*e1*f1*g1+6*a1*b0*c0*d1*e1*f0*g1+12*a1*b0*c0*d1*e1*f1*g1+6*a1*b0*c1*d1*e0*f0*g1+12*a1*b0*c1*d1*e0*f1*g1+6*a1*b0*c1*d1*e1*f0*g0+6*a1*b0*c1*d1*e1*f0*g1+12*a1*b0*c1*d1*e1*f1*g0+12*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e0*f1*g1+6*a1*b1*c0*d0*e1*f0*g1+6*a1*b1*c0*d0*e1*f1*g1+6*a1*b1*c0*d1*e0*f0*g1+6*a1*b1*c0*d1*e0*f1*g1+6*a1*b1*c0*d1*e1*f0*g1+18*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f0*g0+6*a1*b1*c1*d0*e0*f1*g1+12*a1*b1*c1*d0*e1*f0*g1+12*a1*b1*c1*d0*e1*f1*g0+18*a1*b1*c1*d0*e1*f1*g1+6*a1*b1*c1*d1*e0*f0*g1+12*a1*b1*c1*d1*e0*f1*g0+6*a1*b1*c1*d1*e0*f1*g1+12*a1*b1*c1*d1*e1*f0*g0+18*a1*b1*c1*d1*e1*f0*g1+12*a1*b1*c1*d1*e1*f1*g0+42*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d1*e1*f1*g1+6*a0*b0*c1*d1*e0*f1*g0+12*a0*b0*c1*d1*e1*f1*g1+6*a0*b1*c0*d0*e1*f1*g1+6*a0*b1*c0*d1*e0*f1*g1+6*a0*b1*c0*d1*e1*f1*g1+6*a0*b1*c1*d0*e0*f1*g1+6*a0*b1*c1*d0*e1*f1*g0+6*a0*b1*c1*d0*e1*f1*g1+6*a0*b1*c1*d1*e0*f1*g1+12*a0*b1*c1*d1*e1*f1*g0+18*a0*b1*c1*d1*e1*f1*g1+6*a1*b0*c0*d0*e1*f0*g1+12*a1*b0*c0*d1*e1*f1*g1+6*a1*b0*c1*d0*e0*f0*g0+12*a1*b0*c1*d0*e1*f0*g1+12*a1*b0*c1*d1*e0*f1*g0+24*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e0*f1*g1+6*a1*b1*c0*d0*e1*f1*g1+6*a1*b1*c0*d1*e0*f0*g1+6*a1*b1*c0*d1*e0*f1*g1+12*a1*b1*c0*d1*e1*f0*g1+18*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f1*g1+12*a1*b1*c1*d0*e1*f1*g0+18*a1*b1*c1*d0*e1*f1*g1+12*a1*b1*c1*d1*e0*f0*g1+18*a1*b1*c1*d1*e0*f1*g1+18*a1*b1*c1*d1*e1*f0*g0+24*a1*b1*c1*d1*e1*f0*g1+24*a1*b1*c1*d1*e1*f1*g0+30*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d1*e0*f1*g1+6*a0*b0*c1*d1*e1*f1*g0+12*a0*b0*c1*d1*e1*f1*g1+6*a0*b1*c0*d0*e1*f1*g1+12*a0*b1*c0*d1*e1*f1*g1+6*a0*b1*c1*d0*e0*f1*g1+6*a0*b1*c1*d0*e1*f1*g0+6*a0*b1*c1*d0*e1*f1*g1+6*a0*b1*c1*d1*e0*f1*g0+6*a0*b1*c1*d1*e0*f1*g1+6*a0*b1*c1*d1*e1*f1*g0+18*a0*b1*c1*d1*e1*f1*g1+6*a1*b0*c0*d0*e0*f1*g1+6*a1*b0*c0*d1*e0*f0*g1+6*a1*b0*c0*d1*e0*f1*g1+6*a1*b0*c1*d0*e1*f1*g0+12*a1*b0*c1*d0*e1*f1*g1+6*a1*b0*c1*d1*e1*f0*g0+12*a1*b0*c1*d1*e1*f0*g1+6*a1*b0*c1*d1*e1*f1*g0+12*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e1*f0*g1+6*a1*b1*c0*d0*e1*f1*g1+12*a1*b1*c0*d1*e1*f0*g1+30*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f0*g0+6*a1*b1*c1*d0*e0*f1*g1+12*a1*b1*c1*d0*e1*f0*g1+6*a1*b1*c1*d0*e1*f1*g0+6*a1*b1*c1*d0*e1*f1*g1+12*a1*b1*c1*d1*e0*f0*g1+12*a1*b1*c1*d1*e0*f1*g0+18*a1*b1*c1*d1*e0*f1*g1+12*a1*b1*c1*d1*e1*f0*g0+12*a1*b1*c1*d1*e1*f0*g1+18*a1*b1*c1*d1*e1*f1*g0+42*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d1*e1*f1*g1+6*a0*b0*c1*d1*e0*f1*g1+6*a0*b0*c1*d1*e1*f1*g0+6*a0*b0*c1*d1*e1*f1*g1+6*a0*b1*c0*d0*e1*f1*g1+6*a0*b1*c0*d1*e0*f1*g1+6*a0*b1*c0*d1*e1*f1*g1+6*a0*b1*c1*d0*e0*f1*g1+6*a0*b1*c1*d0*e1*f1*g0+6*a0*b1*c1*d0*e1*f1*g1+6*a0*b1*c1*d1*e0*f1*g0+6*a0*b1*c1*d1*e1*f1*g0+24*a0*b1*c1*d1*e1*f1*g1+6*a1*b0*c0*d0*e1*f1*g1+6*a1*b0*c0*d1*e1*f0*g1+6*a1*b0*c0*d1*e1*f1*g1+6*a1*b0*c1*d0*e0*f1*g1+6*a1*b0*c1*d0*e1*f1*g0+6*a1*b0*c1*d0*e1*f1*g1+6*a1*b0*c1*d1*e0*f0*g1+6*a1*b0*c1*d1*e0*f1*g1+6*a1*b0*c1*d1*e1*f0*g0+6*a1*b0*c1*d1*e1*f0*g1+6*a1*b0*c1*d1*e1*f1*g0+6*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e0*f1*g1+6*a1*b1*c0*d0*e1*f0*g1+6*a1*b1*c0*d1*e0*f0*g1+6*a1*b1*c0*d1*e0*f1*g1+6*a1*b1*c0*d1*e1*f0*g1+24*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f0*g0+12*a1*b1*c1*d0*e1*f0*g1+6*a1*b1*c1*d0*e1*f1*g0+12*a1*b1*c1*d0*e1*f1*g1+6*a1*b1*c1*d1*e0*f0*g1+12*a1*b1*c1*d1*e0*f1*g0+12*a1*b1*c1*d1*e0*f1*g1+12*a1*b1*c1*d1*e1*f0*g0+18*a1*b1*c1*d1*e1*f0*g1+18*a1*b1*c1*d1*e1*f1*g0+48*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d0*e0*f1*g1+6*a0*b0*c1*d0*e1*f1*g0+12*a0*b0*c1*d0*e1*f1*g1+18*a0*b1*c0*d1*e1*f1*g1+6*a0*b1*c1*d1*e0*f1*g0+12*a0*b1*c1*d1*e0*f1*g1+12*a0*b1*c1*d1*e1*f1*g0+24*a0*b1*c1*d1*e1*f1*g1+6*a1*b0*c0*d1*e0*f0*g1+12*a1*b0*c0*d1*e0*f1*g1+6*a1*b0*c1*d1*e1*f0*g0+12*a1*b0*c1*d1*e1*f0*g1+12*a1*b0*c1*d1*e1*f1*g0+24*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e1*f0*g1+12*a1*b1*c0*d0*e1*f1*g1+12*a1*b1*c0*d1*e1*f0*g1+24*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f0*g1+6*a1*b1*c1*d0*e0*f1*g0+6*a1*b1*c1*d0*e0*f1*g1+6*a1*b1*c1*d0*e1*f0*g0+6*a1*b1*c1*d0*e1*f0*g1+6*a1*b1*c1*d0*e1*f1*g0+18*a1*b1*c1*d0*e1*f1*g1+6*a1*b1*c1*d1*e0*f0*g0+6*a1*b1*c1*d1*e0*f0*g1+6*a1*b1*c1*d1*e0*f1*g0+18*a1*b1*c1*d1*e0*f1*g1+6*a1*b1*c1*d1*e1*f0*g0+18*a1*b1*c1*d1*e1*f0*g1+18*a1*b1*c1*d1*e1*f1*g0+30*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d1*e1*f1*g1+6*a0*b0*c1*d1*e0*f1*g1+6*a0*b0*c1*d1*e1*f1*g0+6*a0*b0*c1*d1*e1*f1*g1+6*a0*b1*c0*d0*e0*f1*g1+12*a0*b1*c0*d1*e1*f1*g1+6*a0*b1*c1*d0*e1*f1*g0+12*a0*b1*c1*d0*e1*f1*g1+6*a0*b1*c1*d1*e0*f1*g0+6*a0*b1*c1*d1*e0*f1*g1+6*a0*b1*c1*d1*e1*f1*g0+18*a0*b1*c1*d1*e1*f1*g1+6*a1*b0*c0*d0*e1*f0*g1+12*a1*b0*c0*d1*e1*f1*g1+6*a1*b0*c1*d0*e0*f0*g1+6*a1*b0*c1*d0*e1*f0*g0+6*a1*b0*c1*d0*e1*f0*g1+12*a1*b0*c1*d1*e0*f1*g1+12*a1*b0*c1*d1*e1*f1*g0+12*a1*b0*c1*d1*e1*f1*g1+12*a1*b1*c0*d0*e1*f1*g1+6*a1*b1*c0*d1*e0*f0*g1+12*a1*b1*c0*d1*e0*f1*g1+12*a1*b1*c0*d1*e1*f0*g1+12*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f1*g0+6*a1*b1*c1*d0*e0*f1*g1+6*a1*b1*c1*d0*e1*f1*g0+18*a1*b1*c1*d0*e1*f1*g1+6*a1*b1*c1*d1*e0*f0*g0+6*a1*b1*c1*d1*e0*f0*g1+6*a1*b1*c1*d1*e0*f1*g0+6*a1*b1*c1*d1*e0*f1*g1+12*a1*b1*c1*d1*e1*f0*g0+30*a1*b1*c1*d1*e1*f0*g1+18*a1*b1*c1*d1*e1*f1*g0+42*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d1*e1*f1*g1+6*a0*b0*c1*d1*e0*f1*g0+12*a0*b0*c1*d1*e1*f1*g1+6*a0*b1*c0*d0*e0*f1*g1+12*a0*b1*c0*d1*e1*f1*g1+6*a0*b1*c1*d0*e1*f1*g0+12*a0*b1*c1*d0*e1*f1*g1+12*a0*b1*c1*d1*e0*f1*g1+12*a0*b1*c1*d1*e1*f1*g0+12*a0*b1*c1*d1*e1*f1*g1+6*a1*b0*c0*d0*e1*f1*g1+6*a1*b0*c0*d1*e1*f0*g1+6*a1*b0*c0*d1*e1*f1*g1+6*a1*b0*c1*d0*e0*f1*g0+12*a1*b0*c1*d0*e1*f1*g1+6*a1*b0*c1*d1*e0*f0*g0+6*a1*b0*c1*d1*e0*f1*g0+12*a1*b0*c1*d1*e1*f0*g1+12*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e1*f0*g1+6*a1*b1*c0*d0*e1*f1*g1+6*a1*b1*c0*d1*e0*f0*g1+12*a1*b1*c0*d1*e0*f1*g1+6*a1*b1*c0*d1*e1*f0*g1+18*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f0*g1+6*a1*b1*c1*d0*e0*f1*g1+6*a1*b1*c1*d0*e1*f0*g0+6*a1*b1*c1*d0*e1*f0*g1+6*a1*b1*c1*d0*e1*f1*g0+6*a1*b1*c1*d0*e1*f1*g1+6*a1*b1*c1*d1*e0*f0*g1+18*a1*b1*c1*d1*e0*f1*g1+12*a1*b1*c1*d1*e1*f0*g0+18*a1*b1*c1*d1*e1*f0*g1+30*a1*b1*c1*d1*e1*f1*g0+42*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d1*e1*f1*g1+6*a0*b0*c1*d1*e0*f1*g1+6*a0*b0*c1*d1*e1*f1*g0+6*a0*b0*c1*d1*e1*f1*g1+6*a0*b1*c0*d0*e0*f1*g1+12*a0*b1*c0*d1*e1*f1*g1+6*a0*b1*c1*d0*e1*f1*g0+12*a0*b1*c1*d0*e1*f1*g1+6*a0*b1*c1*d1*e0*f1*g0+6*a0*b1*c1*d1*e0*f1*g1+6*a0*b1*c1*d1*e1*f1*g0+18*a0*b1*c1*d1*e1*f1*g1+6*a1*b0*c0*d0*e1*f1*g1+6*a1*b0*c0*d1*e1*f0*g1+6*a1*b0*c0*d1*e1*f1*g1+6*a1*b0*c1*d0*e0*f1*g1+6*a1*b0*c1*d0*e1*f1*g0+6*a1*b0*c1*d0*e1*f1*g1+6*a1*b0*c1*d1*e0*f0*g1+6*a1*b0*c1*d1*e0*f1*g1+6*a1*b0*c1*d1*e1*f0*g0+6*a1*b0*c1*d1*e1*f0*g1+6*a1*b0*c1*d1*e1*f1*g0+6*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e1*f0*g1+6*a1*b1*c0*d0*e1*f1*g1+6*a1*b1*c0*d1*e0*f0*g1+12*a1*b1*c0*d1*e0*f1*g1+6*a1*b1*c0*d1*e1*f0*g1+18*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f0*g1+6*a1*b1*c1*d0*e0*f1*g0+6*a1*b1*c1*d0*e1*f0*g0+6*a1*b1*c1*d0*e1*f0*g1+12*a1*b1*c1*d0*e1*f1*g1+6*a1*b1*c1*d1*e0*f0*g0+6*a1*b1*c1*d1*e0*f1*g0+12*a1*b1*c1*d1*e0*f1*g1+6*a1*b1*c1*d1*e1*f0*g0+24*a1*b1*c1*d1*e1*f0*g1+24*a1*b1*c1*d1*e1*f1*g0+48*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d0*e1*f1*g1+6*a0*b0*c1*d0*e0*f1*g1+6*a0*b0*c1*d0*e1*f1*g0+6*a0*b0*c1*d0*e1*f1*g1+6*a0*b1*c0*d1*e0*f1*g1+12*a0*b1*c0*d1*e1*f1*g1+6*a0*b1*c1*d1*e0*f1*g0+6*a0*b1*c1*d1*e0*f1*g1+12*a0*b1*c1*d1*e1*f1*g0+30*a0*b1*c1*d1*e1*f1*g1+6*a1*b0*c0*d1*e1*f0*g1+12*a1*b0*c0*d1*e1*f1*g1+6*a1*b0*c1*d1*e0*f0*g1+12*a1*b0*c1*d1*e0*f1*g1+6*a1*b0*c1*d1*e1*f0*g0+6*a1*b0*c1*d1*e1*f0*g1+12*a1*b0*c1*d1*e1*f1*g0+12*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e0*f0*g1+12*a1*b1*c0*d0*e1*f1*g1+12*a1*b1*c0*d1*e0*f1*g1+12*a1*b1*c0*d1*e1*f0*g1+12*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f1*g0+6*a1*b1*c1*d0*e0*f1*g1+6*a1*b1*c1*d0*e1*f0*g0+12*a1*b1*c1*d0*e1*f0*g1+6*a1*b1*c1*d0*e1*f1*g0+18*a1*b1*c1*d0*e1*f1*g1+6*a1*b1*c1*d1*e0*f0*g0+6*a1*b1*c1*d1*e0*f0*g1+6*a1*b1*c1*d1*e0*f1*g0+6*a1*b1*c1*d1*e0*f1*g1+6*a1*b1*c1*d1*e1*f0*g0+18*a1*b1*c1*d1*e1*f0*g1+18*a1*b1*c1*d1*e1*f1*g0+42*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d1*e0*f1*g1+6*a0*b0*c1*d1*e1*f1*g0+12*a0*b0*c1*d1*e1*f1*g1+6*a0*b1*c0*d0*e1*f1*g1+12*a0*b1*c0*d1*e1*f1*g1+6*a0*b1*c1*d0*e0*f1*g1+6*a0*b1*c1*d0*e1*f1*g0+6*a0*b1*c1*d0*e1*f1*g1+6*a0*b1*c1*d1*e0*f1*g0+6*a0*b1*c1*d1*e0*f1*g1+6*a0*b1*c1*d1*e1*f1*g0+18*a0*b1*c1*d1*e1*f1*g1+6*a1*b0*c0*d0*e0*f0*g1+12*a1*b0*c0*d1*e0*f1*g1+6*a1*b0*c1*d0*e1*f0*g0+12*a1*b0*c1*d0*e1*f0*g1+12*a1*b0*c1*d1*e1*f1*g0+24*a1*b0*c1*d1*e1*f1*g1+12*a1*b1*c0*d0*e1*f1*g1+18*a1*b1*c0*d1*e1*f0*g1+24*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f1*g0+6*a1*b1*c1*d0*e0*f1*g1+6*a1*b1*c1*d0*e1*f1*g0+18*a1*b1*c1*d0*e1*f1*g1+6*a1*b1*c1*d1*e0*f0*g0+12*a1*b1*c1*d1*e0*f0*g1+6*a1*b1*c1*d1*e0*f1*g0+18*a1*b1*c1*d1*e0*f1*g1+12*a1*b1*c1*d1*e1*f0*g0+24*a1*b1*c1*d1*e1*f0*g1+18*a1*b1*c1*d1*e1*f1*g0+30*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d1*e1*f1*g1+6*a0*b0*c1*d1*e0*f1*g0+12*a0*b0*c1*d1*e1*f1*g1+6*a0*b1*c0*d0*e1*f1*g1+6*a0*b1*c0*d1*e0*f1*g1+6*a0*b1*c0*d1*e1*f1*g1+6*a0*b1*c1*d0*e0*f1*g1+6*a0*b1*c1*d0*e1*f1*g0+6*a0*b1*c1*d0*e1*f1*g1+6*a0*b1*c1*d1*e0*f1*g1+12*a0*b1*c1*d1*e1*f1*g0+18*a0*b1*c1*d1*e1*f1*g1+6*a1*b0*c0*d0*e1*f1*g1+6*a1*b0*c0*d1*e1*f0*g1+6*a1*b0*c0*d1*e1*f1*g1+6*a1*b0*c1*d0*e0*f1*g0+12*a1*b0*c1*d0*e1*f1*g1+6*a1*b0*c1*d1*e0*f0*g0+6*a1*b0*c1*d1*e0*f1*g0+12*a1*b0*c1*d1*e1*f0*g1+12*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e0*f0*g1+6*a1*b1*c0*d0*e1*f1*g1+12*a1*b1*c0*d1*e0*f1*g1+12*a1*b1*c0*d1*e1*f0*g1+18*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f1*g1+6*a1*b1*c1*d0*e1*f0*g0+12*a1*b1*c1*d0*e1*f0*g1+6*a1*b1*c1*d0*e1*f1*g0+6*a1*b1*c1*d0*e1*f1*g1+12*a1*b1*c1*d1*e0*f0*g1+18*a1*b1*c1*d1*e0*f1*g1+12*a1*b1*c1*d1*e1*f0*g0+12*a1*b1*c1*d1*e1*f0*g1+30*a1*b1*c1*d1*e1*f1*g0+42*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d1*e1*f1*g1+6*a0*b0*c1*d1*e0*f1*g1+6*a0*b0*c1*d1*e1*f1*g0+6*a0*b0*c1*d1*e1*f1*g1+6*a0*b1*c0*d0*e1*f1*g1+6*a0*b1*c0*d1*e0*f1*g1+6*a0*b1*c0*d1*e1*f1*g1+6*a0*b1*c1*d0*e0*f1*g1+6*a0*b1*c1*d0*e1*f1*g0+6*a0*b1*c1*d0*e1*f1*g1+6*a0*b1*c1*d1*e0*f1*g0+6*a0*b1*c1*d1*e1*f1*g0+24*a0*b1*c1*d1*e1*f1*g1+6*a1*b0*c0*d0*e1*f1*g1+6*a1*b0*c0*d1*e1*f0*g1+6*a1*b0*c0*d1*e1*f1*g1+6*a1*b0*c1*d0*e0*f1*g1+6*a1*b0*c1*d0*e1*f1*g0+6*a1*b0*c1*d0*e1*f1*g1+6*a1*b0*c1*d1*e0*f0*g1+6*a1*b0*c1*d1*e0*f1*g1+6*a1*b0*c1*d1*e1*f0*g0+6*a1*b0*c1*d1*e1*f0*g1+6*a1*b0*c1*d1*e1*f1*g0+6*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e0*f0*g1+6*a1*b1*c0*d0*e1*f1*g1+12*a1*b1*c0*d1*e0*f1*g1+12*a1*b1*c0*d1*e1*f0*g1+18*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f1*g0+6*a1*b1*c1*d0*e1*f0*g0+12*a1*b1*c1*d0*e1*f0*g1+12*a1*b1*c1*d0*e1*f1*g1+6*a1*b1*c1*d1*e0*f0*g0+6*a1*b1*c1*d1*e0*f0*g1+6*a1*b1*c1*d1*e0*f1*g0+12*a1*b1*c1*d1*e0*f1*g1+6*a1*b1*c1*d1*e1*f0*g0+18*a1*b1*c1*d1*e1*f0*g1+24*a1*b1*c1*d1*e1*f1*g0+48*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d0*e1*f1*g0+6*a0*b0*c1*d0*e0*f1*g1+12*a0*b0*c1*d0*e1*f1*g1+6*a0*b1*c0*d1*e0*f1*g0+12*a0*b1*c0*d1*e1*f1*g0+12*a0*b1*c1*d1*e0*f1*g1+42*a0*b1*c1*d1*e1*f1*g1+6*a1*b0*c0*d1*e1*f0*g0+12*a1*b0*c0*d1*e1*f1*g0+6*a1*b0*c1*d1*e0*f0*g1+12*a1*b0*c1*d1*e0*f1*g1+12*a1*b0*c1*d1*e1*f0*g1+24*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e0*f1*g0+6*a1*b1*c0*d0*e1*f0*g0+6*a1*b1*c0*d0*e1*f1*g0+6*a1*b1*c0*d1*e0*f0*g0+6*a1*b1*c0*d1*e0*f1*g0+6*a1*b1*c0*d1*e1*f0*g0+18*a1*b1*c0*d1*e1*f1*g0+6*a1*b1*c1*d0*e0*f0*g1+6*a1*b1*c1*d0*e0*f1*g1+12*a1*b1*c1*d0*e1*f0*g1+30*a1*b1*c1*d0*e1*f1*g1+6*a1*b1*c1*d1*e0*f0*g1+18*a1*b1*c1*d1*e0*f1*g1+30*a1*b1*c1*d1*e1*f0*g1+54*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d1*e1*f1*g0+6*a0*b0*c1*d1*e0*f1*g1+12*a0*b0*c1*d1*e1*f1*g1+6*a0*b1*c0*d0*e1*f1*g0+6*a0*b1*c0*d1*e0*f1*g0+6*a0*b1*c0*d1*e1*f1*g0+6*a0*b1*c1*d0*e0*f1*g1+12*a0*b1*c1*d0*e1*f1*g1+6*a0*b1*c1*d1*e0*f1*g1+30*a0*b1*c1*d1*e1*f1*g1+6*a1*b0*c0*d0*e1*f0*g0+12*a1*b0*c0*d1*e1*f1*g0+6*a1*b0*c1*d0*e0*f0*g1+12*a1*b0*c1*d0*e1*f0*g1+12*a1*b0*c1*d1*e0*f1*g1+24*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e0*f1*g0+6*a1*b1*c0*d0*e1*f1*g0+6*a1*b1*c0*d1*e0*f0*g0+6*a1*b1*c0*d1*e0*f1*g0+12*a1*b1*c0*d1*e1*f0*g0+18*a1*b1*c0*d1*e1*f1*g0+6*a1*b1*c1*d0*e0*f1*g1+30*a1*b1*c1*d0*e1*f1*g1+12*a1*b1*c1*d1*e0*f0*g1+18*a1*b1*c1*d1*e0*f1*g1+42*a1*b1*c1*d1*e1*f0*g1+54*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d1*e0*f1*g0+18*a0*b0*c1*d1*e1*f1*g1+6*a0*b1*c0*d0*e1*f1*g0+12*a0*b1*c0*d1*e1*f1*g0+6*a0*b1*c1*d0*e0*f1*g1+12*a0*b1*c1*d0*e1*f1*g1+12*a0*b1*c1*d1*e0*f1*g1+24*a0*b1*c1*d1*e1*f1*g1+6*a1*b0*c0*d0*e0*f1*g0+6*a1*b0*c0*d1*e0*f0*g0+6*a1*b0*c0*d1*e0*f1*g0+18*a1*b0*c1*d0*e1*f1*g1+18*a1*b0*c1*d1*e1*f0*g1+18*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e1*f0*g0+6*a1*b1*c0*d0*e1*f1*g0+12*a1*b1*c0*d1*e1*f0*g0+30*a1*b1*c0*d1*e1*f1*g0+6*a1*b1*c1*d0*e0*f0*g1+6*a1*b1*c1*d0*e0*f1*g1+12*a1*b1*c1*d0*e1*f0*g1+12*a1*b1*c1*d0*e1*f1*g1+12*a1*b1*c1*d1*e0*f0*g1+30*a1*b1*c1*d1*e0*f1*g1+24*a1*b1*c1*d1*e1*f0*g1+60*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d1*e1*f1*g0+6*a0*b0*c1*d1*e0*f1*g1+12*a0*b0*c1*d1*e1*f1*g1+6*a0*b1*c0*d0*e1*f1*g0+6*a0*b1*c0*d1*e0*f1*g0+6*a0*b1*c0*d1*e1*f1*g0+6*a0*b1*c1*d0*e0*f1*g1+12*a0*b1*c1*d0*e1*f1*g1+6*a0*b1*c1*d1*e0*f1*g1+30*a0*b1*c1*d1*e1*f1*g1+6*a1*b0*c0*d0*e1*f1*g0+6*a1*b0*c0*d1*e1*f0*g0+6*a1*b0*c0*d1*e1*f1*g0+6*a1*b0*c1*d0*e0*f1*g1+12*a1*b0*c1*d0*e1*f1*g1+6*a1*b0*c1*d1*e0*f0*g1+6*a1*b0*c1*d1*e0*f1*g1+12*a1*b0*c1*d1*e1*f0*g1+12*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e0*f1*g0+6*a1*b1*c0*d0*e1*f0*g0+6*a1*b1*c0*d1*e0*f0*g0+6*a1*b1*c0*d1*e0*f1*g0+6*a1*b1*c0*d1*e1*f0*g0+24*a1*b1*c0*d1*e1*f1*g0+6*a1*b1*c1*d0*e0*f0*g1+12*a1*b1*c1*d0*e1*f0*g1+18*a1*b1*c1*d0*e1*f1*g1+6*a1*b1*c1*d1*e0*f0*g1+24*a1*b1*c1*d1*e0*f1*g1+30*a1*b1*c1*d1*e1*f0*g1+66*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d0*e1*f1*g1+6*a0*b0*c1*d0*e0*f1*g1+6*a0*b0*c1*d0*e1*f1*g0+6*a0*b0*c1*d0*e1*f1*g1+6*a0*b1*c0*d1*e0*f1*g1+12*a0*b1*c0*d1*e1*f1*g1+6*a0*b1*c1*d1*e0*f1*g0+6*a0*b1*c1*d1*e0*f1*g1+12*a0*b1*c1*d1*e1*f1*g0+30*a0*b1*c1*d1*e1*f1*g1+6*a1*b0*c0*d1*e1*f0*g1+12*a1*b0*c0*d1*e1*f1*g1+6*a1*b0*c1*d1*e0*f0*g1+12*a1*b0*c1*d1*e0*f1*g1+6*a1*b0*c1*d1*e1*f0*g0+6*a1*b0*c1*d1*e1*f0*g1+12*a1*b0*c1*d1*e1*f1*g0+12*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e0*f1*g1+6*a1*b1*c0*d0*e1*f0*g1+6*a1*b1*c0*d0*e1*f1*g1+6*a1*b1*c0*d1*e0*f0*g1+6*a1*b1*c0*d1*e0*f1*g1+6*a1*b1*c0*d1*e1*f0*g1+18*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f0*g1+6*a1*b1*c1*d0*e0*f1*g0+6*a1*b1*c1*d0*e1*f0*g0+6*a1*b1*c1*d0*e1*f0*g1+6*a1*b1*c1*d0*e1*f1*g0+24*a1*b1*c1*d0*e1*f1*g1+6*a1*b1*c1*d1*e0*f0*g0+6*a1*b1*c1*d1*e0*f1*g0+12*a1*b1*c1*d1*e0*f1*g1+6*a1*b1*c1*d1*e1*f0*g0+24*a1*b1*c1*d1*e1*f0*g1+18*a1*b1*c1*d1*e1*f1*g0+36*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d1*e1*f1*g1+6*a0*b0*c1*d1*e0*f1*g1+6*a0*b0*c1*d1*e1*f1*g0+6*a0*b0*c1*d1*e1*f1*g1+6*a0*b1*c0*d0*e1*f1*g1+6*a0*b1*c0*d1*e0*f1*g1+6*a0*b1*c0*d1*e1*f1*g1+6*a0*b1*c1*d0*e0*f1*g1+6*a0*b1*c1*d0*e1*f1*g0+6*a0*b1*c1*d0*e1*f1*g1+6*a0*b1*c1*d1*e0*f1*g0+6*a0*b1*c1*d1*e1*f1*g0+24*a0*b1*c1*d1*e1*f1*g1+6*a1*b0*c0*d0*e1*f0*g1+12*a1*b0*c0*d1*e1*f1*g1+6*a1*b0*c1*d0*e0*f0*g1+6*a1*b0*c1*d0*e1*f0*g0+6*a1*b0*c1*d0*e1*f0*g1+12*a1*b0*c1*d1*e0*f1*g1+12*a1*b0*c1*d1*e1*f1*g0+12*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e0*f1*g1+6*a1*b1*c0*d0*e1*f1*g1+6*a1*b1*c0*d1*e0*f0*g1+6*a1*b1*c0*d1*e0*f1*g1+12*a1*b1*c0*d1*e1*f0*g1+18*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f1*g0+6*a1*b1*c1*d0*e1*f1*g0+24*a1*b1*c1*d0*e1*f1*g1+6*a1*b1*c1*d1*e0*f0*g0+6*a1*b1*c1*d1*e0*f0*g1+6*a1*b1*c1*d1*e0*f1*g0+12*a1*b1*c1*d1*e0*f1*g1+12*a1*b1*c1*d1*e1*f0*g0+30*a1*b1*c1*d1*e1*f0*g1+18*a1*b1*c1*d1*e1*f1*g0+36*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d1*e1*f1*g1+6*a0*b0*c1*d1*e0*f1*g0+12*a0*b0*c1*d1*e1*f1*g1+6*a0*b1*c0*d0*e1*f1*g1+6*a0*b1*c0*d1*e0*f1*g1+6*a0*b1*c0*d1*e1*f1*g1+6*a0*b1*c1*d0*e0*f1*g1+6*a0*b1*c1*d0*e1*f1*g0+6*a0*b1*c1*d0*e1*f1*g1+6*a0*b1*c1*d1*e0*f1*g1+12*a0*b1*c1*d1*e1*f1*g0+18*a0*b1*c1*d1*e1*f1*g1+6*a1*b0*c0*d0*e1*f1*g1+6*a1*b0*c0*d1*e1*f0*g1+6*a1*b0*c0*d1*e1*f1*g1+6*a1*b0*c1*d0*e0*f1*g0+12*a1*b0*c1*d0*e1*f1*g1+6*a1*b0*c1*d1*e0*f0*g0+6*a1*b0*c1*d1*e0*f1*g0+12*a1*b0*c1*d1*e1*f0*g1+12*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e0*f1*g1+6*a1*b1*c0*d0*e1*f0*g1+6*a1*b1*c0*d1*e0*f0*g1+6*a1*b1*c0*d1*e0*f1*g1+6*a1*b1*c0*d1*e1*f0*g1+24*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f0*g1+6*a1*b1*c1*d0*e1*f0*g0+6*a1*b1*c1*d0*e1*f0*g1+6*a1*b1*c1*d0*e1*f1*g0+12*a1*b1*c1*d0*e1*f1*g1+6*a1*b1*c1*d1*e0*f0*g1+24*a1*b1*c1*d1*e0*f1*g1+12*a1*b1*c1*d1*e1*f0*g0+18*a1*b1*c1*d1*e1*f0*g1+30*a1*b1*c1*d1*e1*f1*g0+36*a1*b1*c1*d1*e1*f1*g1, 6*a0*b0*c0*d1*e0*f1*g1+6*a0*b0*c1*d1*e1*f1*g0+12*a0*b0*c1*d1*e1*f1*g1+6*a0*b1*c0*d0*e1*f1*g1+12*a0*b1*c0*d1*e1*f1*g1+6*a0*b1*c1*d0*e0*f1*g1+6*a0*b1*c1*d0*e1*f1*g0+6*a0*b1*c1*d0*e1*f1*g1+6*a0*b1*c1*d1*e0*f1*g0+6*a0*b1*c1*d1*e0*f1*g1+6*a0*b1*c1*d1*e1*f1*g0+18*a0*b1*c1*d1*e1*f1*g1+6*a1*b0*c0*d0*e0*f1*g1+6*a1*b0*c0*d1*e0*f0*g1+6*a1*b0*c0*d1*e0*f1*g1+6*a1*b0*c1*d0*e1*f1*g0+12*a1*b0*c1*d0*e1*f1*g1+6*a1*b0*c1*d1*e1*f0*g0+12*a1*b0*c1*d1*e1*f0*g1+6*a1*b0*c1*d1*e1*f1*g0+12*a1*b0*c1*d1*e1*f1*g1+6*a1*b1*c0*d0*e1*f0*g1+6*a1*b1*c0*d0*e1*f1*g1+12*a1*b1*c0*d1*e1*f0*g1+30*a1*b1*c0*d1*e1*f1*g1+6*a1*b1*c1*d0*e0*f0*g1+6*a1*b1*c1*d0*e0*f1*g0+6*a1*b1*c1*d0*e1*f0*g0+6*a1*b1*c1*d0*e1*f0*g1+12*a1*b1*c1*d0*e1*f1*g1+6*a1*b1*c1*d1*e0*f0*g0+6*a1*b1*c1*d1*e0*f0*g1+6*a1*b1*c1*d1*e0*f1*g0+24*a1*b1*c1*d1*e0*f1*g1+6*a1*b1*c1*d1*e1*f0*g0+18*a1*b1*c1*d1*e1*f0*g1+24*a1*b1*c1*d1*e1*f1*g0+36*a1*b1*c1*d1*e1*f1*g1