k1 = 166112956810631/100000000000000000;
k2 = 2857;
k3 = 11/2000;
k4 = 19/1000;
k5 = 1/20;
k6 = 1;
k7 = 0;
k8 = 0;
k9 = 1/20;
k10 = 1;
k11 = 0;
k12 = 3/25;
k13 = 2;
k14 = 6/25;
k15 = 23/25;
k16 = 1/20;
k17 = 1;
k18 = 4000;
k19 = 6/125;
k20 = 0;
k21 = 0;
k22 = 10;
k23 = 2;
k24 = 20;
k25 = 138888888888889/500000000000000;
k26 = 1388888888889/2500000000000;
k27 = 1;
k28 = 111111111111111/1000000000000000;
k29 = 111111111111111/1000000000000000;
k30 = 12/5;
k31 = 1/2000;
k32 = 1/10;
k33 = 0;
k34 = 4/25;
k35 = 2/25;
k36 = 1;
k37 = 0;
k38 = 0;
k39 = 0;
k40 = 0;
k41 = 151714;
k42 = 100;