SZS status Theorem for i/f/patricia/SIZE0_c2
