k[1] = 4047/10000
k[2] = 2057/5000
k[3] = 1/20
k[4] = 233/5000
k[5] = 2057/5000
k[6] = 7900000000000001/10000000000000
k[7] = 326807900000000000001/10000000000000
k[8] = 0
k[9] = 0
k[10] = 1
k[11] = 1
k[12] = 326807900000000000001/10000000000000