k1 = 111797628619119/500000000000;
k2 = 21795507837811/625000000000;
k3 = 5468625007989/156250000000;
k4 = 49967488812553/25000000000000;
k5 = 185788601272393/500000000000000;
k6 = 438021069686321/500000000000;
k7 = 196810731388947/1000000000000000;
k8 = 92721340764059/2500000000000000;
k9 = 629893021850583/1000000000000;
k10 = 3600815743577/25000000000000;
k11 = 30437091663097/1000000000000000;
k12 = 398592596228747/100000000000000;
k13 = 268690405546971/500000000000000;
k14 = 100037810941361/100000000000000;
k15 = 5442143475451/2000000000000;
k16 = 70831455628139/125000000000000;
k17 = 122892684336499/500000000000000;
k18 = 161229612947783/100000000000000;
k19 = 870467633794271/100000000000000;
k20 = 164056196749139/10000000000000000;
k21 = 224222808137521/50000000000000;
k22 = 881183442123411/1000000000000000000;
k23 = 260999282198359/100000000000000;
k24 = 47;
k25 = 139418263062769/1000000000000000;
k26 = 109134886550627/500000000000000;
k27 = 20742988914469/20000000000000000;
k28 = 10046034660657/50000000000000;
k29 = 62580495280349/100000000000000;
k30 = 62487683301071/12500000000000;
k31 = 25236661270327/12500000000;
k32 = 175318475163247/2500000000000000;
k33 = 160762398289129/100000000000000;
k34 = 293277410465467/5000000000000000;
k35 = 100039445581987/100000000000000000;
k36 = 257074139276611/500000000000000000;
k37 = 480202730242853/100000000000000000;
k38 = 102253743337089/100000000000000000;
k39 = 31159223383277/6250000000000;
k40 = 123888832741119/25000000000000;
k41 = 882166671316411/1000000000000000;
k42 = 240715044984737/50000000000000;
k43 = 144039687476359/200000000000000;
k44 = 26094429892891/5000000000000000;
k45 = 198031087084307/2000000000000000;
k46 = 130886858359441/10000000000000000;
k47 = 25;
k48 = 371577202544786000/999606850390336611;
k49 = 2;
k50 = 1;