[A' x30.0] (C) verified contiguously for L in [43.749, 43.749]; first failure (43.749, 43.999)   (159 s)
