# cert_S3P_K18.py: S''' + Lemma P, K = 18, piecewise c (9.8036 on [L0, 3000], 26.218 on [3000, L3]); delta = 0.01; U_low = 2e^-g TP_lo
H=200: Phi_P upper-majorant enclosure [0.0000000000000548759387384979757667719318629872243413901493, 0.000000000000054875938738497975766771931862987224341427996]; low-piece upper-majorant enclosure [0.00000133997366346924932288023252858185750412757066, 0.00000133997366346924932288023252858185750412980398]; high-piece upper-majorant enclosure [0.453501230118752277700858553854371496152965742, 0.453501230118752277700858553854371496153688947]; CERTIFIED
H=400: Phi_P upper-majorant enclosure [0.0000000000000542163916209436703978243493647384909851766409, 0.0000000000000542163916209436703978243493647384909852144877]; low-piece upper-majorant enclosure [0.00000133997338845985719006845744315328475975776598, 0.0000013399733884598571900684574431532847597599993]; high-piece upper-majorant enclosure [0.448050660970475452082326962544331384453663326, 0.448050660970475452082326962544331384454380791]; CERTIFIED