S3+P H=400 delta=0.01 K=17 on [L0, 3000] with c=9.8036: Phi_P < 1.72625e-12; upper-majorant enclosure [1.3406704446561608757e-6 +/- 1.58e-26] -> CERTIFIED
S3+P H=400 delta=0.01 K=17 on [3000, L3] with c=26.218: Phi_P < 1.72625e-12; upper-majorant enclosure [14.265906119698269082 +/- 3.06e-19] -> not established
S3+P H=400 delta=0.01 K=18 on [L0, 3000] with c=9.8036: Phi_P < 5.49459e-14; upper-majorant enclosure [1.3399735665750889376e-6 +/- 1.20e-26] -> CERTIFIED
S3+P H=400 delta=0.01 K=18 on [3000, L3] with c=26.218: Phi_P < 5.49459e-14; upper-majorant enclosure [0.45407904229180304530 +/- 1.46e-21] -> CERTIFIED
