k1 = 16/5; k2 = 1/2; k3 = 3/10; k4 = 1000; k5 = 1200/247; k6 = 53615828388897/1250000000000; k7 = 9/10; k8 = 253232284114507/100000000000000; k9 = 5317877966404647/10000000000000000; k10 = 25379134149469/62500000000; k11 = 69225021197403/250000000000; k12 = 45937500000000000/51064984612057559; k13 = 152274804896814/576875176645025; k14 = 286323500516327592324816080243/442590269802782060784707094080; k15 = 1; k16 = 2; k17 = 245; k18 = 210;