back to list

441-et notation, version 0.5 beta

🔗Gene Ward Smith <gwsmith@svpal.org>

4/14/2005 2:54:34 PM

How about this?

0: C
1: C,
2: C]<
3: C>
4: C>,
5: C]
6: C>>
7: C]]<
8: C)[
9: C>>>
10: C]]
11: C]>>
12: C)`
13: C)
14: C),
15: Cn<
16: C)>
17: Cn`
18: Cn
19: Cn,
20: D((<
21: Cn>
22: D((`
23: D((
24: Cn>>
25: Du<<
26: C))
27: C)),
28: Du<
29: C))>
30: Du`
31: Du
32: Du,
33: D(<
34: Du>
35: D(`
36: D(
37: D(,
38: D[<<
39: D[[
40: D<<<
41: D(]
42: D[[>
43: D<<
44: D[
45: D<`
46: D<
47: D[>
48: D`
49: D
50: D,
51: D]<
52: D>
53: D>,
54: D]
55: D>>
56: D]]<
57: D)[
58: D>>>
59: D]]
60: D]>>
61: D)`
62: D)
63: D),
64: Dn<
65: D)>
66: Dn`
67: Dn
68: Dn,
69: E((<
70: Dn>
71: E((`
72: E((
73: Dn>>
74: Eu<<
75: D))
76: D)),
77: Eu<
78: D))>
79: Eu`
80: Eu
81: Eu,
82: E(<
83: Eu>
84: E(`
85: E(
86: E(,
87: E[<<
88: E[[
89: E<<<
90: E(]
91: E[[>
92: E<<
93: E[
94: E<`
95: E<
96: E[>
97: E`
98: E
99: E,
100: E]<
101: E>
102: E>,
103: E]
104: E>>
105: E]]<
106: E)[
107: E>>>
108: E]]
109: E]>>
110: E)`
111: E)
112: E),
113: En<
114: E)>
115: En`
116: En
117: En,
118: F((<
119: En>
120: F((`
121: F((
122: En>>
123: Fu<<
124: E))
125: E)),
126: Fu<
127: E))>
128: Fu`
129: Fu
130: Fu,
131: F(<
132: Fu>
133: F(`
134: F(
135: F(,
136: F[<<
137: F[[
138: F<<<
139: F(]
140: F[[>
141: F<<
142: F[
143: F<`
144: F<
145: F[>
146: F`
147: F
148: F,
149: F]<
150: F>
151: F>,
152: F]
153: F>>
154: F]]<
155: F)[
156: F>>>
157: F]]
158: F]>>
159: F)`
160: F)
161: F),
162: Fn<
163: F)>
164: Fn`
165: Fn
166: Fn,
167: G((<
168: Fn>
169: G((`
170: G((
171: Fn>>
172: Gu<<
173: F))
174: F)),
175: Gu<
176: F))>
177: Gu`
178: Gu
179: Gu,
180: G(<
181: Gu>
182: G(`
183: G(
184: G(,
185: G[<<
186: G[[
187: G<<<
188: G(]
189: G[[>
190: G<<
191: G[
192: G<`
193: G<
194: G[>
195: G`
196: G
197: G,
198: G]<
199: G>
200: G>,
201: G]
202: G>>
203: G]]<
204: G)[
205: G>>>
206: G]]
207: G]>>
208: G)`
209: G)
210: G),
211: Gn<
212: G)>
213: Gn`
214: Gn
215: Gn,
216: H((<
217: Gn>
218: H((`
219: H((
220: Gn>>
221: Hu<<
222: G))
223: G)),
224: Hu<
225: G))>
226: Hu`
227: Hu
228: Hu,
229: H(<
230: Hu>
231: H(`
232: H(
233: H(,
234: H[<<
235: H[[
236: H<<<
237: H(]
238: H[[>
239: H<<
240: H[
241: H<`
242: H<
243: H[>
244: H`
245: H
246: H,
247: H]<
248: H>
249: H>,
250: H]
251: H>>
252: H]]<
253: H)[
254: H>>>
255: H]]
256: H]>>
257: H)`
258: H)
259: H),
260: Hn<
261: H)>
262: Hn`
263: Hn
264: Hn,
265: I((<
266: Hn>
267: I((`
268: I((
269: Hn>>
270: Iu<<
271: H))
272: H)),
273: Iu<
274: H))>
275: Iu`
276: Iu
277: Iu,
278: I(<
279: Iu>
280: I(`
281: I(
282: I(,
283: I[<<
284: I[[
285: I<<<
286: I(]
287: I[[>
288: I<<
289: I[
290: I<`
291: I<
292: I[>
293: I`
294: I
295: I,
296: I]<
297: I>
298: I>,
299: I]
300: I>>
301: I]]<
302: I)[
303: I>>>
304: I]]
305: I]>>
306: I)`
307: I)
308: I),
309: In<
310: I)>
311: In`
312: In
313: In,
314: A((<
315: In>
316: A((`
317: A((
318: In>>
319: Au<<
320: I))
321: I)),
322: Au<
323: I))>
324: Au`
325: Au
326: Au,
327: A(<
328: Au>
329: A(`
330: A(
331: A(,
332: A[<<
333: A[[
334: A<<<
335: A(]
336: A[[>
337: A<<
338: A[
339: A<`
340: A<
341: A[>
342: A`
343: A
344: A,
345: A]<
346: A>
347: A>,
348: A]
349: A>>
350: A]]<
351: A)[
352: A>>>
353: A]]
354: A]>>
355: A)`
356: A)
357: A),
358: An<
359: A)>
360: An`
361: An
362: An,
363: B((<
364: An>
365: B((`
366: B((
367: An>>
368: Bu<<
369: A))
370: A)),
371: Bu<
372: A))>
373: Bu`
374: Bu
375: Bu,
376: B(<
377: Bu>
378: B(`
379: B(
380: B(,
381: B[<<
382: B[[
383: B<<<
384: B(]
385: B[[>
386: B<<
387: B[
388: B<`
389: B<
390: B[>
391: B`
392: B
393: B,
394: B]<
395: B>
396: B>,
397: B]
398: B>>
399: B]]<
400: B)[
401: B>>>
402: B]]
403: B]>>
404: B)`
405: B)
406: B),
407: Bn<
408: B)>
409: Bn`
410: Bn
411: Bn,
412: C((<
413: Bn>
414: C((`
415: C((
416: Bn>>
417: Cu<<
418: B))
419: B)),
420: Cu<
421: B))>
422: Cu`
423: Cu
424: Cu,
425: C(<
426: Cu>
427: C(`
428: C(
429: C(,
430: C[<<
431: C[[
432: C<<<
433: C(]
434: C[[>
435: C<<
436: C[
437: C<`
438: C<
439: C[>
440: C`