User icon
PkmnQ⁧⁦ is cool⁩⁦ 9 months ago • 4 views
The BH(3) game
0 +(0(w))
1 +(0[w]) -> +(0(2))
2 +(0[2]) -> +(0(1(0)))
3 +(0(1[0])) -> +(0(1)(1)(1)(1))
4 +(0(1)(1)(1)[1]) -> +(0(1)(1)(1)(0(1)(1)(1)(0)))
5 +(0(1)(1)(1)(0(1)(1)(1)[0])) -> +(0(1)(1)(1)(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1)))
6 +(0(1)(1)(1)(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)[1])) -> +(0(1)(1)(1)(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(0(1)(1)(0))))
7 +(0(1)(1)(1)(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(0(1)(1)[0]))) -> +(0(1)(1)(1)(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))))
8 +(0(1)(1)(1)(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)[1]))) -> +(0(1)(1)(1)(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(0(1)(0)))))
9 +(0(1)(1)(1)(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(0(1)[0])))) -> +(0(1)(1)(1)(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(0(1))(0(1))(0(1))(0(1))(0(1))(0(1))(0(1))(0(1))(0(1))(0(1)))))
10 +(0(1)(1)(1)(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(0(1))(0(1))(0(1))(0(1))(0(1))(0(1))(0(1))(0(1))(0(1))(0[1])))) -> +(0(1)(1)(1)(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(0(1))(0(1))(0(1))(0(1))(0(1))(0(1))(0(1))(0(1))(0(1))(0(0(0))))))
11 +(0(1)(1)(1)(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(0(1))(0(1))(0(1))(0(1))(0(1))(0(1))(0(1))(0(1))(0(1))(0(0[0]))))) -> +(0(1)(1)(1)(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(0(1))(0(1))(0(1))(0(1))(0(1))(0(1))(0(1))(0(1))(0(1))(0(0)(0)(0)(0)(0)(0)(0)(0)(0)(0)(0)(0)))))
12 +(0(1)(1)(1)(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(0(1))(0(1))(0(1))(0(1))(0(1))(0(1))(0(1))(0(1))(0(1))(0(0)(0)(0)(0)(0)(0)(0)(0)(0)(0)(0)[0])))) -> +(0(1)(1)(1)(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(1))(0(1)(1)(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(1))(0(1)(0(1))(0(1))(0(1))(0(1))(0(1))(0(1))(0(1))(0(1))(0(1))(0(0)(0)(0)(0)(0)(0)(0)(0)(0)(0)(0))(0(0)(0)(0)(0)(0)(0)(0)(0)(0)(0)(0))(0(0)(0)(0)(0)(0)(0)(0)(0)(0)(0)(0))(0(0)(0)(0)(0)(0)(0)(0)(0)(0)(0)(0))(0(0)(0)(0)(0)(0)(0)(0)(0)(0)(0)(0))(0(0)(0)(0)(0)(0)(0)(0)(0)(0)(0)(0))(0(0)(0)(0)(0)(0)(0)(0)(0)(0)(0)(0))(0(0)(0)(0)(0)(0)(0)(0)(0)(0)(0)(0))(0(0)(0)(0)(0)(0)(0)(0)(0)(0)(0)(0))(0(0)(0)(0)(0)(0)(0)(0)(0)(0)(0)(0))(0(0)(0)(0)(0)(0)(0)(0)(0)(0)(0)(0))(0(0)(0)(0)(0)(0)(0)(0)(0)(0)(0)(0))(0(0)(0)(0)(0)(0)(0)(0)(0)(0)(0)(0)))))
Yeah ok I give up, the hydra wins
Comments
  • User icon
    Maximus 9 months ago
    I'd lose even if it was a fraction of this when I mean fraction I mean 0.001% of this
    • User icon
      Maximus 9 months ago
      So like (0)(1) in size
    • User icon
      PkmnQ⁧⁦ is cool⁩⁦ 9 months ago (edited)
      0 +(0(0)(1))
      1 +(0(0)[1]) -> +(0(0)(0(0)(0)))
      2 +(0(0)(0(0)[0])) -> +(0(0)(0(0))(0(0))(0(0)))
      3 +(0(0)(0(0))(0(0))(0[0])) -> +(0(0)(0(0))(0(0))(0)(0)(0)(0))
      4 +(0(0)(0(0))(0(0))(0)(0)(0)[0]) -> +(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0)(0)) oh for f-
      5 +(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0)[0]) -> +(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0))
      6 +(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)[0]) -> +(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0))
      7 +(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))[0]) -> +(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0)(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))(0))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0)))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0)))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0)))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0)))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0)))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0)))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0)))(0(0)(0(0))(0(0))(0)(0)(0))(0(0)(0(0))(0(0))) is the hydra even worth killing at this point