ABC

Defactorial