shen-ruby 0.12.1 → 0.13.0

data/shen/license.txt

@@ -1,34 +0,0 @@
-                       Terms of Use
-
-By 'derivative work' we understand it as defined by the US copyright law. We emphasise the following passage from the copyright act of the USA
-
-"Making minor changes or additions of little substance to a preexisting work will not qualify the work as a new version for copyright purposes."
-
-By 'copyright holder' we understand Dr Mark Tarver, or, in the event of his decease, the committee appointed under the terms of his will to administer his intellectual estate.
-
-By 'the software' we understand Shen and all the code used to implement it. We include both the original source code written in Shen, and the code derived from this code through compilation to other languages.
-
-By 'Shen standard' we understand the latest standards for Shen laid down in Lambda Associates by the copyright holder.
-
-By 'the user' we understand any person or group of persons, whether organised in a commercial company, cooperative or institution or not, that use the software. The use of 'he' and 'his' to refer to the user follows English usage, but makes no special assumptions about gender or plurality.
-
-                          The License
-
-The user is free to produce commercial applications with the software, to distribute these applications in source or binary form, and to charge monies for them as he sees fit and in concordance with the laws of the land subject to the following license.
-
-1. The license applies to all the software and all derived software and must appear on such.
-
-2. It is illegal to distribute the software without this license attached to it and use of the software implies agreement with the license as such. It is illegal for anyone who is not the copyright holder to tamper with or change the license.
-
-3. Neither the names of Lambda Associates or the copyright holder may be used to endorse or promote products built using the software without specific prior written permission from the copyright holder.
-
-4. That possession of this license does not confer on the copyright holder any special contractual obligation towards the user. That in no event shall the copyright holder be liable for any direct, indirect, incidental, special, exemplary or consequential damages (including but not limited to procurement of substitute goods or services, loss of use, data, or profits; or business interruption), however caused and on any theory of liability, whether in contract, strict liability or tort (including negligence) arising in any way out of the use of the software, even if advised of the possibility of such damage. 
-
-5. It is permitted for the user to change the software, for the purpose of improving performance, correcting an error, or porting to a new platform, and distribute the modified version of Shen (hereafter the modified version) provided the resulting program conforms in all respects to the Shen standard and is issued under that title. The user must make it clear with his distribution that he/she is the author of the changes and what these changes are and why. 
-
-6. Derived versions of this software in whatever form are subject to the same restrictions. In particular it is not permitted to make derived copies of this software which do not conform to the Shen standard or appear under a different title.
-
-7. It is permitted to distribute versions of Shen which incorporate libraries, graphics or other facilities which are not part of the Shen standard.
-
-For further explication of this license; see http://www.lambdassociates.org/News/june11/license.htm 
-

data/shen/release/benchmarks/N_queens.shen

@@ -1,45 +0,0 @@
-(define n-queens
-  {number --> symbol}
-  N -> (do (map (/. X (output "~A~%" X)) (n-queens-loop N (initialise N))) ok))
-
-(define initialise
-   {number --> (list number)}
-   0 -> []
-   N -> [1 | (initialise (- N 1))])
- 
-(define n-queens-loop
-  {number --> (list number) --> [(list number)]}
-  N Config -> []    where (all_Ns? N Config)
-  N Config -> [Config | (n-queens-loop N (next_n N Config))] 
-                                       where (and (ok_row? Config) (ok_diag? Config))
-  N Config -> (n-queens-loop N (next_n N Config)))
- 
-(define all_Ns?
-  {number --> (list number) --> boolean}
-   _ [] -> true
-  N [N | Ns] -> (all_Ns? N Ns)
-  _ _ -> false)
- 
-(define next_n
-  {number --> (list number) --> (list number)}
-  N [N | Ns] -> [1 | (next_n N Ns)]
-  _ [N | Ns] -> [(+ 1 N) | Ns])
- 
-(define ok_row?
-  {(list number) --> boolean}
-  [] -> true
-  [N | Ns] -> false     where (element? N Ns)
-  [_ | Ns] -> (ok_row? Ns))
- 
-(define ok_diag?
-  {(list number) --> boolean} 
-  [] -> true
-  [N | Ns] -> (and (ok_diag_N? (+ N 1) (- N 1) Ns) 
-                                (ok_diag? Ns)))
- 
-(define ok_diag_N?
-  {number --> number --> (list number) --> boolean}
-  _ _ [] -> true
-  Up Down [Up | _] -> false
-  Up Down [Down | _] -> false
-  Up Down [_ | Ns] -> (ok_diag_N? (+ 1 Up) (- Down 1) Ns)) 

data/shen/release/benchmarks/README.shen

@@ -1,14 +0,0 @@
-\* 
-
-This is the benchmark macro for Shen.  Assuming your port to Blub is in the directory Platforms/Blub; do the
-following.
-
-1. (cd "../../Benchmarks")
-2. (load "README.shen")
-3. (load "benchmarks.shen")
-
-  *\
-
-(defmacro benchmark-macro
-  [benchmark Message Benchmark] -> [do [nl] [output Message] [time Benchmark]])
-

data/shen/release/benchmarks/benchmarks.shen

@@ -1,52 +0,0 @@
-(benchmark "read a 10K binary file" (read-file-as-bytelist "plato.jpg"))
-
-(benchmark "read a 105K binary file" (read-file-as-bytelist "heatwave.gif"))
-
-(benchmark "parse a 7K Shen file" (read-file "interpreter.shen"))
-
-(benchmark "compile a 130 LOC Qi program" (load "short.shen"))
-
-(benchmark "compile a 27 line Prolog program" (load "einstein.shen"))
-
-(benchmark "solve Einstein's puzzle" (prolog? (einsteins_riddle X) (return X)))
-
-(load "powerset.shen")
-
-(benchmark "powerset of 14 numbers" (powerset [1 2 3 4 5 6 7 8 9 10 11 12 13 14]))
-
-(do (set *str* (hd (read-file "text.txt"))) ok)
-
-(define remstr
-  "" -> 0
-  (@s "er" S) -> (+ 1 (remstr S))
-  (@s _ Ss) -> (remstr Ss))
-
-(benchmark "count 'er' in a string" (remstr (value *str*)))
-
-(define vectorn
-  0 -> <>
-  N -> (@v N (vectorn (- N 1))))
-  
-(define vectorp
-  <> -> <>
-  (@v X Y) -> (@v (+ X 1) (vectorp Y))
-  (@v X Y Z) -> (@v (+ X 1) (+ Y 2) (vectorp Z)))
-    
-(benchmark "vector of 1000 elements" (vectorn 1000))
-
-(define tak
-  X Y Z -> Z   where (not (< Y X))
-  X Y Z -> (tak (tak (- X 1) Y Z)
-                (tak (- Y 1) Z X)
-                (tak (- Z 1) X Y)))
-
-(benchmark "(tak 18 12 6)" (tak 18 12 6))
-
-(tc +)
-
-(benchmark "type checking the N queens" (load "N_queens.shen"))
-
-(benchmark "solving the N queens for N = 6" (n-queens 6))
-
-(benchmark "load and typecheck Qi interpreter" (load "interpreter.shen"))
-  

data/shen/release/benchmarks/bigprog

@@ -1,2173 +0,0 @@
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-(define factorial
-  0 -> 1
-  X -> (* X (factorial (- X 1))))
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-