SZS status Theorem for i/f/list/LAST__compute_c1
