User blog comment:PsiCubed2/Does anybody here know where I can have serious googology questions answered?/@comment-35470197-20181114222222/@comment-30754445-20181115120253

Well, waddayaknow?

The 1986 article referenced in the beginning of your proof seems to contain everything I need to deduce the fundamental sequences I've asked about.

Thanks!