Function A000231