User blog comment:Ikosarakt1/BEAN is much stronger/@comment-84.107.139.241-20130712111505/@comment-5150073-20130712140547

There were two previous estimates (expect this) for BEAN: first was by me and you (as you reasoned that {X,X / 2} at level Г_0, I made more comparisons and guessed it to be at level phi(2,0,0) (i.e. usage of Bird's [1 [1 --| 3] 1 [1 --| 3] 2] separator will stand at limit of BEAN)). The second was by Chris Bird.