SZS status Theorem for i/f/list/LENGTH__o__REVERSE_c1
