C''' log X = 1800, Y_low = 4e18, delta = 0.2, K = 18: majorant enclosure [0.2098006747952338288377956 +/- 8.12e-27]; target enclosure [0.2774978710701247320010121 +/- 1.26e-26] -> CERTIFIED
