k1 = 4047/10000
k2 = 2057/5000
k3 = 1/20
k4 = 233/5000
k5 = 2057/5000
k6 = 7900000000000001/10000000000000
k7 = 326807900000000000001/10000000000000
k8 = 0
k9 = 0
k10 = 1
k11 = 1
k12 = 326807900000000000001/10000000000000