[gjm11]

Am I working with an older version of the file or something, perhaps? My copy of the initial file says:

01: 851fa86ed725c26b712ca1218cdec5782259240e403166c5c6c379b22656290b

and that's the sha256sum of my 01.txt .

[gjm11]

(I bet I am working with an older version -- I ran across an error in one of the puzzles, and presumably you've fixed that now.)

[larryboyko]

Ah ha! That's an older version alright.

Latest at https://github.com/larryboyko/dimityjones/blob/main/DimityJo...

(I hope I've fixed the error ...!)