> length( Ackermann( 4, 2 ) );
                      19729