SZS status Theorem for i/f/fcp/fcp__ind
