Add more information in output (state size, memo size, read table size)