SZS status Theorem for i/f/fmapal/ORWL__DRESTRICT__THM
