This table lists the representations used by avram for
characters. The left column shows the character code in decimal. For
printable characters, the middle column shows the character. The right
column shows the representation used. For example, the letter A has
character code 65, and the representation
(nil,(((nil,(nil,(nil,nil))),nil),(nil,nil))).
These representations were generated automatically to meet various helpful criteria, and are not expected to change in future releases. No character representation coincides with the representations used for boolean values, natural numbers, character strings, pairs of characters, or certain other data types beyond the scope of this document. An easy algorithm for lexical sorting is possible. Subject to these criteria, the smallest possible trees were chosen.
0 (nil,(nil,(nil,((nil,nil),(nil,nil)))))
1 (nil,(nil,((nil,nil),(nil,nil))))
2 (nil,(nil,((nil,nil),(nil,(nil,nil)))))
3 (nil,(nil,((nil,(nil,nil)),(nil,nil))))
4 (nil,(nil,(((nil,nil),nil),(nil,nil))))
5 (nil,(nil,(((nil,nil),(nil,nil)),nil)))
6 (nil,(nil,((((nil,nil),(nil,nil)),nil),nil)))
7 (nil,((nil,nil),(nil,nil)))
8 (nil,((nil,nil),(nil,(nil,nil))))
9 (nil,((nil,nil),(nil,(nil,(nil,nil)))))
10 (nil,((nil,nil),(nil,(nil,(nil,(nil,nil))))))
11 (nil,((nil,nil),(nil,((nil,nil),(nil,nil)))))
12 (nil,((nil,nil),(nil,((nil,(nil,nil)),nil))))
13 (nil,((nil,nil),(nil,(((nil,nil),nil),nil))))
14 (nil,((nil,nil),((nil,nil),(nil,nil))))
15 (nil,((nil,nil),((nil,nil),(nil,(nil,nil)))))
16 (nil,((nil,nil),((nil,(nil,nil)),nil)))
17 (nil,((nil,nil),((nil,(nil,nil)),(nil,nil))))
18 (nil,((nil,nil),((nil,(nil,(nil,nil))),nil)))
19 (nil,((nil,nil),(((nil,nil),nil),(nil,nil))))
20 (nil,((nil,nil),(((nil,nil),(nil,nil)),nil)))
21 (nil,((nil,(nil,nil)),(nil,nil)))
22 (nil,((nil,(nil,nil)),(nil,(nil,nil))))
23 (nil,((nil,(nil,nil)),(nil,(nil,(nil,nil)))))
24 (nil,((nil,(nil,nil)),(nil,((nil,nil),nil))))
25 (nil,((nil,(nil,nil)),((nil,nil),nil)))
26 (nil,((nil,(nil,nil)),((nil,nil),(nil,nil))))
27 (nil,((nil,(nil,nil)),((nil,(nil,nil)),nil)))
28 (nil,((nil,(nil,nil)),(((nil,nil),nil),nil)))
29 (nil,((nil,(nil,(nil,nil))),(nil,nil)))
30 (nil,((nil,(nil,(nil,nil))),(nil,(nil,nil))))
31 (nil,((nil,(nil,(nil,nil))),((nil,nil),nil)))
32 (nil,((nil,(nil,(nil,(nil,nil)))),(nil,nil)))
33 ! (nil,((nil,(nil,((nil,nil),nil))),(nil,nil)))
34 " (nil,((nil,(nil,((nil,nil),(nil,nil)))),nil))
35 # (nil,((nil,((nil,nil),nil)),(nil,nil)))
36 $ (nil,((nil,((nil,nil),nil)),(nil,(nil,nil))))
37 % (nil,((nil,((nil,nil),(nil,nil))),nil))
38 & (nil,((nil,((nil,nil),(nil,nil))),(nil,nil)))
39 ' (nil,((nil,((nil,nil),(nil,(nil,nil)))),nil))
40 ( (nil,((nil,((nil,(nil,nil)),nil)),(nil,nil)))
41 ) (nil,((nil,((nil,(nil,nil)),(nil,nil))),nil))
42 * (nil,((nil,(((nil,nil),nil),nil)),(nil,nil)))
43 + (nil,((nil,(((nil,nil),nil),(nil,nil))),nil))
44 , (nil,((nil,(((nil,nil),(nil,nil)),nil)),nil))
45 - (nil,(((nil,nil),nil),(nil,nil)))
46 . (nil,(((nil,nil),nil),(nil,(nil,nil))))
47 / (nil,(((nil,nil),nil),(nil,(nil,(nil,nil)))))
48 0 (nil,(((nil,nil),nil),((nil,nil),(nil,nil))))
49 1 (nil,(((nil,nil),nil),((nil,(nil,nil)),nil)))
50 2 (nil,(((nil,nil),(nil,nil)),nil))
51 3 (nil,(((nil,nil),(nil,nil)),(nil,nil)))
52 4 (nil,(((nil,nil),(nil,nil)),(nil,(nil,nil))))
53 5 (nil,(((nil,nil),(nil,nil)),((nil,nil),nil)))
54 6 (nil,(((nil,nil),(nil,(nil,nil))),nil))
55 7 (nil,(((nil,nil),(nil,(nil,nil))),(nil,nil)))
56 8 (nil,(((nil,nil),(nil,(nil,(nil,nil)))),nil))
57 9 (nil,(((nil,nil),((nil,nil),nil)),(nil,nil)))
58 : (nil,(((nil,nil),((nil,nil),(nil,nil))),nil))
59 ; (nil,(((nil,nil),((nil,(nil,nil)),nil)),nil))
60 < (nil,(((nil,(nil,nil)),nil),(nil,nil)))
61 = (nil,(((nil,(nil,nil)),nil),(nil,(nil,nil))))
62 > (nil,(((nil,(nil,nil)),(nil,nil)),nil))
63 ? (nil,(((nil,(nil,nil)),(nil,nil)),(nil,nil)))
64 @ (nil,(((nil,(nil,nil)),(nil,(nil,nil))),nil))
65 A (nil,(((nil,(nil,(nil,nil))),nil),(nil,nil)))
66 B (nil,(((nil,(nil,(nil,nil))),(nil,nil)),nil))
67 C (nil,(((nil,((nil,nil),nil)),nil),(nil,nil)))
68 D (nil,(((nil,((nil,nil),nil)),(nil,nil)),nil))
69 E (nil,((((nil,nil),nil),nil),(nil,nil)))
70 F (nil,((((nil,nil),nil),nil),(nil,(nil,nil))))
71 G (nil,((((nil,nil),nil),(nil,nil)),nil))
72 H (nil,((((nil,nil),nil),(nil,nil)),(nil,nil)))
73 I (nil,((((nil,nil),nil),(nil,(nil,nil))),nil))
74 J (nil,((((nil,nil),(nil,nil)),nil),(nil,nil)))
75 K (nil,((((nil,nil),(nil,nil)),(nil,nil)),nil))
76 L (nil,((((nil,(nil,nil)),nil),nil),(nil,nil)))
77 M (nil,((((nil,(nil,nil)),nil),(nil,nil)),nil))
78 N (nil,(((((nil,nil),nil),nil),nil),(nil,nil)))
79 O (nil,(((((nil,nil),nil),nil),(nil,nil)),nil))
80 P ((nil,nil),(nil,nil))
81 Q ((nil,nil),(nil,(nil,nil)))
82 R ((nil,nil),(nil,(nil,(nil,nil))))
83 S ((nil,nil),(nil,(nil,(nil,(nil,nil)))))
84 T ((nil,nil),(nil,(nil,(nil,(nil,(nil,nil))))))
85 U ((nil,nil),(nil,(nil,((nil,(nil,nil)),nil))))
86 V ((nil,nil),(nil,(nil,(((nil,nil),nil),nil))))
87 W ((nil,nil),(nil,((nil,nil),(nil,nil))))
88 X ((nil,nil),(nil,((nil,(nil,nil)),nil)))
89 Y ((nil,nil),(nil,((nil,(nil,nil)),(nil,nil))))
90 Z ((nil,nil),(nil,((nil,(nil,(nil,nil))),nil)))
91 [ ((nil,nil),(nil,((nil,((nil,nil),nil)),nil)))
92 \ ((nil,nil),(nil,(((nil,nil),nil),nil)))
93 ] ((nil,nil),(nil,(((nil,nil),nil),(nil,nil))))
94 ^ ((nil,nil),(nil,(((nil,nil),(nil,nil)),nil)))
95 _ ((nil,nil),(nil,(((nil,(nil,nil)),nil),nil)))
96 ` ((nil,nil),(nil,((((nil,nil),nil),nil),nil)))
97 a ((nil,nil),((nil,nil),(nil,nil)))
98 b ((nil,nil),((nil,nil),(nil,(nil,nil))))
99 c ((nil,nil),((nil,nil),(nil,(nil,(nil,nil)))))
100 d ((nil,nil),((nil,nil),((nil,nil),(nil,nil))))
101 e ((nil,nil),((nil,nil),((nil,(nil,nil)),nil)))
102 f ((nil,nil),((nil,(nil,nil)),nil))
103 g ((nil,nil),((nil,(nil,nil)),(nil,nil)))
104 h ((nil,nil),((nil,(nil,nil)),(nil,(nil,nil))))
105 i ((nil,nil),((nil,(nil,nil)),((nil,nil),nil)))
106 j ((nil,nil),((nil,(nil,(nil,nil))),nil))
107 k ((nil,nil),((nil,(nil,(nil,nil))),(nil,nil)))
108 l ((nil,nil),((nil,(nil,(nil,(nil,nil)))),nil))
109 m ((nil,nil),((nil,((nil,nil),nil)),(nil,nil)))
110 n ((nil,nil),((nil,((nil,nil),(nil,nil))),nil))
111 o ((nil,nil),((nil,((nil,(nil,nil)),nil)),nil))
112 p ((nil,nil),(((nil,nil),nil),(nil,nil)))
113 q ((nil,nil),(((nil,nil),nil),(nil,(nil,nil))))
114 r ((nil,nil),(((nil,nil),(nil,nil)),nil))
115 s ((nil,nil),(((nil,nil),(nil,nil)),(nil,nil)))
116 t ((nil,nil),(((nil,nil),(nil,(nil,nil))),nil))
117 u ((nil,nil),(((nil,(nil,nil)),nil),(nil,nil)))
118 v ((nil,nil),(((nil,(nil,nil)),(nil,nil)),nil))
119 w ((nil,nil),((((nil,nil),nil),nil),(nil,nil)))
120 x ((nil,nil),((((nil,nil),nil),(nil,nil)),nil))
121 y ((nil,nil),(((((nil,nil),nil),nil),nil),nil))
122 z ((nil,(nil,nil)),(nil,nil))
123 { ((nil,(nil,nil)),(nil,(nil,(nil,nil))))
124 | ((nil,(nil,nil)),(nil,(nil,(nil,(nil,nil)))))
125 } ((nil,(nil,nil)),(nil,((nil,nil),nil)))
126 ~ ((nil,(nil,nil)),(nil,((nil,nil),(nil,nil))))
127 ((nil,(nil,nil)),(nil,((nil,(nil,nil)),nil)))
128 ((nil,(nil,nil)),((nil,nil),(nil,nil)))
129 ((nil,(nil,nil)),((nil,nil),(nil,(nil,nil))))
130 ((nil,(nil,nil)),((nil,(nil,nil)),nil))
131 ((nil,(nil,nil)),((nil,(nil,nil)),(nil,nil)))
132 ((nil,(nil,nil)),((nil,(nil,(nil,nil))),nil))
133 ((nil,(nil,nil)),(((nil,nil),nil),(nil,nil)))
134 ((nil,(nil,nil)),(((nil,nil),(nil,nil)),nil))
135 ((nil,(nil,(nil,nil))),(nil,nil))
136 ((nil,(nil,(nil,nil))),(nil,(nil,nil)))
137 ((nil,(nil,(nil,nil))),(nil,(nil,(nil,nil))))
138 ((nil,(nil,(nil,nil))),(nil,((nil,nil),nil)))
139 ((nil,(nil,(nil,nil))),((nil,nil),(nil,nil)))
140 ((nil,(nil,(nil,nil))),((nil,(nil,nil)),nil))
141 ((nil,(nil,(nil,(nil,nil)))),(nil,nil))
142 ((nil,(nil,(nil,(nil,nil)))),(nil,(nil,nil)))
143 ((nil,(nil,(nil,(nil,nil)))),((nil,nil),nil))
144 ((nil,(nil,(nil,(nil,(nil,nil))))),(nil,nil))
145 ((nil,(nil,(nil,((nil,nil),nil)))),(nil,nil))
146 ((nil,(nil,((nil,nil),nil))),(nil,nil))
147 ((nil,(nil,((nil,nil),(nil,nil)))),(nil,nil))
148 ((nil,(nil,((nil,(nil,nil)),nil))),(nil,nil))
149 ((nil,(nil,(((nil,nil),nil),nil))),(nil,nil))
150 ((nil,((nil,nil),nil)),(nil,nil))
151 ((nil,((nil,nil),nil)),(nil,(nil,nil)))
152 ((nil,((nil,nil),nil)),(nil,(nil,(nil,nil))))
153 ((nil,((nil,nil),nil)),(nil,((nil,nil),nil)))
154 ((nil,((nil,nil),nil)),((nil,nil),(nil,nil)))
155 ((nil,((nil,nil),nil)),((nil,(nil,nil)),nil))
156 ((nil,((nil,nil),(nil,nil))),(nil,nil))
157 ((nil,((nil,nil),(nil,nil))),(nil,(nil,nil)))
158 ((nil,((nil,nil),(nil,(nil,nil)))),(nil,nil))
159 ((nil,((nil,nil),((nil,nil),nil))),(nil,nil))
160 ((nil,((nil,(nil,nil)),nil)),(nil,nil))
161 ((nil,((nil,(nil,nil)),nil)),(nil,(nil,nil)))
162 ((nil,((nil,(nil,nil)),nil)),((nil,nil),nil))
163 ((nil,((nil,(nil,nil)),(nil,nil))),(nil,nil))
164 ((nil,((nil,(nil,(nil,nil))),nil)),(nil,nil))
165 ((nil,((nil,((nil,nil),nil)),nil)),(nil,nil))
166 ((nil,(((nil,nil),nil),nil)),(nil,nil))
167 ((nil,(((nil,nil),nil),(nil,nil))),(nil,nil))
168 ((nil,(((nil,nil),(nil,nil)),nil)),(nil,nil))
169 ((nil,(((nil,(nil,nil)),nil),nil)),(nil,nil))
170 ((nil,((((nil,nil),nil),nil),nil)),(nil,nil))
171 (((nil,nil),nil),(nil,nil))
172 (((nil,nil),nil),(nil,(nil,nil)))
173 (((nil,nil),nil),(nil,(nil,(nil,nil))))
174 (((nil,nil),nil),(nil,(nil,(nil,(nil,nil)))))
175 (((nil,nil),nil),(nil,(nil,((nil,nil),nil))))
176 (((nil,nil),nil),(nil,((nil,nil),nil)))
177 (((nil,nil),nil),(nil,((nil,nil),(nil,nil))))
178 (((nil,nil),nil),(nil,((nil,(nil,nil)),nil)))
179 (((nil,nil),nil),(nil,(((nil,nil),nil),nil)))
180 (((nil,nil),nil),((nil,nil),(nil,nil)))
181 (((nil,nil),nil),((nil,nil),(nil,(nil,nil))))
182 (((nil,nil),nil),((nil,(nil,nil)),nil))
183 (((nil,nil),nil),((nil,(nil,nil)),(nil,nil)))
184 (((nil,nil),nil),((nil,(nil,(nil,nil))),nil))
185 (((nil,nil),nil),(((nil,nil),nil),(nil,nil)))
186 (((nil,nil),nil),(((nil,nil),(nil,nil)),nil))
187 (((nil,nil),(nil,nil)),(nil,nil))
188 (((nil,nil),(nil,nil)),(nil,(nil,nil)))
189 (((nil,nil),(nil,nil)),(nil,(nil,(nil,nil))))
190 (((nil,nil),(nil,nil)),(nil,((nil,nil),nil)))
191 (((nil,nil),(nil,nil)),((nil,(nil,nil)),nil))
192 (((nil,nil),(nil,(nil,nil))),(nil,nil))
193 (((nil,nil),(nil,(nil,nil))),(nil,(nil,nil)))
194 (((nil,nil),(nil,(nil,(nil,nil)))),(nil,nil))
195 (((nil,nil),(nil,((nil,nil),nil))),(nil,nil))
196 (((nil,nil),((nil,nil),nil)),(nil,nil))
197 (((nil,nil),((nil,nil),nil)),(nil,(nil,nil)))
198 (((nil,nil),((nil,nil),(nil,nil))),(nil,nil))
199 (((nil,nil),((nil,(nil,nil)),nil)),(nil,nil))
200 (((nil,nil),(((nil,nil),nil),nil)),(nil,nil))
201 (((nil,(nil,nil)),nil),(nil,nil))
202 (((nil,(nil,nil)),nil),(nil,(nil,nil)))
203 (((nil,(nil,nil)),nil),(nil,(nil,(nil,nil))))
204 (((nil,(nil,nil)),nil),(nil,((nil,nil),nil)))
205 (((nil,(nil,nil)),nil),((nil,nil),(nil,nil)))
206 (((nil,(nil,nil)),nil),((nil,(nil,nil)),nil))
207 (((nil,(nil,nil)),(nil,nil)),(nil,nil))
208 (((nil,(nil,nil)),(nil,nil)),(nil,(nil,nil)))
209 (((nil,(nil,nil)),(nil,(nil,nil))),(nil,nil))
210 (((nil,(nil,nil)),((nil,nil),nil)),(nil,nil))
211 (((nil,(nil,(nil,nil))),nil),(nil,nil))
212 (((nil,(nil,(nil,nil))),nil),(nil,(nil,nil)))
213 (((nil,(nil,(nil,nil))),nil),((nil,nil),nil))
214 (((nil,(nil,(nil,nil))),(nil,nil)),(nil,nil))
215 (((nil,(nil,(nil,(nil,nil)))),nil),(nil,nil))
216 (((nil,(nil,((nil,nil),nil))),nil),(nil,nil))
217 (((nil,((nil,nil),nil)),nil),(nil,nil))
218 (((nil,((nil,nil),nil)),nil),(nil,(nil,nil)))
219 (((nil,((nil,nil),nil)),nil),((nil,nil),nil))
220 (((nil,((nil,nil),nil)),(nil,nil)),(nil,nil))
221 (((nil,((nil,nil),(nil,nil))),nil),(nil,nil))
222 (((nil,((nil,(nil,nil)),nil)),nil),(nil,nil))
223 (((nil,(((nil,nil),nil),nil)),nil),(nil,nil))
224 ((((nil,nil),nil),nil),(nil,nil))
225 ((((nil,nil),nil),nil),(nil,(nil,nil)))
226 ((((nil,nil),nil),nil),(nil,(nil,(nil,nil))))
227 ((((nil,nil),nil),nil),(nil,((nil,nil),nil)))
228 ((((nil,nil),nil),nil),((nil,nil),nil))
229 ((((nil,nil),nil),nil),((nil,nil),(nil,nil)))
230 ((((nil,nil),nil),nil),((nil,(nil,nil)),nil))
231 ((((nil,nil),nil),nil),(((nil,nil),nil),nil))
232 ((((nil,nil),nil),(nil,nil)),(nil,nil))
233 ((((nil,nil),nil),(nil,nil)),(nil,(nil,nil)))
234 ((((nil,nil),nil),(nil,(nil,nil))),(nil,nil))
235 ((((nil,nil),nil),((nil,nil),nil)),(nil,nil))
236 ((((nil,nil),(nil,nil)),nil),(nil,nil))
237 ((((nil,nil),(nil,nil)),nil),(nil,(nil,nil)))
238 ((((nil,nil),(nil,nil)),(nil,nil)),(nil,nil))
239 ((((nil,nil),(nil,(nil,nil))),nil),(nil,nil))
240 ((((nil,nil),((nil,nil),nil)),nil),(nil,nil))
241 ((((nil,(nil,nil)),nil),nil),(nil,nil))
242 ((((nil,(nil,nil)),nil),nil),(nil,(nil,nil)))
243 ((((nil,(nil,nil)),nil),nil),((nil,nil),nil))
244 ((((nil,(nil,nil)),nil),(nil,nil)),(nil,nil))
245 ((((nil,(nil,nil)),(nil,nil)),nil),(nil,nil))
246 ((((nil,(nil,(nil,nil))),nil),nil),(nil,nil))
247 ((((nil,((nil,nil),nil)),nil),nil),(nil,nil))
248 (((((nil,nil),nil),nil),nil),(nil,nil))
249 (((((nil,nil),nil),nil),nil),(nil,(nil,nil)))
250 (((((nil,nil),nil),nil),nil),((nil,nil),nil))
251 (((((nil,nil),nil),nil),(nil,nil)),(nil,nil))
252 (((((nil,nil),nil),(nil,nil)),nil),(nil,nil))
253 (((((nil,nil),(nil,nil)),nil),nil),(nil,nil))
254 (((((nil,(nil,nil)),nil),nil),nil),(nil,nil))
255 ((((((nil,nil),nil),nil),nil),nil),(nil,nil))