k1 = 1;
k2 = 1/10;
k3 = 1/10;
k4 = 1;
k5 = 1/10;
k6 = 1;
k7 = 1/10;
k8 = 1;
k9 = 1/10;
k10 = 1/10;
k11 = 0;
k12 = 1/1000000000000;
k13 = 1;
k14 = 9963234242563/4000000000000;
k15 = 41513476010679/25000000000000;