3c583a236e09e34e60617a709847d884 nethack.tar.gz