=(((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1)))-(((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1)))+(((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1)))-(((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1)))+(((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1)))-(((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1)))+(((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1)))-(((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1)))+(((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1)))-(((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1)))+(((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1)))-(((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1)))+(((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1)))-(((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1)))+(((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1)))-(((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1)))+(((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1)))-(((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1)))+(((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1)))-(((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1)))+(((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1)))-(((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1))*((3*A1)+(2*B1)+(1*C1)))+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+(A1+B1+C1)+A1+B1*2