k1 = 164683/5000000;
k2 = 76;
k3 = 114701/50000000000;
k4 = 339973/50000000;
k5 = 1101/100000;
k6 = 317871/100000000;
k7 = 82021/5000000;
k8 = 999293/1000;
k9 = 0;
k10 = 1;
k11 = 1;
k12 = 1;
k13 = 999293/1000;
k14 = 0;
k15 = 0;