[math-fun] Sloane sequence A000522