k1 = 1/1000
k2 = 36/25
k3 = 1
k4 = 0
k5 = 120
k6 = 20
k7 = 72/5
k8 = 1
k9 = 1/2
k10 = 1/1000
k11 = 0
k12 = 1