BB(BB(BB(BB(BB(11111)))))
Repeat as many BB's as you have space on your 1000 character card. You might even use math notation to define a new function where BB-(n) = [BB(BB(.......]
<---- n ----->
And then you might have: BB-(BB-(BB-(1111)))(BB-(BB-(BB-(1111)))(11111))
Or some such monstrosity.They can't be computed - they can only, at best, be proven to be within some bounds.
But it's unimportant since it's not really required in order to do what you said.