User blog:Ubersketch/Linear BEAF Fast Iteration Hierarchy analysis.

{a, b} ≈ S(a){[2]2[1]b}

{a, b, c} ≈ S(a){[2]c[1]b}

{a, b, c, d} ≈ S(a){[3]d[2]c[1]b}

and so on... I'm not sure whether this analysis is exact, or approximate, since I don't know how to represent BEAF with FIH. Advice would be great.