../../Task/Factorial/RASEL