% SZS status Timeout for lemma__fn__mono__increasi
