k1 = 1
k2 = 22649/50000000
k3 = 130837/10000000000
k4 = 499767/500000
k5 = 1
k6 = 1
k7 = 1
k8 = 1
k9 = 1
k10 = 1
k11 = 49991/200000
k12 = 241033/1000000
k13 = 46949/250000
k14 = 1
k15 = 1
k16 = 1
k17 = 1
k18 = 1