User blog comment:Googleaarex/BMS encoded to 1 symbol system/@comment-30754445-20170720221437/@comment-5529393-20170721002906

If we assume that short sequences get padded with zeros, then we can go

51512 → 01100100100111000 → 0,,1,1,1,,,2 → (0)(1,1,1)[2] → (0,0,0)(1,1,1)[2]

which is larger than anything reasonably expressible in FGH with ordinals up to \(\psi_0(\psi_1(\psi_2(\Omega_2)))\), according to their analysis.

205980 gets you the much larger (0,0,0,0)(1,1,1,1)[1].