@deedlit/

beating TREE(3) using Buchholz hydra

Python 2.7

No description

fork
loading
Files
  • main.py
main.py
1
2
3
4
5
6
7
def S(T):return 0if T==1else[S(T[0])]+T[1:]
def R(T):U=T[0];V=T[1:];exec"global B;B=T"*(T[-1]==0);return[S(B)]+V if U==1else[R(U)]*c+V if U else V
A=[[[1,1],1],0]
c=9
while A:A=R(A);c*=c
print c