SZS status Theorem for i/f/patricia/NUMSET__OF__PTREE__PTREE__OF__NUMSET
