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;