User blog comment:Rgetar/9 lists of ordinals up to Rathjen ordinal (total 12321 ordinals)/@comment-24725252-20190326220029/@comment-32213734-20190326221816

Ok, I'll try to explore it. I suspected that there might be gaps.