# seed 1329758601 # options # recorded by esr@snark on Mon Feb 20 12:23:21 2012 # Tests auto torpedo fire r s n m 8 move 8 7 3 2 torp 3 1 5 4 10 7 9 QUIT