k1 = 202927753036139/250000000000000000;
k2 = 566528253772301/100000000000000000;
k3 = 245914295524883/500000000000000000;
k4 = 114186392006403/10000000000000000;
k5 = 446994772958953/1000000000000000000;
k6 = 343995957326369/100000000000000000;
k7 = 949914492651531/10000000000000000;
k8 = 3304212710223/6250000000000000;
k9 = 152252549827479/100000000000000000;
k10 = 898496674617627/100000000000000;
k11 = 3084375753243/200000000000;
k12 = 547777390465598904914912343297792000000000000000000000000/9135520749670280233474562660244318063921634641294404521;
k13 = 1;
k14 = 93;
k15 = 155;
k16 = 236;
k17 = 973;
k18 = 973;
k19 = 5178;
k20 = 5178;