% SZS status Timeout for SIZE__PTREE__OF__NUMS
