OUTPUT of Python run 18 of at most 120:
```
Added certified two-step safety propagation through dense strings.

```