[larryboyko]

Hm. My 01.txt that yields the expected SHA256 sum of a2e617919bc0b981a4f9bb8470ed37d189958e4c5b167e58b417a84c29a66c29

is:

... 0x3e1175 bytes long

... starts with «Congratulations!»

... ends with «ZO?-m[FmGp-+;KM»

[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 ...!)