SZS status Theorem for i/f/tc/FINITE__RDOM
