User blog comment:Scorcher007/Analysis DAN up to Z2/@comment-11227630-20180919121102/@comment-31580368-20180919143027

And yes, I assumed that S[Ωa+1] ~ (1,,'3,,) because it is a necessary pattern. There is another pattern: S[Ωa+1] ~ (1,,'1,2,,), because S[Ωa+1] П11-reflection. This is an analogy Пω-comprehension is (1,,2), П11-comprehension is (1,,1,2) and Пω-reflection is (1,,'2,,), П11-reflection is (1,,'1,2,,). In any case, I got S[ΩΩ Ω ... a+1  ] ~ (1,,'1,,'2,,)