here's the dumb trash ruby esothing i made so far
https://ghostbin.com/paste/azx76
they've made a brute forcer for an ASCII version i released
this is actually impressive
irc logs
<Jafet> well, the 9T[Hn]* search finished without even getting to 6995
<Jafet> it found 3287481 numbers reachable without overflow, and then spun on an empty queue for half an hour
<Jafet> well, it's almost certain that every number is reachable by those operations and it is equally almost certain that trying to prove this will be futile
welcome to esolangs i make
trying to prove they work is futile