SZS status Theorem for i/f/patricia/UNION__PTREE__EMPTY_c1
