k1 = 3059083435631/2500000000000
k2 = 252271673469673/50000000000000
k3 = 31979/5000
k4 = 110672040842443/125000000000000
k5 = 423002048244947/5000000000000000
k6 = 78461619249561/250000000000000
k7 = 6444459494491/40000000000000
k8 = 222636680929471/1000000000000000
k9 = 165742251604843/500000000000000
k10 = 58968033829993/200000000000000
k11 = 17468789247409/125000000000000
k12 = 4254788500101/15625000000000
k13 = 295420749525813/1000000000000000
k14 = 0
k15 = 6
k16 = 18
k17 = 39044098978571/4000000000000
k18 = 1
k19 = 1