../../Task/Factorial/Picat