[seqfan] Largest semigroup generated by boolean matrix multiplication

[Charles Greathouse]

I came across a integer sequence in an old entry of Jeffrey Shallit's blog:
http://recursed.blogspot.ca/2012/10/an-interesting-but-
little-known-function.html

As far as I can tell it is not in the OEIS, though there are two unrelated
sequences matching the first few terms of n^2 - n + 2.

Charles Greathouse
Case Western Reserve University