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

Could you tell me how you defined a system of fundamental sequences below Rathjen's ordinal? Since Rathjen himself did not write it in his paper, I would like to know the first source of your method.