k1 = 291/10000000000000000000000
k2 = 3/10000000
k3 = 1/500000000
k4 = 417/10000000000
k5 = 0
k6 = 0
k7 = 72000
k8 = 720000
k9 = 419/100000000000000000
k10 = 419/100000000000000000
k11 = 0
k12 = 0
k13 = 1