k1 = 431/1000;
k2 = 117/500;
k3 = 17/1000;
k4 = 51/50000000000;
k5 = 1/80000;
k6 = 1/2000;
k7 = 13/1250000000;
k8 = 21/500000000;
k9 = 1/1250000000;
k10 = 1/50000;
k11 = 1/50000;
k12 = 1/50000;
k13 = 0;
k14 = 0;
k15 = 1;