0 | 0 | opgave |
1 | 0 | numeral zero |
2 | 0 | numeral one |
3 | 0 | numeral two |
4 | 0 | numeral three |
5 | 0 | numeral four |
6 | 0 | numeral five |
7 | 0 | numeral six |
8 | 0 | numeral seven |
9 | 0 | numeral eight |
10 | 0 | numeral nine |
11 | 0 | numeral n |
12 | 0 | rule div |
13 | 0 | rule r |
14 | 0 | rule r one |
15 | 0 | rule r two |
16 | 0 | rule r three |
17 | 0 | rule r four |
18 | 0 | rule r five |
19 | 0 | rule r six |
20 | 0 | conjel1 |
21 | 0 | conjel2 |
22 | 0 | conjin |
23 | 0 | disjin1 |
24 | 0 | disjin2 |
25 | 0 | t one |
26 | 0 | h zero a |
27 | 0 | h zero b |
28 | 0 | h one |
29 | 0 | h two |
30 | 0 | h three |
31 | 0 | h four |
32 | 0 | h four mark |
33 | 0 | h five |
34 | 0 | h six |
35 | 0 | h seven |
36 | 0 | h eight |
37 | 0 | h nine |
38 | 0 | h ten |
39 | 0 | h eleven |
40 | 0 | h twelwe |
41 | 0 | modus tollens |
42 | 0 | axiom s ten |
43 | 0 | prop three two |
44 | 0 | prop three two i |
45 | 0 | prop three two j one |
46 | 0 | prop three two j two |
47 | 0 | prop three two j |
48 | 0 | prop three two k one |
49 | 0 | prop three two k two |
50 | 0 | prop three two k |
51 | 0 | prop three two l one |
52 | 0 | prop three two l two |
53 | 0 | prop three two l |
54 | 0 | prop three two m one |
55 | 0 | prop three two m two |
56 | 0 | prop three two m |
57 | 0 | prop three two n one |
58 | 0 | prop three two n two |
59 | 0 | prop three two n |
60 | 0 | prop three two o |
61 | 0 | prop three four |
62 | 0 | prop three four a one |
63 | 0 | prop three four a two |
64 | 0 | prop three four a |
65 | 0 | prop three four b |
66 | 0 | prop three four c one |
67 | 0 | prop three four c two |
68 | 0 | prop three four c |
69 | 0 | prop three four d one |
70 | 0 | prop three four d two |
71 | 0 | prop three four d |
72 | 0 | prop three five |
73 | 0 | prop three five a |
74 | 0 | prop three five b |
75 | 0 | prop three five c |
76 | 0 | prop three five d one |
77 | 0 | prop three five d two |
78 | 0 | prop three five d |
79 | 0 | prop three five e one |
80 | 0 | prop three five e two |
81 | 0 | prop three five e |
82 | 0 | prop three five f one |
83 | 0 | prop three five f two |
84 | 0 | prop three five f |
85 | 0 | prop three five g one |
86 | 0 | prop three five g two |
87 | 0 | prop three five g three |
88 | 0 | prop three five g four |
89 | 0 | prop three five g |
90 | 0 | prop three five h one |
91 | 0 | prop three five h two |
92 | 0 | prop three five h |
93 | 0 | prop three five i one |
94 | 0 | prop three five i two |
95 | 0 | prop three five i |
96 | 0 | prop three five j one |
97 | 0 | prop three five j two |
98 | 0 | prop three five j |
99 | 0 | prop three seven |
100 | 0 | prop three seven a |
101 | 0 | prop three seven b |
102 | 0 | prop three seven c |
103 | 0 | prop three seven d |
104 | 0 | prop three seven e |
105 | 0 | prop three seven f |
106 | 0 | prop three seven g |
107 | 0 | prop three seven g mark |
108 | 0 | prop three seven h |
109 | 0 | prop three seven i |
110 | 0 | prop three seven j |
111 | 0 | prop three seven k |
112 | 0 | prop three seven k mark |
113 | 0 | prop three seven l |
114 | 0 | prop three seven l mark |
115 | 0 | prop three seven m |
116 | 0 | prop three seven n |
117 | 0 | prop three seven o |
118 | 0 | prop three seven p |
119 | 0 | prop three seven q |
120 | 0 | prop three seven r |
121 | 0 | prop three seven s |
122 | 0 | prop three seven t |
123 | 0 | prop three seven u |
124 | 0 | prop three seven u mark |
125 | 0 | prop three seven v |
126 | 0 | prop three seven w |
127 | 0 | prop three seven x |
128 | 0 | prop three seven x mark |
129 | 0 | prop three seven y |
130 | 0 | prop three seven y mark |
131 | 0 | prop three seven z |
132 | 0 | prop three seven z mark |
133 | 0 | prop three ten |
134 | 0 | prop three ten a |
135 | 0 | prop three ten b |
136 | 0 | prop three ten c |
137 | 0 | prop three ten d |
138 | 0 | prop three ten e |
139 | 0 | prop three ten f |
140 | 0 | prop three ten g |
141 | 0 | prop three ten h |
142 | 0 | prop three eleven |
143 | 2 | {MissingArg} ist {MissingArg} |
144 | 2 | {MissingArg} istq {MissingArg} |
145 | 2 | {MissingArg} inst {MissingArg} |
146 | 2 | {MissingArg} igt {MissingArg} |
147 | 2 | {MissingArg} igtq {MissingArg} |
148 | 2 | {MissingArg} ingt {MissingArg} |
149 | 2 | {MissingArg} neq {MissingArg} |
150 | 2 | {MissingArg} and1 {MissingArg} |
151 | 2 | {MissingArg} or1 {MissingArg} |
152 | 2 | exists {MissingArg} indeed {MissingArg} |
153 | 2 | {MissingArg} divides {MissingArg} |
154 | 1 | {MissingArg} ldots |
The pyk compiler, version 0.grue.20060417+ by Klaus Grue,