k1 = 291/10000000000000000000000;
k2 = 3/10000000;
k3 = 1/500000000;
k4 = 417/10000000000;
k5 = 0;
k6 = 0;
k7 = 72000;
k8 = 720000;
k9 = 419/100000000000000000;
k10 = 419/100000000000000000;
k11 = 0;
k12 = 0;
k13 = 1;