k1 = 1;
k2 = 1/5;
k3 = 1/10;
k4 = 1/10;
k5 = 1/10;
k6 = 1/10;
k7 = 1/10;
k8 = 1/10;
k9 = 1/10;
k10 = 1/20;
k11 = 128519789138443/50000000000000;
k12 = 31/25;
k13 = 1/10;
k14 = 1;