k1 = 625/4;
k2 = 78/5;
k3 = 5/2;
k4 = 1;
k5 = 14809/500000000;
k6 = 4003/2000;
k7 = 0;
k8 = 14809/500000000;
k9 = 4003/2000;
k10 = 1;
k11 = 1;
k12 = 1;