User:Alemagno12/BMS vs TON

Just a warmup

 * Empty string = 0
 * (0) = C(0,0)
 * (0)(0) = C(0,C(0,0))
 * (0)(0)(0) = C(0,C(0,C(0,0)))
 * (0)(1) = C(C(0,0),0)
 * (0)(1)(0) = C(0,C(C(0,0),0))
 * (0)(1)(0)(0) = C(0,C(0,C(C(0,0),0)))
 * (0)(1)(0)(1) = C(C(0,0),C(C(0,0),0))
 * (0)(1)(0)(1)(0)(1) = C(C(0,0),C(C(0,0),C(C(0,0),0)))
 * (0)(1)(1) = C(C(0,C(0,0)),0)
 * (0)(1)(1)(0)(1) = C(C(0,0),C(C(0,C(0,0)),0))
 * (0)(1)(1)(0)(1)(1) = C(C(0,C(0,0)),C(C(0,C(0,0)),0))
 * (0)(1)(1)(1) = C(C(0,C(0,C(0,0))),0)
 * (0)(1)(1)(1)(1) = C(C(0,C(0,C(0,C(0,0)))),0)
 * (0)(1)(2) = C(C(C(0,0),0),0)
 * (0)(1)(2)(1) = C(C(0,C(C(0,0),0)),0)
 * (0)(1)(2)(1)(2) = C(C(C(0,0),C(C(0,0),0)),0)
 * (0)(1)(2)(1)(2)(1)(2) = C(C(C(0,0),C(C(0,0),C(C(0,0),0))),0)
 * (0)(1)(2)(2) = C(C(C(0,C(0,0)),0),0)
 * (0)(1)(2)(2)(1)(2)(2) = C(C(C(0,C(0,0)),C(C(0,C(0,0)),0)),0)
 * (0)(1)(2)(2)(2) = C(C(C(0,C(0,C(0,0))),0),0)
 * (0)(1)(2)(3) = C(C(C(C(0,0),0),0),0)
 * (0)(1)(2)(3)(2) = C(C(C(0,C(C(0,0),0)),0),0)
 * (0)(1)(2)(3)(2)(3) = C(C(C(C(0,0),C(C(0,0),0)),0),0)
 * (0)(1)(2)(3)(3) = C(C(C(C(0,C(0,0)),0),0),0)
 * (0)(1)(2)(3)(4) = C(C(C(C(C(0,0),0),0),0),0)
 * (0)(1)(2)(3)(4)(4) = C(C(C(C(C(0,C(0,0)),0),0),0),0)
 * (0)(1)(2)(3)(4)(5) = C(C(C(C(C(C(0,0),0),0),0),0),0)
 * (0)(1)(2)(3)(4)(5)(6) = C(C(C(C(C(C(C(0,0),0),0),0),0),0),0)

Up to C(C(Ω_2,Ω),0)
[WIP]