> GuessASM(n,k,4);
                               k (-1 - k + 2 n)
                             --------------------
                             (n - k) (-1 + k + n)


> quit
bytes used=359251000, alloc=16315476, time=22.81