k1 = 588783148144923/1000000000000000; k2 = 114598191621279/1000000000000000; k3 = 355183987378767/1000000000000000; k4 = 58872345769809/500000000000000; k5 = 100000000000003/100000000000000000000; k6 = 20001799972057/20000000000000000000; k7 = 162471039450073/1000000000000; k8 = 191297262771509/1000000000000; k9 = 131984219165251/100000000000; k10 = 645999307230137/1000000000000; k11 = 85438890403697/12500000000000; k12 = 28219407624011/250000000000000; k13 = 197034304659041/5000000000000; k14 = 407307409980937/1000000000000; k15 = 426091167840583/5000000000000000; k16 = 133594212383381/2000000000000000; k17 = 920526565951487/10000000000000000; k18 = 596841598127919/10000000000000000; k19 = 57735769471617/6250000000; k20 = 162862384561137/500000000000000; k21 = 118873655169353/1000000000000000; k22 = 91092957615177/20000000000000; k23 = 386414745483539/500000000000; k24 = 20192645073029/6250000000000; k25 = 502329152478409/100000000000000000; k26 = 359214586722219/5000000000000000; k27 = 1; k28 = 1; k29 = 50004498363847/5000000000000000000; k30 = 701139988718817/10000000000000000; k31 = 100000000000011/100000000000000000000; k32 = 154821166783837/1000000000000000; k33 = 66810061799101/5000000000000000; k34 = 58915457309741/1000000000000000000; k35 = 11232996494689/50000000000000; k36 = 30651903722779/25000000000000000; k37 = 135347628753573/5000000000000000; k38 = 494101368038079/50000000000; k39 = 586017882122243/100000000000000000; k40 = 109458423149719/100000000000; k41 = 29840734372287/31250000000000; k42 = 1; k43 = 1; k44 = 1; k45 = 1; k46 = 1; k47 = 1; k48 = 1; k49 = 1; k50 = 1; k51 = 1; k52 = 1; k53 = 1; k54 = 1; k55 = 1; k56 = 1; k57 = 20; k58 = 20; k59 = 20; k60 = 35; k61 = 26;