User blog comment:Rgetar/9 lists of ordinals up to Rathjen ordinal (total 12321 ordinals)/@comment-35470197-20190327004329/@comment-35470197-20190327030110

OK. When you update your work up to Rathjen's ordinal, then please specify what sources you are refering to define a system of fundamental sequences. Since it is awfully hard to compute it using his original OCF, I am interested in how you did.