Knuth-up arrow notations of 1 | ScratchStats