SZS status Theorem for i/f/logroot/EXP__LT__ISO
