k1 = 7/10; k2 = 49/50; k3 = 3/10; k4 = 2/5; k5 = 1; k6 = 9/10; k7 = 2/5; k8 = 1/5; k9 = 3/10; k10 = 29/100; k11 = 1; k12 = 17/200; k13 = 6/5; k14 = 47/50; k15 = 3/10; k16 = 2/5; k17 = 4/5; k18 = 0; k19 = 1; k20 = 499999999999999/1000000000000000;