k1 = 0;
k2 = 182881217463259/1000000000000000;
k3 = 1;
k4 = 820132250303287/10000000000000000;
k5 = 54353063429483/50000000000000;
k6 = 207807738692343/100000000000000;
k7 = 1/10000;
k8 = 231107032949407/1000000000000000;
k9 = 29213049778373/100000000000000;
k10 = 384985086488943/500000000000000;
k11 = 17061322921081/125000000000000;
k12 = 65323898417943/200000000000000;
k13 = 230775279590401/500000000000000;
k14 = 178306960275559/500000000000000;
k15 = 12503531440317/5000000000000;
k16 = 40940036512979/12500000000000;
k17 = 69281950841133/50000000000000;
k18 = 133082080954527/100000000000000;
k19 = 122621652607163/25000000000000;
k20 = 10;
k21 = 212088938724719/500000000000000;
k22 = 269380178154091/1000000000000000;
k23 = 113965755508623/100000000000000;
k24 = 1;
k25 = 1;
k26 = 0;
k27 = 0;
k28 = 0;
k29 = 0;
k30 = 1;