User blog comment:Testitemqlstudop/FPT, large ordinals, ordinal FGH and a new Fundamental Sequence system/@comment-35470197-20191031122541/@comment-44130370-20191101023732

I see. Does this work?

https://testitem.github.io/colg/fpt_new.html

(changed rule 3)