k1 = 108871858684363/100000000000000000;
k2 = 65427499088823/50000000000000000;
k3 = 45620734300693/125000000000000000;
k4 = 319887968708373/50000000000000000;
k5 = 111623210686441/500000000000000000;
k6 = 66238371911757/1250000000000000000;
k7 = 644612643975149/1000000000000000000;
k8 = 543518631342483/1000000000000000000;
k9 = 206765027469453/50000000000000000;
k10 = 64713651554491/1000000000000000;
k11 = 52134055139547/100000000000000000;
k12 = 153710001025539/100000000000000000;
k13 = 35753125813031/625000000000;
k14 = 300060394758199/10000000000000;
k15 = 14580735294238027770069880966007798960000000000000000000000000/356522593499048688703894643533280791963724189787660431179569;
k16 = 1;
k17 = 93;
k18 = 155;
k19 = 236;
k20 = 973;
k21 = 973;
k22 = 5178;
k23 = 5178;