SZS status Theorem for i/f/string/IMPLODE__EQ__THM_c1
