SZS status Theorem for i/f/list/LAST__CONS_c1
