SZS status Theorem for i/f/finite_map/o__f__o__f
