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 = 16141697197278557947922702287187280000000000000000000000000/7396042916978296781998386248542736951109926107660431179569;
k16 = 1;
k17 = 90;
k18 = 127;
k19 = 224;
k20 = 1909;
k21 = 1909;
k22 = 3316;
k23 = 3316;