../ nethack.diredocks.20211028233135.log 12-Feb-2023 09:08 3510 nethack.diredocks.20211030114728.log 12-Feb-2023 09:08 7173 nethack.diredocks.20211031000322.log 12-Feb-2023 09:08 4749