C''' log X = 350, Y_low = 4e18, delta = 0.2, K = 13: majorant enclosure [0.4125699749644281268983349 +/- 3.39e-26]; target enclosure [0.2774978710701247320010121 +/- 1.26e-26] -> NOT ESTABLISHED
C''' log X = 350, Y_low = 4e18, delta = 0.2, K = 14: majorant enclosure [0.1497600658485882208253524 +/- 6.00e-27]; target enclosure [0.2774978710701247320010121 +/- 1.26e-26] -> CERTIFIED
C''' log X = 350, Y_low = 4e18, delta = 0.2, K = 16: majorant enclosure [0.02256833024997076759062877 +/- 6.58e-28]; target enclosure [0.2774978710701247320010121 +/- 1.26e-26] -> CERTIFIED
