C''' log X = 62, Y_low = 4e18, delta = 0.2, K = 9: majorant enclosure [0.2414387053084290514561125 +/- 1.87e-26]; target enclosure [0.2774978710701247320010121 +/- 1.26e-26] -> CERTIFIED