Errors/Dynamic/StackOverflow

Synopsis The Rascal runtime stack exceeded its limit.

Function data RunTimeException = StackOverflow();

Usage import Exception;

Description Rascal uses a runtime stack to store the local variables of functions. This error is generated when the allocated space for this stack is exhausted. The most likely cause is that you have a non-terminating, recursive, function.

Remedies:

Rewrite the function to avoid non-termination.
If the function is correct but (too) deeply recursive, increase the size of the Java stack:
- On the command line: add the arguyment -Xss1m to get a stack of 1 Megabyte. See Java documentation.
- In Eclipse: in the eclipse.ini file add after the line -vmargs on a single line the text -Xss1m.
Catch the StackOverflow yourself, see Rascal:TryCatch.

Examples Here is a naive implementation of factorial that does not terminate and causes a stack oveflow (skip over the long stack trace to read more):

rascal>int fac1(int n) = n * fac1(n - 1);
int (int): int fac1(int);
rascal>fac1(10);
|stdin:///|(22,11,<1,22>,<1,33>): StackOverflow()
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at fac1(|stdin:///|(0,34,<1,0>,<1,34>))
	at ___SCREEN_INSTANCE___(|stdin:///|(0,9,<1,0>,<1,9>))

This can be avoided by properly guarding the recursion:

rascal>int fac2(int n) = n > 0 ? n * fac2(n - 1) : 1;
int (int): int fac2(int);
rascal>fac2(10);
int: 3628800

[Edit] | [New Subconcept] | [Recompile Course] | [Warnings]

Is this page unclear, or have you spotted an error? Please add a comment below and help us to improve it. For all other questions and remarks, visit ask.rascal-mpl.org.