http://www.research.att.com/~njas/sequences/A012345