SZS status Theorem for i/f/patricia/PTREE__OF__NUMSET__IS__PTREE__EMPTY
