The grand hoss is equal to \(\{100,100 \underbrace{////\ldots////}_{100} 100\}\) in BEAF. Despite the name, grand hoss is smaller than great big hoss because while the former has 100 consecutive /'s, the latter has big hoss consecutive /'s.