Printing a few abuntand numbers for debugging