Function A000193