SZS status Theorem for i/f/patricia/SIZE__PTREE__OF__NUMSET__EMPTY
