SZS status Theorem for i/f/patricia/ADD__LIST__TO__EMPTY__IS__PTREE
