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 = 606420498690851221153086771456000000000000000000000000/123707881288699188718310260341637672344034641294404521;
k13 = 1;
k14 = 90;
k15 = 127;
k16 = 224;
k17 = 1909;
k18 = 1909;
k19 = 3316;
k20 = 3316;