M. Buliga, version: 15.06.2019
ackermann_2_2 computed with (hapax). See also the computation of 9_quine. For the theory see (slides).
start stop refresh