20:30:05: -!- jkw has quit (Quit: leaving).
20:34:53: -!- jkw has joined #corewars.
20:38:38: -!- jkw_ has joined #corewars.
20:40:25: -!- jkw has quit (Ping timeout: 256 seconds).
20:46:51: -!- jkw_ is now known as jkw.