SZS status Theorem for i/f/patricia/UNION__PTREE__EMPTY_c0
