fun/huge.bruijn


# "bruijn huge.bruijn"
# some fun fast growing functions per blc length

# 55 bits inflating to 65536 bits, John Tromp
huge-55 [[0 0 0 0 [[0 [[0]] 1]]] (+2u)]

# 64 bits inflating to ??? bits, John Tromp
huge-64 [0 0 h 0 0 0] (+2u)
	h [[[0 2 1 0]]]

# 79 bits inflating to ??? bits, John Tromp and Bertram Felgenhauer
huge-79 [0 0 e 0] (+2u)
	e [0 g [[0]] d0 0]
		g [[1 (d 0) (0 [0])]]
			d [[[2 [2 0 1]]]]
		d0 [[1 0 0]]

main huge-64