20:21:41: -!- jkw has joined #corewars.
20:22:33: -!- johnkw has quit ().