here's the dumb trash ruby esothing i made so far
https://ghostbin.com/paste/azx76
i posted my dumb language in an esolang irc channel asking if it's possible to prove you can get from initial state to n = [any positive real number]
i checked back and someone has been trying to figure this out for 3 hours
(here's the ascii version: https://paste.ee/p/hupOT)
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
@boots MISSION SUCCESSFUL
they've made a brute forcer for an ASCII version i released
this is actually impressive
http://lpaste.net/5694671569826086912