k[1] = 1
k[2] = 1/5
k[3] = 1/10
k[4] = 1/10
k[5] = 1/10
k[6] = 1/10
k[7] = 1/10
k[8] = 1/10
k[9] = 1/10
k[10] = 1/20
k[11] = 128519789138443/50000000000000
k[12] = 31/25
k[13] = 1/10
k[14] = 1