k1 = 1/10;
k2 = 109/500;
k3 = 1;
k4 = 292408052354609/100000000000000;
k5 = 499999999999999/5000000000000000;
k6 = 263/1000;
k7 = 547/1000;
k8 = 1;
k9 = 292408052354609/10000000000000;
k10 = 239254806051979/1000000000000000;
k11 = 183/100;
k12 = 1460500000017999/20000000000000;
k13 = 1;