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;