0 | 0 | pogave |
1 | 0 | rule div |
2 | 0 | axiom s ten |
3 | 0 | prop three two i |
4 | 0 | prop three two j one |
5 | 0 | prop three two j two |
6 | 0 | prop three two j |
7 | 0 | prop three two k one |
8 | 0 | prop three two k two |
9 | 0 | prop three two k |
10 | 0 | prop three two l one |
11 | 0 | prop three two l two |
12 | 0 | prop three two l |
13 | 0 | prop three two m one |
14 | 0 | prop three two m two |
15 | 0 | prop three two m |
16 | 0 | prop three two n one |
17 | 0 | prop three two n two |
18 | 0 | prop three two n |
19 | 0 | prop three two o |
20 | 0 | prop three four a one |
21 | 0 | prop three four a two |
22 | 0 | prop three four a |
23 | 0 | prop three four b |
24 | 0 | prop three four c one |
25 | 0 | prop three four c two |
26 | 0 | prop three four c |
27 | 0 | prop three four d one |
28 | 0 | prop three four d two |
29 | 0 | prop three four d |
30 | 2 | {MissingArg} divides {MissingArg} |
The pyk compiler, version 0.grue.20060417+ by Klaus Grue,