AoCP version 5.8