k1 = 4047/10000;
k2 = 2057/5000;
k3 = 1/20;
k4 = 233/5000;
k5 = 2057/5000;
k6 = 7900000000000001/10000000000000;
k7 = 326807900000000000001/10000000000000;
k8 = 0;
k9 = 0;
k10 = 1;
k11 = 1;
k12 = 326807900000000000001/10000000000000;