Function A000095