SZS status Theorem for i/f/tc/O__REMPTY__O_c1
