Comment by 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 .