* Nterms = 717 L [C(1,[p],2,3,[p],4,[p],5)] = - k1.e2*k1.e3*k1.e4*e1.e5*ss2*ss13^-1 - k1.e2*k1.e3*k1.e4*e1.e5*ss3*ss13^-1 + k1.e2*k1.e3*k1.e4*e1.e5*ss5*ss13^-1 - k1.e2*k1.e3*k1.e4*e1.e5*ss1^-1*ss3 + k1.e2*k1.e3*k1.e5*e1.e4*ss2*ss13^-1 + k1.e2*k1.e3*k1.e5*e1.e4*ss3*ss13^-1 - k1.e2*k1.e3*k1.e5*e1.e4*ss5*ss13^-1 + k1.e2*k1.e3*k1.e5*e1.e4*ss1^-1*ss3 + k1.e2*k1.e3*k2.e4*e1.e5*ss1*ss13^-1 - k1.e2*k1.e3*k2.e4*e1.e5*ss3*ss13^-1 + k1.e2*k1.e3*k2.e4*e1.e5*ss5*ss13^-1 - k1.e2*k1.e3*k2.e4*e1.e5*ss1^-1*ss3 + k1.e2*k1.e3*k2.e4*e1.e5 + k1.e2*k1.e3*k2.e5*e1.e4*ss2*ss13^-1 + k1.e2*k1.e3*k2.e5*e1.e4*ss3*ss13^-1 - k1.e2*k1.e3*k2.e5*e1.e4*ss5*ss13^-1 + k1.e2*k1.e3*k2.e5*e1.e4*ss1^-1*ss3 - k1.e2*k1.e3*k3.e4*e1.e5*ss2*ss13^-1 - k1.e2*k1.e3*k3.e4*e1.e5*ss3*ss13^-1 + k1.e2*k1.e3*k3.e4*e1.e5*ss5*ss13^-1 - k1.e2*k1.e3*k3.e4*e1.e5*ss1^-1*ss3 - k1.e2*k1.e3*k3.e4*e1.e5*ss1^-1*ss4 + k1.e2*k1.e3*k3.e5*e1.e4*ss2*ss13^-1 + k1.e2*k1.e3*k3.e5*e1.e4*ss3*ss13^-1 - k1.e2*k1.e3*k3.e5*e1.e4*ss5*ss13^-1 + k1.e2*k1.e3*k3.e5*e1.e4*ss1^-1*ss3 + k1.e2*k1.e3*k4.e1*e4.e5*ss2*ss13^-1 + k1.e2*k1.e3*k4.e1*e4.e5*ss3*ss13^-1 - k1.e2*k1.e3*k4.e1*e4.e5*ss5*ss13^-1 + k1.e2*k1.e3*k4.e1*e4.e5*ss1^-1*ss3 - k1.e2*k1.e4*k2.e3*e1.e5*ss2^-1*ss5 - k1.e2*k1.e4*k2.e3*e1.e5*ss1^-1*ss3 + k1.e2*k1.e4*k2.e3*e1.e5 + k1.e2*k1.e4*k3.e1*e3.e5*ss2*ss13^-1 + k1.e2*k1.e4*k3.e1*e3.e5*ss3*ss13^-1 - k1.e2*k1.e4*k3.e1*e3.e5*ss5*ss13^-1 + k1.e2*k1.e4*k3.e1*e3.e5*ss1^-1*ss3 - k1.e2*k1.e4*k3.e5*e1.e3*ss2*ss13^-1 - k1.e2*k1.e4*k3.e5*e1.e3*ss3*ss13^-1 + k1.e2*k1.e4*k3.e5*e1.e3*ss5*ss13^-1 - k1.e2*k1.e4*k3.e5*e1.e3*ss1^-1*ss3 + k1.e2*k1.e4*k4.e3*e1.e5*ss1^-1*ss4 + k1.e2*k1.e5*k2.e3*e1.e4*ss2^-1*ss5 + k1.e2*k1.e5*k2.e3*e1.e4*ss1^-1*ss3 - k1.e2*k1.e5*k2.e3*e1.e4 - k1.e2*k1.e5*k3.e1*e3.e4*ss2*ss13^-1 - k1.e2*k1.e5*k3.e1*e3.e4*ss3*ss13^-1 + k1.e2*k1.e5*k3.e1*e3.e4*ss5*ss13^-1 - k1.e2*k1.e5*k3.e1*e3.e4*ss1^-1*ss3 - k1.e2*k1.e5*k3.e1*e3.e4*ss1^-1*ss4 + k1.e2*k1.e5*k3.e4*e1.e3*ss2*ss13^-1 + k1.e2*k1.e5*k3.e4*e1.e3*ss3*ss13^-1 - k1.e2*k1.e5*k3.e4*e1.e3*ss5*ss13^-1 + k1.e2*k1.e5*k3.e4*e1.e3*ss1^-1*ss3 + k1.e2*k1.e5*k3.e4*e1.e3*ss1^-1*ss4 - k1.e2*k1.e5*k4.e3*e1.e4*ss1^-1*ss4 - k1.e2*k2.e3*k2.e4*e1.e5*ss2^-1*ss4 - k1.e2*k2.e3*k2.e4*e1.e5*ss2^-1*ss5 - k1.e2*k2.e3*k2.e4*e1.e5*ss1^-1*ss3 + k1.e2*k2.e3*k2.e4*e1.e5 + k1.e2*k2.e3*k2.e5*e1.e4*ss2^-1*ss5 + k1.e2*k2.e3*k2.e5*e1.e4*ss1^-1*ss3 - k1.e2*k2.e3*k2.e5*e1.e4 - k1.e2*k2.e3*k3.e4*e1.e5*ss2^-1*ss4 - k1.e2*k2.e3*k3.e4*e1.e5*ss2^-1*ss5 - k1.e2*k2.e3*k3.e4*e1.e5*ss1^-1*ss3 - k1.e2*k2.e3*k3.e4*e1.e5*ss1^-1*ss4 + k1.e2*k2.e3*k3.e4*e1.e5 + k1.e2*k2.e3*k3.e5*e1.e4*ss2^-1*ss5 + k1.e2*k2.e3*k3.e5*e1.e4*ss1^-1*ss3 - k1.e2*k2.e3*k3.e5*e1.e4 + k1.e2*k2.e3*k4.e1*e4.e5*ss2^-1*ss5 + k1.e2*k2.e3*k4.e1*e4.e5*ss1^-1*ss3 - k1.e2*k2.e3*k4.e1*e4.e5 - k1.e2*k2.e4*k3.e1*e3.e5*ss1*ss13^-1 + k1.e2*k2.e4*k3.e1*e3.e5*ss3*ss13^-1 - k1.e2*k2.e4*k3.e1*e3.e5*ss5*ss13^-1 + k1.e2*k2.e4*k3.e1*e3.e5*ss1^-1*ss3 - k1.e2*k2.e4*k3.e1*e3.e5 + k1.e2*k2.e4*k3.e5*e1.e3*ss1*ss13^-1 - k1.e2*k2.e4*k3.e5*e1.e3*ss3*ss13^-1 + k1.e2*k2.e4*k3.e5*e1.e3*ss5*ss13^-1 - k1.e2*k2.e4*k3.e5*e1.e3*ss1^-1*ss3 + k1.e2*k2.e4*k3.e5*e1.e3 + k1.e2*k2.e4*k4.e3*e1.e5*ss1^-1*ss4 - k1.e2*k2.e5*k3.e1*e3.e4*ss2*ss13^-1 - k1.e2*k2.e5*k3.e1*e3.e4*ss3*ss13^-1 + k1.e2*k2.e5*k3.e1*e3.e4*ss5*ss13^-1 - k1.e2*k2.e5*k3.e1*e3.e4*ss1^-1*ss3 - k1.e2*k2.e5*k3.e1*e3.e4*ss1^-1*ss4 + k1.e2*k2.e5*k3.e4*e1.e3*ss2*ss13^-1 + k1.e2*k2.e5*k3.e4*e1.e3*ss3*ss13^-1 - k1.e2*k2.e5*k3.e4*e1.e3*ss5*ss13^-1 + k1.e2*k2.e5*k3.e4*e1.e3*ss1^-1*ss3 + k1.e2*k2.e5*k3.e4*e1.e3*ss1^-1*ss4 - k1.e2*k2.e5*k4.e3*e1.e4*ss1^-1*ss4 + k1.e2*k3.e1*k3.e4*e3.e5*ss2*ss13^-1 + k1.e2*k3.e1*k3.e4*e3.e5*ss3*ss13^-1 - k1.e2*k3.e1*k3.e4*e3.e5*ss5*ss13^-1 + k1.e2*k3.e1*k3.e4*e3.e5*ss1^-1*ss3 + k1.e2*k3.e1*k3.e4*e3.e5*ss1^-1*ss4 - k1.e2*k3.e1*k3.e5*e3.e4*ss2*ss13^-1 - k1.e2*k3.e1*k3.e5*e3.e4*ss3*ss13^-1 + k1.e2*k3.e1*k3.e5*e3.e4*ss5*ss13^-1 - k1.e2*k3.e1*k3.e5*e3.e4*ss1^-1*ss3 - k1.e2*k3.e1*k3.e5*e3.e4*ss1^-1*ss4 - k1.e2*k3.e1*k4.e3*e4.e5*ss2*ss13^-1 - k1.e2*k3.e1*k4.e3*e4.e5*ss3*ss13^-1 + k1.e2*k3.e1*k4.e3*e4.e5*ss5*ss13^-1 - k1.e2*k3.e1*k4.e3*e4.e5*ss1^-1*ss3 - k1.e2*k3.e1*k4.e3*e4.e5*ss1^-1*ss4 + k1.e2*k3.e4*k4.e1*e3.e5*ss1^-1*ss4 - k1.e2*k3.e5*k4.e1*e3.e4*ss1^-1*ss4 - k1.e2*k4.e1*k4.e3*e4.e5*ss1^-1*ss4 + k1.e2*e1.e3*e4.e5*ss2*ss3*ss13^-1 + k1.e2*e1.e3*e4.e5*ss3^2*ss13^-1 - k1.e2*e1.e3*e4.e5*ss3*ss5*ss13^-1 + k1.e2*e1.e3*e4.e5*ss1^-1*ss3^2 + k1.e2*e1.e3*e4.e5*ss1^-1*ss3*ss4 - k1.e2*e1.e4*e3.e5*ss1^-1*ss3*ss4 + k1.e2*e1.e5*e3.e4*ss1^-1*ss3*ss4 + k1.e2*e1.e5*e3.e4*ss1^-1*ss4^2 + k1.e3*k1.e4*k2.e1*e2.e5*ss2*ss13^-1 + k1.e3*k1.e4*k2.e1*e2.e5*ss3*ss13^-1 - k1.e3*k1.e4*k2.e1*e2.e5*ss5*ss13^-1 + k1.e3*k1.e4*k2.e1*e2.e5*ss1^-1*ss3 - k1.e3*k1.e4*k2.e5*e1.e2*ss2*ss13^-1 - k1.e3*k1.e4*k2.e5*e1.e2*ss3*ss13^-1 + k1.e3*k1.e4*k2.e5*e1.e2*ss5*ss13^-1 - k1.e3*k1.e4*k2.e5*e1.e2*ss1^-1*ss3 - k1.e3*k1.e4*k3.e2*e1.e5*ss2*ss13^-1 - k1.e3*k1.e4*k3.e2*e1.e5*ss3*ss13^-1 + k1.e3*k1.e4*k3.e2*e1.e5*ss5*ss13^-1 + k1.e3*k1.e4*k3.e2*e1.e5*ss2^-1*ss5 - k1.e3*k1.e4*k3.e2*e1.e5 - k1.e3*k1.e4*k4.e2*e1.e5*ss1*ss13^-1 - k1.e3*k1.e4*k4.e2*e1.e5*ss2*ss13^-1 - k1.e3*k1.e4*k4.e2*e1.e5 + k1.e3*k1.e5*k2.e1*e2.e4*ss1*ss13^-1 - k1.e3*k1.e5*k2.e1*e2.e4*ss3*ss13^-1 + k1.e3*k1.e5*k2.e1*e2.e4*ss5*ss13^-1 - k1.e3*k1.e5*k2.e1*e2.e4*ss1^-1*ss3 + k1.e3*k1.e5*k2.e1*e2.e4 - k1.e3*k1.e5*k2.e4*e1.e2*ss1*ss13^-1 + k1.e3*k1.e5*k2.e4*e1.e2*ss3*ss13^-1 - k1.e3*k1.e5*k2.e4*e1.e2*ss5*ss13^-1 + k1.e3*k1.e5*k2.e4*e1.e2*ss1^-1*ss3 - k1.e3*k1.e5*k2.e4*e1.e2 + k1.e3*k1.e5*k3.e2*e1.e4*ss2*ss13^-1 + k1.e3*k1.e5*k3.e2*e1.e4*ss3*ss13^-1 - k1.e3*k1.e5*k3.e2*e1.e4*ss5*ss13^-1 - k1.e3*k1.e5*k3.e2*e1.e4*ss2^-1*ss5 + k1.e3*k1.e5*k3.e2*e1.e4 + k1.e3*k1.e5*k4.e2*e1.e4*ss1*ss13^-1 + k1.e3*k1.e5*k4.e2*e1.e4*ss2*ss13^-1 + k1.e3*k1.e5*k4.e2*e1.e4 - k1.e3*k2.e1*k2.e4*e2.e5*ss1*ss13^-1 + k1.e3*k2.e1*k2.e4*e2.e5*ss3*ss13^-1 - k1.e3*k2.e1*k2.e4*e2.e5*ss5*ss13^-1 + k1.e3*k2.e1*k2.e4*e2.e5*ss1^-1*ss3 - k1.e3*k2.e1*k2.e4*e2.e5 + k1.e3*k2.e1*k2.e5*e2.e4*ss1*ss13^-1 - k1.e3*k2.e1*k2.e5*e2.e4*ss3*ss13^-1 + k1.e3*k2.e1*k2.e5*e2.e4*ss5*ss13^-1 - k1.e3*k2.e1*k2.e5*e2.e4*ss1^-1*ss3 + k1.e3*k2.e1*k2.e5*e2.e4 + k1.e3*k2.e1*k3.e4*e2.e5*ss2*ss13^-1 + k1.e3*k2.e1*k3.e4*e2.e5*ss3*ss13^-1 - k1.e3*k2.e1*k3.e4*e2.e5*ss5*ss13^-1 + k1.e3*k2.e1*k3.e4*e2.e5*ss1^-1*ss3 + k1.e3*k2.e1*k3.e4*e2.e5*ss1^-1*ss4 + k1.e3*k2.e1*k3.e5*e2.e4*ss1*ss13^-1 - k1.e3*k2.e1*k3.e5*e2.e4*ss3*ss13^-1 + k1.e3*k2.e1*k3.e5*e2.e4*ss5*ss13^-1 - k1.e3*k2.e1*k3.e5*e2.e4*ss1^-1*ss3 + k1.e3*k2.e1*k3.e5*e2.e4 + k1.e3*k2.e1*k4.e2*e4.e5*ss1*ss13^-1 - k1.e3*k2.e1*k4.e2*e4.e5*ss3*ss13^-1 + k1.e3*k2.e1*k4.e2*e4.e5*ss5*ss13^-1 - k1.e3*k2.e1*k4.e2*e4.e5*ss1^-1*ss3 + k1.e3*k2.e1*k4.e2*e4.e5 + k1.e3*k2.e4*k3.e2*e1.e5*ss1*ss13^-1 - k1.e3*k2.e4*k3.e2*e1.e5*ss3*ss13^-1 + k1.e3*k2.e4*k3.e2*e1.e5*ss5*ss13^-1 + k1.e3*k2.e4*k3.e2*e1.e5*ss2^-1*ss4 + k1.e3*k2.e4*k3.e2*e1.e5*ss2^-1*ss5 - k1.e3*k2.e4*k3.e5*e1.e2*ss1*ss13^-1 + k1.e3*k2.e4*k3.e5*e1.e2*ss3*ss13^-1 - k1.e3*k2.e4*k3.e5*e1.e2*ss5*ss13^-1 + k1.e3*k2.e4*k3.e5*e1.e2*ss1^-1*ss3 - k1.e3*k2.e4*k3.e5*e1.e2 - k1.e3*k2.e4*k4.e1*e2.e5*ss1*ss13^-1 - k1.e3*k2.e4*k4.e1*e2.e5*ss2*ss13^-1 - k1.e3*k2.e4*k4.e1*e2.e5 + k1.e3*k2.e5*k3.e2*e1.e4*ss2*ss13^-1 + k1.e3*k2.e5*k3.e2*e1.e4*ss3*ss13^-1 - k1.e3*k2.e5*k3.e2*e1.e4*ss5*ss13^-1 - k1.e3*k2.e5*k3.e2*e1.e4*ss2^-1*ss5 + k1.e3*k2.e5*k3.e2*e1.e4 - k1.e3*k2.e5*k3.e4*e1.e2*ss2*ss13^-1 - k1.e3*k2.e5*k3.e4*e1.e2*ss3*ss13^-1 + k1.e3*k2.e5*k3.e4*e1.e2*ss5*ss13^-1 - k1.e3*k2.e5*k3.e4*e1.e2*ss1^-1*ss3 - k1.e3*k2.e5*k3.e4*e1.e2*ss1^-1*ss4 + k1.e3*k2.e5*k4.e1*e2.e4*ss1*ss13^-1 + k1.e3*k2.e5*k4.e1*e2.e4*ss2*ss13^-1 + k1.e3*k2.e5*k4.e1*e2.e4 - k1.e3*k3.e2*k3.e4*e1.e5*ss2*ss13^-1 - k1.e3*k3.e2*k3.e4*e1.e5*ss3*ss13^-1 + k1.e3*k3.e2*k3.e4*e1.e5*ss5*ss13^-1 + k1.e3*k3.e2*k3.e4*e1.e5*ss2^-1*ss4 + k1.e3*k3.e2*k3.e4*e1.e5*ss2^-1*ss5 - k1.e3*k3.e2*k3.e4*e1.e5 + k1.e3*k3.e2*k3.e5*e1.e4*ss2*ss13^-1 + k1.e3*k3.e2*k3.e5*e1.e4*ss3*ss13^-1 - k1.e3*k3.e2*k3.e5*e1.e4*ss5*ss13^-1 - k1.e3*k3.e2*k3.e5*e1.e4*ss2^-1*ss5 + k1.e3*k3.e2*k3.e5*e1.e4 + k1.e3*k3.e2*k4.e1*e4.e5*ss2*ss13^-1 + k1.e3*k3.e2*k4.e1*e4.e5*ss3*ss13^-1 - k1.e3*k3.e2*k4.e1*e4.e5*ss5*ss13^-1 - k1.e3*k3.e2*k4.e1*e4.e5*ss2^-1*ss5 + k1.e3*k3.e2*k4.e1*e4.e5 - k1.e3*k3.e4*k4.e2*e1.e5*ss1*ss13^-1 - k1.e3*k3.e4*k4.e2*e1.e5*ss2*ss13^-1 - k1.e3*k3.e4*k4.e2*e1.e5 + k1.e3*k3.e5*k4.e2*e1.e4*ss1*ss13^-1 + k1.e3*k3.e5*k4.e2*e1.e4*ss2*ss13^-1 + k1.e3*k3.e5*k4.e2*e1.e4 + k1.e3*k4.e1*k4.e2*e4.e5*ss1*ss13^-1 + k1.e3*k4.e1*k4.e2*e4.e5*ss2*ss13^-1 + k1.e3*k4.e1*k4.e2*e4.e5 + k1.e3*e1.e2*e4.e5*ss1*ss2*ss13^-1 + k1.e3*e1.e2*e4.e5*ss1*ss3*ss13^-1 - k1.e3*e1.e2*e4.e5*ss1*ss5*ss13^-1 - k1.e3*e1.e2*e4.e5*ss2*ss3*ss13^-1 + k1.e3*e1.e2*e4.e5*ss2*ss5*ss13^-1 + k1.e3*e1.e2*e4.e5*ss2 - k1.e3*e1.e2*e4.e5*ss3^2*ss13^-1 + 2*k1.e3*e1.e2*e4.e5*ss3*ss5*ss13^-1 + k1.e3*e1.e2*e4.e5*ss3 - k1.e3*e1.e2*e4.e5*ss5^2*ss13^-1 - k1.e3*e1.e2*e4.e5*ss5 - k1.e3*e1.e2*e4.e5*ss1^-1*ss2*ss3 - k1.e3*e1.e2*e4.e5*ss1^-1*ss3^2 + k1.e3*e1.e2*e4.e5*ss1^-1*ss3*ss5 - k1.e3*e1.e4*e2.e5*ss1*ss2*ss13^-1 - k1.e3*e1.e4*e2.e5*ss1*ss3*ss13^-1 + k1.e3*e1.e4*e2.e5*ss1*ss5*ss13^-1 - k1.e3*e1.e4*e2.e5*ss2^2*ss13^-1 - k1.e3*e1.e4*e2.e5*ss2*ss3*ss13^-1 + k1.e3*e1.e4*e2.e5*ss2*ss5*ss13^-1 - k1.e3*e1.e4*e2.e5*ss2 - k1.e3*e1.e4*e2.e5*ss3 + k1.e3*e1.e4*e2.e5*ss5 - k1.e3*e1.e5*e2.e4*ss1^2*ss13^-1 - k1.e3*e1.e5*e2.e4*ss1*ss2*ss13^-1 + k1.e3*e1.e5*e2.e4*ss1*ss3*ss13^-1 - k1.e3*e1.e5*e2.e4*ss1*ss5*ss13^-1 - k1.e3*e1.e5*e2.e4*ss1 + k1.e3*e1.e5*e2.e4*ss2*ss3*ss13^-1 - k1.e3*e1.e5*e2.e4*ss2*ss5*ss13^-1 + k1.e3*e1.e5*e2.e4*ss3 - k1.e3*e1.e5*e2.e4*ss4 - k1.e3*e1.e5*e2.e4*ss5 + k1.e4*k2.e1*k2.e3*e2.e5*ss2^-1*ss5 + k1.e4*k2.e1*k2.e3*e2.e5*ss1^-1*ss3 - k1.e4*k2.e1*k2.e3*e2.e5 - k1.e4*k2.e1*k3.e2*e3.e5*ss2^-1*ss5 - k1.e4*k2.e1*k3.e2*e3.e5*ss1^-1*ss3 + k1.e4*k2.e1*k3.e2*e3.e5 + k1.e4*k2.e1*k3.e5*e2.e3*ss2^-1*ss5 + k1.e4*k2.e1*k3.e5*e2.e3*ss1^-1*ss3 - k1.e4*k2.e1*k3.e5*e2.e3 - k1.e4*k2.e1*k4.e3*e2.e5*ss1^-1*ss4 - k1.e4*k2.e3*k2.e5*e1.e2*ss2^-1*ss5 - k1.e4*k2.e3*k2.e5*e1.e2*ss1^-1*ss3 + k1.e4*k2.e3*k2.e5*e1.e2 - k1.e4*k2.e3*k3.e1*e2.e5*ss2*ss13^-1 - k1.e4*k2.e3*k3.e1*e2.e5*ss3*ss13^-1 + k1.e4*k2.e3*k3.e1*e2.e5*ss5*ss13^-1 + k1.e4*k2.e3*k3.e1*e2.e5*ss2^-1*ss5 - k1.e4*k2.e3*k3.e1*e2.e5 - k1.e4*k2.e3*k3.e5*e1.e2*ss2^-1*ss5 - k1.e4*k2.e3*k3.e5*e1.e2*ss1^-1*ss3 + k1.e4*k2.e3*k3.e5*e1.e2 + k1.e4*k2.e3*k4.e2*e1.e5*ss2^-1*ss4 + k1.e4*k2.e5*k3.e1*e2.e3*ss2*ss13^-1 + k1.e4*k2.e5*k3.e1*e2.e3*ss3*ss13^-1 - k1.e4*k2.e5*k3.e1*e2.e3*ss5*ss13^-1 - k1.e4*k2.e5*k3.e1*e2.e3*ss2^-1*ss5 + k1.e4*k2.e5*k3.e1*e2.e3 - k1.e4*k2.e5*k3.e2*e1.e3*ss2*ss13^-1 - k1.e4*k2.e5*k3.e2*e1.e3*ss3*ss13^-1 + k1.e4*k2.e5*k3.e2*e1.e3*ss5*ss13^-1 + k1.e4*k2.e5*k3.e2*e1.e3*ss2^-1*ss5 - k1.e4*k2.e5*k3.e2*e1.e3 + k1.e4*k2.e5*k4.e3*e1.e2*ss1^-1*ss4 + k1.e4*k3.e1*k3.e2*e3.e5*ss2*ss13^-1 + k1.e4*k3.e1*k3.e2*e3.e5*ss3*ss13^-1 - k1.e4*k3.e1*k3.e2*e3.e5*ss5*ss13^-1 - k1.e4*k3.e1*k3.e2*e3.e5*ss2^-1*ss5 + k1.e4*k3.e1*k3.e2*e3.e5 + k1.e4*k3.e1*k4.e2*e3.e5*ss1*ss13^-1 + k1.e4*k3.e1*k4.e2*e3.e5*ss2*ss13^-1 + k1.e4*k3.e1*k4.e2*e3.e5 - k1.e4*k3.e2*k3.e5*e1.e3*ss2*ss13^-1 - k1.e4*k3.e2*k3.e5*e1.e3*ss3*ss13^-1 + k1.e4*k3.e2*k3.e5*e1.e3*ss5*ss13^-1 + k1.e4*k3.e2*k3.e5*e1.e3*ss2^-1*ss5 - k1.e4*k3.e2*k3.e5*e1.e3 - k1.e4*k3.e2*k4.e3*e1.e5*ss2^-1*ss4 - k1.e4*k3.e5*k4.e2*e1.e3*ss1*ss13^-1 - k1.e4*k3.e5*k4.e2*e1.e3*ss2*ss13^-1 - k1.e4*k3.e5*k4.e2*e1.e3 - k1.e4*e1.e2*e3.e5*ss2 + k1.e4*e1.e2*e3.e5*ss5 + k1.e4*e1.e2*e3.e5*ss1^-1*ss2*ss3 + k1.e4*e1.e3*e2.e5*ss2^2*ss13^-1 + k1.e4*e1.e3*e2.e5*ss2*ss3*ss13^-1 - k1.e4*e1.e3*e2.e5*ss2*ss5*ss13^-1 + k1.e4*e1.e3*e2.e5*ss2 - k1.e4*e1.e3*e2.e5*ss5 - k1.e4*e1.e5*e2.e3*ss1 + k1.e4*e1.e5*e2.e3*ss1*ss2^-1*ss5 + k1.e4*e1.e5*e2.e3*ss3 + k1.e4*e1.e5*e2.e3*ss4 + k1.e4*e1.e5*e2.e3*ss2^-1*ss3*ss4 - k1.e4*e1.e5*e2.e3*ss2^-1*ss4*ss5 - k1.e5*k2.e1*k2.e3*e2.e4*ss2^-1*ss4 - k1.e5*k2.e1*k2.e3*e2.e4*ss2^-1*ss5 - k1.e5*k2.e1*k2.e3*e2.e4*ss1^-1*ss3 + k1.e5*k2.e1*k2.e3*e2.e4 + k1.e5*k2.e1*k3.e2*e3.e4*ss2^-1*ss4 + k1.e5*k2.e1*k3.e2*e3.e4*ss2^-1*ss5 + k1.e5*k2.e1*k3.e2*e3.e4*ss1^-1*ss3 + k1.e5*k2.e1*k3.e2*e3.e4*ss1^-1*ss4 - k1.e5*k2.e1*k3.e2*e3.e4 - k1.e5*k2.e1*k3.e4*e2.e3*ss2^-1*ss4 - k1.e5*k2.e1*k3.e4*e2.e3*ss2^-1*ss5 - k1.e5*k2.e1*k3.e4*e2.e3*ss1^-1*ss3 - k1.e5*k2.e1*k3.e4*e2.e3*ss1^-1*ss4 + k1.e5*k2.e1*k3.e4*e2.e3 + k1.e5*k2.e1*k4.e3*e2.e4*ss1^-1*ss4 + k1.e5*k2.e3*k2.e4*e1.e2*ss2^-1*ss4 + k1.e5*k2.e3*k2.e4*e1.e2*ss2^-1*ss5 + k1.e5*k2.e3*k2.e4*e1.e2*ss1^-1*ss3 - k1.e5*k2.e3*k2.e4*e1.e2 - k1.e5*k2.e3*k3.e1*e2.e4*ss1*ss13^-1 + k1.e5*k2.e3*k3.e1*e2.e4*ss3*ss13^-1 - k1.e5*k2.e3*k3.e1*e2.e4*ss5*ss13^-1 - k1.e5*k2.e3*k3.e1*e2.e4*ss2^-1*ss4 - k1.e5*k2.e3*k3.e1*e2.e4*ss2^-1*ss5 + k1.e5*k2.e3*k3.e4*e1.e2*ss2^-1*ss4 + k1.e5*k2.e3*k3.e4*e1.e2*ss2^-1*ss5 + k1.e5*k2.e3*k3.e4*e1.e2*ss1^-1*ss3 + k1.e5*k2.e3*k3.e4*e1.e2*ss1^-1*ss4 - k1.e5*k2.e3*k3.e4*e1.e2 - k1.e5*k2.e3*k4.e2*e1.e4*ss2^-1*ss4 + k1.e5*k2.e4*k3.e1*e2.e3*ss1*ss13^-1 - k1.e5*k2.e4*k3.e1*e2.e3*ss3*ss13^-1 + k1.e5*k2.e4*k3.e1*e2.e3*ss5*ss13^-1 + k1.e5*k2.e4*k3.e1*e2.e3*ss2^-1*ss4 + k1.e5*k2.e4*k3.e1*e2.e3*ss2^-1*ss5 - k1.e5*k2.e4*k3.e2*e1.e3*ss1*ss13^-1 + k1.e5*k2.e4*k3.e2*e1.e3*ss3*ss13^-1 - k1.e5*k2.e4*k3.e2*e1.e3*ss5*ss13^-1 - k1.e5*k2.e4*k3.e2*e1.e3*ss2^-1*ss4 - k1.e5*k2.e4*k3.e2*e1.e3*ss2^-1*ss5 - k1.e5*k2.e4*k4.e3*e1.e2*ss1^-1*ss4 - k1.e5*k3.e1*k3.e2*e3.e4*ss2*ss13^-1 - k1.e5*k3.e1*k3.e2*e3.e4*ss3*ss13^-1 + k1.e5*k3.e1*k3.e2*e3.e4*ss5*ss13^-1 + k1.e5*k3.e1*k3.e2*e3.e4*ss2^-1*ss4 + k1.e5*k3.e1*k3.e2*e3.e4*ss2^-1*ss5 - k1.e5*k3.e1*k3.e2*e3.e4 - k1.e5*k3.e1*k4.e2*e3.e4*ss1*ss13^-1 - k1.e5*k3.e1*k4.e2*e3.e4*ss2*ss13^-1 - k1.e5*k3.e1*k4.e2*e3.e4 + k1.e5*k3.e2*k3.e4*e1.e3*ss2*ss13^-1 + k1.e5*k3.e2*k3.e4*e1.e3*ss3*ss13^-1 - k1.e5*k3.e2*k3.e4*e1.e3*ss5*ss13^-1 - k1.e5*k3.e2*k3.e4*e1.e3*ss2^-1*ss4 - k1.e5*k3.e2*k3.e4*e1.e3*ss2^-1*ss5 + k1.e5*k3.e2*k3.e4*e1.e3 + k1.e5*k3.e2*k4.e3*e1.e4*ss2^-1*ss4 + k1.e5*k3.e4*k4.e2*e1.e3*ss1*ss13^-1 + k1.e5*k3.e4*k4.e2*e1.e3*ss2*ss13^-1 + k1.e5*k3.e4*k4.e2*e1.e3 + k1.e5*e1.e2*e3.e4*ss2 - k1.e5*e1.e2*e3.e4*ss4 - k1.e5*e1.e2*e3.e4*ss5 - k1.e5*e1.e2*e3.e4*ss1^-1*ss2*ss3 - k1.e5*e1.e2*e3.e4*ss1^-1*ss2*ss4 + k1.e5*e1.e3*e2.e4*ss1*ss2*ss13^-1 - k1.e5*e1.e3*e2.e4*ss2*ss3*ss13^-1 + k1.e5*e1.e3*e2.e4*ss2*ss5*ss13^-1 + k1.e5*e1.e3*e2.e4*ss4 + k1.e5*e1.e3*e2.e4*ss5 + k1.e5*e1.e4*e2.e3*ss1 - k1.e5*e1.e4*e2.e3*ss1*ss2^-1*ss5 - k1.e5*e1.e4*e2.e3*ss3 - k1.e5*e1.e4*e2.e3*ss4 - k1.e5*e1.e4*e2.e3*ss2^-1*ss3*ss4 + k1.e5*e1.e4*e2.e3*ss2^-1*ss4*ss5 + k2.e1*k2.e3*k2.e4*e2.e5*ss2^-1*ss4 + k2.e1*k2.e3*k2.e4*e2.e5*ss2^-1*ss5 + k2.e1*k2.e3*k2.e4*e2.e5*ss1^-1*ss3 - k2.e1*k2.e3*k2.e4*e2.e5 - k2.e1*k2.e3*k2.e5*e2.e4*ss2^-1*ss4 - k2.e1*k2.e3*k2.e5*e2.e4*ss2^-1*ss5 - k2.e1*k2.e3*k2.e5*e2.e4*ss1^-1*ss3 + k2.e1*k2.e3*k2.e5*e2.e4 + k2.e1*k2.e3*k3.e4*e2.e5*ss2^-1*ss4 + k2.e1*k2.e3*k3.e4*e2.e5*ss2^-1*ss5 + k2.e1*k2.e3*k3.e4*e2.e5*ss1^-1*ss3 + k2.e1*k2.e3*k3.e4*e2.e5*ss1^-1*ss4 - k2.e1*k2.e3*k3.e4*e2.e5 - k2.e1*k2.e3*k3.e5*e2.e4*ss2^-1*ss4 - k2.e1*k2.e3*k3.e5*e2.e4*ss2^-1*ss5 - k2.e1*k2.e3*k3.e5*e2.e4*ss1^-1*ss3 + k2.e1*k2.e3*k3.e5*e2.e4 - k2.e1*k2.e3*k4.e2*e4.e5*ss2^-1*ss4 - k2.e1*k2.e3*k4.e2*e4.e5*ss2^-1*ss5 - k2.e1*k2.e3*k4.e2*e4.e5*ss1^-1*ss3 + k2.e1*k2.e3*k4.e2*e4.e5 - k2.e1*k2.e4*k3.e2*e3.e5*ss2^-1*ss4 - k2.e1*k2.e4*k3.e2*e3.e5*ss2^-1*ss5 - k2.e1*k2.e4*k3.e2*e3.e5*ss1^-1*ss3 + k2.e1*k2.e4*k3.e2*e3.e5 + k2.e1*k2.e4*k3.e5*e2.e3*ss2^-1*ss4 + k2.e1*k2.e4*k3.e5*e2.e3*ss2^-1*ss5 + k2.e1*k2.e4*k3.e5*e2.e3*ss1^-1*ss3 - k2.e1*k2.e4*k3.e5*e2.e3 - k2.e1*k2.e4*k4.e3*e2.e5*ss1^-1*ss4 + k2.e1*k2.e5*k3.e2*e3.e4*ss2^-1*ss4 + k2.e1*k2.e5*k3.e2*e3.e4*ss2^-1*ss5 + k2.e1*k2.e5*k3.e2*e3.e4*ss1^-1*ss3 + k2.e1*k2.e5*k3.e2*e3.e4*ss1^-1*ss4 - k2.e1*k2.e5*k3.e2*e3.e4 - k2.e1*k2.e5*k3.e4*e2.e3*ss2^-1*ss4 - k2.e1*k2.e5*k3.e4*e2.e3*ss2^-1*ss5 - k2.e1*k2.e5*k3.e4*e2.e3*ss1^-1*ss3 - k2.e1*k2.e5*k3.e4*e2.e3*ss1^-1*ss4 + k2.e1*k2.e5*k3.e4*e2.e3 + k2.e1*k2.e5*k4.e3*e2.e4*ss1^-1*ss4 - k2.e1*k3.e2*k3.e4*e3.e5*ss2^-1*ss4 - k2.e1*k3.e2*k3.e4*e3.e5*ss2^-1*ss5 - k2.e1*k3.e2*k3.e4*e3.e5*ss1^-1*ss3 - k2.e1*k3.e2*k3.e4*e3.e5*ss1^-1*ss4 + k2.e1*k3.e2*k3.e4*e3.e5 + k2.e1*k3.e2*k3.e5*e3.e4*ss2^-1*ss4 + k2.e1*k3.e2*k3.e5*e3.e4*ss2^-1*ss5 + k2.e1*k3.e2*k3.e5*e3.e4*ss1^-1*ss3 + k2.e1*k3.e2*k3.e5*e3.e4*ss1^-1*ss4 - k2.e1*k3.e2*k3.e5*e3.e4 + k2.e1*k3.e2*k4.e3*e4.e5*ss2^-1*ss4 + k2.e1*k3.e2*k4.e3*e4.e5*ss2^-1*ss5 + k2.e1*k3.e2*k4.e3*e4.e5*ss1^-1*ss3 + k2.e1*k3.e2*k4.e3*e4.e5*ss1^-1*ss4 - k2.e1*k3.e2*k4.e3*e4.e5 - k2.e1*k3.e4*k4.e2*e3.e5*ss1^-1*ss4 + k2.e1*k3.e5*k4.e2*e3.e4*ss1^-1*ss4 + k2.e1*k4.e2*k4.e3*e4.e5*ss1^-1*ss4 + k2.e1*e2.e3*e4.e5*ss3 - k2.e1*e2.e3*e4.e5*ss2^-1*ss3*ss4 - k2.e1*e2.e3*e4.e5*ss2^-1*ss3*ss5 - k2.e1*e2.e3*e4.e5*ss1^-1*ss3^2 - k2.e1*e2.e3*e4.e5*ss1^-1*ss3*ss4 + k2.e1*e2.e4*e3.e5*ss1^-1*ss3*ss4 - k2.e1*e2.e5*e3.e4*ss1^-1*ss3*ss4 - k2.e1*e2.e5*e3.e4*ss1^-1*ss4^2 + k2.e3*k2.e4*k3.e1*e2.e5*ss1*ss13^-1 - k2.e3*k2.e4*k3.e1*e2.e5*ss3*ss13^-1 + k2.e3*k2.e4*k3.e1*e2.e5*ss5*ss13^-1 + k2.e3*k2.e4*k3.e1*e2.e5*ss2^-1*ss4 + k2.e3*k2.e4*k3.e1*e2.e5*ss2^-1*ss5 + k2.e3*k2.e4*k4.e1*e2.e5*ss2^-1*ss4 - k2.e3*k2.e5*k3.e1*e2.e4*ss1*ss13^-1 + k2.e3*k2.e5*k3.e1*e2.e4*ss3*ss13^-1 - k2.e3*k2.e5*k3.e1*e2.e4*ss5*ss13^-1 - k2.e3*k2.e5*k3.e1*e2.e4*ss2^-1*ss4 - k2.e3*k2.e5*k3.e1*e2.e4*ss2^-1*ss5 - k2.e3*k2.e5*k4.e1*e2.e4*ss2^-1*ss4 - k2.e3*k3.e1*k3.e4*e2.e5*ss2*ss13^-1 - k2.e3*k3.e1*k3.e4*e2.e5*ss3*ss13^-1 + k2.e3*k3.e1*k3.e4*e2.e5*ss5*ss13^-1 + k2.e3*k3.e1*k3.e4*e2.e5*ss2^-1*ss4 + k2.e3*k3.e1*k3.e4*e2.e5*ss2^-1*ss5 - k2.e3*k3.e1*k3.e4*e2.e5 - k2.e3*k3.e1*k3.e5*e2.e4*ss1*ss13^-1 + k2.e3*k3.e1*k3.e5*e2.e4*ss3*ss13^-1 - k2.e3*k3.e1*k3.e5*e2.e4*ss5*ss13^-1 - k2.e3*k3.e1*k3.e5*e2.e4*ss2^-1*ss4 - k2.e3*k3.e1*k3.e5*e2.e4*ss2^-1*ss5 - k2.e3*k3.e1*k4.e2*e4.e5*ss1*ss13^-1 + k2.e3*k3.e1*k4.e2*e4.e5*ss3*ss13^-1 - k2.e3*k3.e1*k4.e2*e4.e5*ss5*ss13^-1 - k2.e3*k3.e1*k4.e2*e4.e5*ss2^-1*ss4 - k2.e3*k3.e1*k4.e2*e4.e5*ss2^-1*ss5 + k2.e3*k3.e4*k4.e1*e2.e5*ss2^-1*ss4 - k2.e3*k3.e5*k4.e1*e2.e4*ss2^-1*ss4 - k2.e3*k4.e1*k4.e2*e4.e5*ss2^-1*ss4 + k2.e3*e1.e2*e4.e5*ss2 - k2.e3*e1.e2*e4.e5*ss4 - 2*k2.e3*e1.e2*e4.e5*ss5 + k2.e3*e1.e2*e4.e5*ss2^-1*ss4*ss5 + k2.e3*e1.e2*e4.e5*ss2^-1*ss5^2 - k2.e3*e1.e2*e4.e5*ss1^-1*ss2*ss3 + k2.e3*e1.e2*e4.e5*ss1^-1*ss3*ss4 + k2.e3*e1.e2*e4.e5*ss1^-1*ss3*ss5 + k2.e3*e1.e4*e2.e5*ss4 - k2.e3*e1.e4*e2.e5*ss2^-1*ss4*ss5 - k2.e3*e1.e5*e2.e4*ss4 + k2.e3*e1.e5*e2.e4*ss2^-1*ss4^2 + k2.e3*e1.e5*e2.e4*ss2^-1*ss4*ss5 - k2.e4*k3.e1*k3.e2*e3.e5*ss1*ss13^-1 + k2.e4*k3.e1*k3.e2*e3.e5*ss3*ss13^-1 - k2.e4*k3.e1*k3.e2*e3.e5*ss5*ss13^-1 - k2.e4*k3.e1*k3.e2*e3.e5*ss2^-1*ss4 - k2.e4*k3.e1*k3.e2*e3.e5*ss2^-1*ss5 + k2.e4*k3.e1*k3.e5*e2.e3*ss1*ss13^-1 - k2.e4*k3.e1*k3.e5*e2.e3*ss3*ss13^-1 + k2.e4*k3.e1*k3.e5*e2.e3*ss5*ss13^-1 + k2.e4*k3.e1*k3.e5*e2.e3*ss2^-1*ss4 + k2.e4*k3.e1*k3.e5*e2.e3*ss2^-1*ss5 + k2.e4*k3.e1*k4.e3*e2.e5*ss1*ss13^-1 + k2.e4*k3.e1*k4.e3*e2.e5*ss2*ss13^-1 + k2.e4*k3.e1*k4.e3*e2.e5 - k2.e4*k3.e2*k4.e1*e3.e5*ss2^-1*ss4 + k2.e4*k3.e5*k4.e1*e2.e3*ss2^-1*ss4 - k2.e4*e1.e2*e3.e5*ss2 + k2.e4*e1.e2*e3.e5*ss4 + k2.e4*e1.e2*e3.e5*ss5 + k2.e4*e1.e2*e3.e5*ss1^-1*ss2*ss3 - k2.e4*e1.e2*e3.e5*ss1^-1*ss3*ss4 - k2.e4*e1.e3*e2.e5*ss1*ss2*ss13^-1 - k2.e4*e1.e3*e2.e5*ss1*ss3*ss13^-1 - k2.e4*e1.e3*e2.e5*ss2*ss5*ss13^-1 - k2.e4*e1.e3*e2.e5*ss3 - k2.e4*e1.e3*e2.e5*ss4 - k2.e4*e1.e3*e2.e5*ss5 - k2.e4*e1.e5*e2.e3*ss1 + k2.e4*e1.e5*e2.e3*ss1*ss2^-1*ss4 + k2.e4*e1.e5*e2.e3*ss1*ss2^-1*ss5 + k2.e4*e1.e5*e2.e3*ss3 + k2.e4*e1.e5*e2.e3*ss4 - k2.e4*e1.e5*e2.e3*ss2^-1*ss4^2 - k2.e4*e1.e5*e2.e3*ss2^-1*ss4*ss5 - k2.e5*k3.e1*k3.e2*e3.e4*ss2*ss13^-1 - k2.e5*k3.e1*k3.e2*e3.e4*ss3*ss13^-1 + k2.e5*k3.e1*k3.e2*e3.e4*ss5*ss13^-1 + k2.e5*k3.e1*k3.e2*e3.e4*ss2^-1*ss4 + k2.e5*k3.e1*k3.e2*e3.e4*ss2^-1*ss5 - k2.e5*k3.e1*k3.e2*e3.e4 + k2.e5*k3.e1*k3.e4*e2.e3*ss2*ss13^-1 + k2.e5*k3.e1*k3.e4*e2.e3*ss3*ss13^-1 - k2.e5*k3.e1*k3.e4*e2.e3*ss5*ss13^-1 - k2.e5*k3.e1*k3.e4*e2.e3*ss2^-1*ss4 - k2.e5*k3.e1*k3.e4*e2.e3*ss2^-1*ss5 + k2.e5*k3.e1*k3.e4*e2.e3 - k2.e5*k3.e1*k4.e3*e2.e4*ss1*ss13^-1 - k2.e5*k3.e1*k4.e3*e2.e4*ss2*ss13^-1 - k2.e5*k3.e1*k4.e3*e2.e4 + k2.e5*k3.e2*k4.e1*e3.e4*ss2^-1*ss4 - k2.e5*k3.e4*k4.e1*e2.e3*ss2^-1*ss4 + k2.e5*e1.e2*e3.e4*ss2 - k2.e5*e1.e2*e3.e4*ss4 - k2.e5*e1.e2*e3.e4*ss5 - k2.e5*e1.e2*e3.e4*ss1^-1*ss2*ss3 - k2.e5*e1.e2*e3.e4*ss1^-1*ss2*ss4 + k2.e5*e1.e2*e3.e4*ss1^-1*ss3*ss4 + k2.e5*e1.e2*e3.e4*ss1^-1*ss4^2 + k2.e5*e1.e3*e2.e4*ss1*ss2*ss13^-1 + k2.e5*e1.e3*e2.e4*ss1*ss3*ss13^-1 + k2.e5*e1.e3*e2.e4*ss2*ss5*ss13^-1 + k2.e5*e1.e3*e2.e4*ss3 + k2.e5*e1.e3*e2.e4*ss4 + k2.e5*e1.e3*e2.e4*ss5 + k2.e5*e1.e4*e2.e3*ss1 - k2.e5*e1.e4*e2.e3*ss1*ss2^-1*ss5 - k2.e5*e1.e4*e2.e3*ss3 - k2.e5*e1.e4*e2.e3*ss4 + k2.e5*e1.e4*e2.e3*ss2^-1*ss4*ss5 + k3.e1*k3.e2*k3.e4*e3.e5*ss2*ss13^-1 + k3.e1*k3.e2*k3.e4*e3.e5*ss3*ss13^-1 - k3.e1*k3.e2*k3.e4*e3.e5*ss5*ss13^-1 - k3.e1*k3.e2*k3.e4*e3.e5*ss2^-1*ss4 - k3.e1*k3.e2*k3.e4*e3.e5*ss2^-1*ss5 + k3.e1*k3.e2*k3.e4*e3.e5 - k3.e1*k3.e2*k3.e5*e3.e4*ss2*ss13^-1 - k3.e1*k3.e2*k3.e5*e3.e4*ss3*ss13^-1 + k3.e1*k3.e2*k3.e5*e3.e4*ss5*ss13^-1 + k3.e1*k3.e2*k3.e5*e3.e4*ss2^-1*ss4 + k3.e1*k3.e2*k3.e5*e3.e4*ss2^-1*ss5 - k3.e1*k3.e2*k3.e5*e3.e4 - k3.e1*k3.e2*k4.e3*e4.e5*ss2*ss13^-1 - k3.e1*k3.e2*k4.e3*e4.e5*ss3*ss13^-1 + k3.e1*k3.e2*k4.e3*e4.e5*ss5*ss13^-1 + k3.e1*k3.e2*k4.e3*e4.e5*ss2^-1*ss4 + k3.e1*k3.e2*k4.e3*e4.e5*ss2^-1*ss5 - k3.e1*k3.e2*k4.e3*e4.e5 + k3.e1*k3.e4*k4.e2*e3.e5*ss1*ss13^-1 + k3.e1*k3.e4*k4.e2*e3.e5*ss2*ss13^-1 + k3.e1*k3.e4*k4.e2*e3.e5 - k3.e1*k3.e5*k4.e2*e3.e4*ss1*ss13^-1 - k3.e1*k3.e5*k4.e2*e3.e4*ss2*ss13^-1 - k3.e1*k3.e5*k4.e2*e3.e4 - k3.e1*k4.e2*k4.e3*e4.e5*ss1*ss13^-1 - k3.e1*k4.e2*k4.e3*e4.e5*ss2*ss13^-1 - k3.e1*k4.e2*k4.e3*e4.e5 - k3.e1*e2.e3*e4.e5*ss1*ss2*ss13^-1 - k3.e1*e2.e3*e4.e5*ss1*ss3*ss13^-1 + k3.e1*e2.e3*e4.e5*ss1*ss5*ss13^-1 + k3.e1*e2.e3*e4.e5*ss2*ss3*ss13^-1 - k3.e1*e2.e3*e4.e5*ss2*ss5*ss13^-1 + k3.e1*e2.e3*e4.e5*ss3^2*ss13^-1 - 2*k3.e1*e2.e3*e4.e5*ss3*ss5*ss13^-1 - k3.e1*e2.e3*e4.e5*ss4 + k3.e1*e2.e3*e4.e5*ss5^2*ss13^-1 - k3.e1*e2.e3*e4.e5*ss5 - k3.e1*e2.e3*e4.e5*ss2^-1*ss3*ss4 - k3.e1*e2.e3*e4.e5*ss2^-1*ss3*ss5 + k3.e1*e2.e3*e4.e5*ss2^-1*ss4*ss5 + k3.e1*e2.e3*e4.e5*ss2^-1*ss5^2 + k3.e1*e2.e4*e3.e5*ss1^2*ss13^-1 + k3.e1*e2.e4*e3.e5*ss1*ss2*ss13^-1 - k3.e1*e2.e4*e3.e5*ss1*ss3*ss13^-1 + k3.e1*e2.e4*e3.e5*ss1*ss5*ss13^-1 + k3.e1*e2.e4*e3.e5*ss1 - k3.e1*e2.e4*e3.e5*ss2*ss3*ss13^-1 + k3.e1*e2.e4*e3.e5*ss2*ss5*ss13^-1 - k3.e1*e2.e4*e3.e5*ss3 + k3.e1*e2.e4*e3.e5*ss4 + k3.e1*e2.e4*e3.e5*ss5 + k3.e1*e2.e5*e3.e4*ss1*ss2*ss13^-1 + k3.e1*e2.e5*e3.e4*ss1*ss3*ss13^-1 - k3.e1*e2.e5*e3.e4*ss1*ss5*ss13^-1 + k3.e1*e2.e5*e3.e4*ss2^2*ss13^-1 + k3.e1*e2.e5*e3.e4*ss2*ss3*ss13^-1 - k3.e1*e2.e5*e3.e4*ss2*ss5*ss13^-1 + k3.e1*e2.e5*e3.e4*ss2 + k3.e1*e2.e5*e3.e4*ss3 - k3.e1*e2.e5*e3.e4*ss5 - k3.e2*k3.e4*k4.e1*e3.e5*ss2^-1*ss4 + k3.e2*k3.e5*k4.e1*e3.e4*ss2^-1*ss4 + k3.e2*k4.e1*k4.e3*e4.e5*ss2^-1*ss4 + k3.e2*e1.e3*e4.e5*ss1*ss2*ss13^-1 + k3.e2*e1.e3*e4.e5*ss1*ss3*ss13^-1 - k3.e2*e1.e3*e4.e5*ss1*ss5*ss13^-1 + k3.e2*e1.e3*e4.e5*ss2*ss5*ss13^-1 + k3.e2*e1.e3*e4.e5*ss3*ss5*ss13^-1 + k3.e2*e1.e3*e4.e5*ss3 + k3.e2*e1.e3*e4.e5*ss4 - k3.e2*e1.e3*e4.e5*ss5^2*ss13^-1 + k3.e2*e1.e3*e4.e5*ss5 - k3.e2*e1.e3*e4.e5*ss2^-1*ss4*ss5 - k3.e2*e1.e3*e4.e5*ss2^-1*ss5^2 - k3.e2*e1.e4*e3.e5*ss4 + k3.e2*e1.e4*e3.e5*ss2^-1*ss4*ss5 + k3.e2*e1.e5*e3.e4*ss4 - k3.e2*e1.e5*e3.e4*ss2^-1*ss4^2 - k3.e2*e1.e5*e3.e4*ss2^-1*ss4*ss5 - k3.e4*e1.e2*e3.e5*ss2 + k3.e4*e1.e2*e3.e5*ss4 + k3.e4*e1.e2*e3.e5*ss5 + k3.e4*e1.e2*e3.e5*ss1^-1*ss2*ss3 - k3.e4*e1.e2*e3.e5*ss1^-1*ss3*ss4 + k3.e4*e1.e2*e3.e5*ss1^-1*ss4*ss5 - k3.e4*e1.e3*e2.e5*ss1*ss2*ss13^-1 - k3.e4*e1.e3*e2.e5*ss1*ss3*ss13^-1 + k3.e4*e1.e3*e2.e5*ss1*ss5*ss13^-1 - k3.e4*e1.e3*e2.e5*ss3 - k3.e4*e1.e3*e2.e5*ss4 - k3.e4*e1.e5*e2.e3*ss1 + k3.e4*e1.e5*e2.e3*ss1*ss2^-1*ss4 + k3.e4*e1.e5*e2.e3*ss1*ss2^-1*ss5 + k3.e4*e1.e5*e2.e3*ss3 + k3.e4*e1.e5*e2.e3*ss4 + k3.e5*e1.e2*e3.e4*ss2 - k3.e5*e1.e2*e3.e4*ss4 - k3.e5*e1.e2*e3.e4*ss5 - k3.e5*e1.e2*e3.e4*ss1^-1*ss2*ss3 + k3.e5*e1.e2*e3.e4*ss1^-1*ss3*ss4 - k3.e5*e1.e2*e3.e4*ss1^-1*ss4*ss5 - k3.e5*e1.e3*e2.e4*ss1^2*ss13^-1 + k3.e5*e1.e3*e2.e4*ss1*ss3*ss13^-1 - k3.e5*e1.e3*e2.e4*ss1*ss5*ss13^-1 - k3.e5*e1.e3*e2.e4*ss1 + k3.e5*e1.e3*e2.e4*ss3 + k3.e5*e1.e4*e2.e3*ss1 - k3.e5*e1.e4*e2.e3*ss1*ss2^-1*ss5 - k3.e5*e1.e4*e2.e3*ss3 + k4.e1*e2.e3*e4.e5*ss1 - k4.e1*e2.e3*e4.e5*ss1*ss2^-1*ss5 - k4.e1*e2.e3*e4.e5*ss3 - k4.e1*e2.e3*e4.e5*ss4 - k4.e1*e2.e3*e4.e5*ss2^-1*ss3*ss4 + k4.e1*e2.e3*e4.e5*ss2^-1*ss4*ss5 + k4.e1*e2.e4*e3.e5*ss4 - k4.e1*e2.e5*e3.e4*ss4 + k4.e2*e1.e3*e4.e5*ss1*ss2*ss13^-1 + k4.e2*e1.e3*e4.e5*ss1*ss3*ss13^-1 + k4.e2*e1.e3*e4.e5*ss2*ss5*ss13^-1 + k4.e2*e1.e3*e4.e5*ss3 + k4.e2*e1.e3*e4.e5*ss4 + k4.e2*e1.e3*e4.e5*ss5 - k4.e2*e1.e4*e3.e5*ss4 + k4.e2*e1.e5*e3.e4*ss4 + k4.e3*e1.e2*e4.e5*ss2 - k4.e3*e1.e2*e4.e5*ss4 - k4.e3*e1.e2*e4.e5*ss5 - k4.e3*e1.e2*e4.e5*ss1^-1*ss2*ss3 + k4.e3*e1.e2*e4.e5*ss1^-1*ss3*ss4 - k4.e3*e1.e2*e4.e5*ss1^-1*ss4*ss5 + k4.e3*e1.e4*e2.e5*ss4 - k4.e3*e1.e5*e2.e4*ss4 ;