| 0 | 0 | check |
| 1 | 0 | propositional calculus |
| 2 | 0 | propositional a one |
| 3 | 0 | propositional a two |
| 4 | 0 | propositional a three |
| 5 | 0 | propositional modus ponens |
| 6 | 0 | propositional identity |
| 7 | 1 | * factorial |
| 8 | 2 | * imply * |
The pyk compiler, version 0.grue.20060417 by Klaus Grue,