(define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1)))) (define factorial 0 -> 1 X -> (* X (factorial (- X 1))))