Proof that all US SSNs occur in the digits of π

This is the result of running the program hosted in this repo against one-hundred billion digits of Pi. It only takes about 22.5 billion digits to find all SSNs in π, so no need to generate all 100 billion digits that I used to reproduce this result. I used y-cruncher to generate the digits, so I suppose I'm trusting it to produce correct digits of π. A spot check against Pi Project yields matching offsets (well, off by one due to the 3.), so I suspect my results are correct.

Fun fact! The last SSN to occur in π is 172-48-4538! Some lucky 46 year old Pennsylvanian can claim to have the last SSN to occur in π!

Another! 314159265 recurs 1,660,042,752 digits into π. The program doesn't consider the starting 3 during its search, so 1,660,042,752 is the offset for 314-15-9265 you will find in this dataset.

The files contained in this release are self-explanatory -- the file name dictates the range of SSNs covered, and each line of the file is an SSN followed by a tab followed by the offset into the decimal digits of π required to find it. Lines are delimited Windows style, if somehow you care about that but are unable to determine such for yourself.

Be advised that due to their size, many means of opening these files consume a lot of RAM -- on my system, 64 bit Notepad++ eats just over 4 Gigs opening one of these files.

I don't think this result is unusual or unexpected enough to warrant a paper, but if you think differently I'd be interested in co-authoring😉.