User blog comment:Rgetar/Ordinal Explorer Online/@comment-11227630-20200219020901/@comment-32213734-20200219095436

Done.

Also I added "cof(X) = ω" contition to cof and fs functions (I hoped the program will work faster, but nothing changed).

Also I replaced [c + L2] with [c + ΩL + 1] for M, since I think this is correct (now "M" appears more often in the lists). Now I think that [c + L2] is not M, but a larger cardinal, possibly M(1, 0; 0) or something. Also I wanted to replace [c + L3] with [c + ΩL 2 + 1 ] for K, but then I removed K, since currently I do not understand what is K and how it is expressed in BB format.