SZS status Theorem for i/f/words/BOUND__ORDER_c2
