M. Buliga, version: 15.06.2019
9_quine computed with (hapax). See also the computation of Ackermann(2,2)
start stop refresh