These files were recorded with ttyrec:
  http://0xcc.net/ttyrec/index.html.en

If you would like to view them online, I've posted
them to ttyshare.com:

  http://ttyshare.com/rec/redpig/