The Cathedral and the BazaarEric S. Raymond |
Word index links are to html versions of the text the segmented version followed by the scroll (single document) version.
[For segmented text references [T1], [T2] or [T3] appearing without a link, indicates that the word appears in a title (or subtitle) of the text (that is identifiable by the appended object citation number).]
(The word listing/index is Case sensitive: Capitalized words appear before lower case)
word (number of occurences)
linked references to word within document
[if number of occurences exceed number of references - word occurs more than once in at least one reference. Footnote/endnotes are either assigned to the paragraph from which they are referenced or ignored, so it is relevant to check the footnotes referenced from within a paragraph as well.]
(After the page is fully loaded) you can jump directly to a word by appending a hash (#) and the word to the url for this text, (do not forget that words are case sensitive, and may be listed twice (starting with and without an upper case letter)), #your_word # [ http://[web host]/the_cathedral_and_the_bazaar.eric_s_raymond/concordance.html#your_word ]
A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z,
(5)
(11)
89, 91, 162, 163, 169, 172, 227, 228,
(29)
9, 24, 52, 69, 80, 93, 99, 100, 102, 104, 112, 113, 118, 127, 135, 151, 157, 162, 167, 170, 179, 186, 238, 242, 251,
(6)
(1)
172,
(1)
212,
(1)
77,
(1)
258,
(2)
90,
(1)
187,
(1)
25,
(1)
231,
(1)
227,
(5)
(1)
59,
(1)
179,
(1)
85,
(1)
66,
(1)
147,
(1)
143,
(1)
242,
(6)
(2)
(2)
(1)
39,
(3)
(2)
(4)
(2)
(4)
(10)
14, 22, 34, 45, 69, 108, 163, 198, 213, 255,
(1)
199,
(1)
214,
(1)
197,
(5)
(1)
72,
(9)
28, 70, 73, 74, 84, 102, 107, 151, 185,
(3)
(3)
(2)
(1)
73,
(1)
195,
(1)
93,
(1)
210,
(1)
213,
(1)
72,
(1)
205,
(12)
31, 33, 77, 99, 120, 143, 163, 241, 247, 255, 256,
(1)
140,
(1)
248,
(3)
(3)
(1)
6,
(3)
(1)
197,
(2)
(1)
33,
(2)
(1)
237,
(1)
61,
(1)
131,
(1)
200,
(1)
194,
(2)
147,
(34)
3, 9, 12, 21, 22, 44, 53, 63, 65, 69, 99, 110, 111, 114, 116, 118, 121, 123, 125, 142, 143, 150, 154, 157, 164, 176, 195, 212, 214, 216, 223, 234, 241,
(1)
243,
(1)
224,
(3)
(1)
11,
(1)
98,
(11)
11, 21, 24, 50, 62, 71, 101, 110, 114, 139, 177,
(3)
(2)
(1)
214,
(5)
(13)
5, 7, 73, 89, 128, 129, 142, 155, 197, 212, 214, 252, 254,
(1)
126,
(1)
139,
(2)
(1)
198,
(1)
198,
(1)
198,
(4)
(1)
26,
(1)
93,
(4)
(2)
(2)
(1)
204,
(1)
197,
(1)
235,
(4)
(1)
73,
(2)
(1)
208,
(3)
(341)
1, 2, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 20, 21, 22, 25, 26, 28, 33, 34, 39, 41, 42, 43, 44, 45, 46, 47, 48, 50, 51, 52, 53, 55, 56, 57, 58, 59, 60, 61, 62, 64, 65, 66, 67, 69, 70, 71, 73, 75, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 89, 90, 91, 93, 94, 95, 96, 97, 98, 101, 104, 107, 111, 113, 114, 118, 122, 125, 127, 128, 131, 133, 135, 136, 138, 141, 142, 143, 144, 147, 149, 150, 151, 156, 157, 158, 159, 160, 163, 167, 168, 169, 170, 173, 174, 175, 176, 177, 178, 179, 180, 182, 184, 185, 186, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 207, 208, 209, 210, 212, 213, 214, 215, 218, 219, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 234, 235, 236, 237, 240, 241, 242, 243, 247, 248, 249, 252, 253, 254, 255, 256, 257, 258,
(1)
141,
(1)
141,
(1)
73,
(1)
247,
(1)
247,
(1)
103,
(1)
12,
(14)
31, 42, 77, 83, 95, 129, 148, 159, 162, 178, 190, 193, 251,
(1)
186,
(2)
(1)
60,
(2)
(1)
131,
(1)
136,
(17)
58, 61, 67, 69, 88, 99, 114, 144, 146, 149, 197, 210, 232, 234, 237, 238, 257,
(1)
177,
(1)
30,
(4)
(2)
(3)
(2)
(1)
7,
(1)
9,
(1)
28,
(1)
210,
(2)
(1)
214,
(1)
68,
(1)
114,
(2)
(1)
199,
(1)
68,
(1)
196,
(1)
195,
(3)
(2)
(1)
247,
(1)
6,
(1)
213,
(2)
(2)
(3)
(4)
(56)
4, 9, 13, 41, 42, 50, 58, 63, 65, 66, 69, 73, 75, 81, 86, 87, 88, 91, 116, 118, 121, 134, 139, 153, 154, 157, 160, 186, 188, 191, 194, 198, 203, 213, 215, 225, 232, 235, 237, 238, 243,
(1)
232,
(1)
185,
(1)
176,
(5)
(1)
213,
(1)
206,
(7)
(1)
12,
(1)
87,
(1)
148,
(2)
(2)
(2)
(1)
240,
(1)
243,
(1)
178,
(1)
66,
(1)
206,
(1)
86,
(1)
212,
(1)
185,
(1)
240,
(1)
105,
(1)
225,
(1)
237,
(3)
(1)
197,
(2)
(2)
(3)
(2)
(1)
88,
(1)
119,
(2)
(1)
119,
(5)
(1)
131,
(1)
194,
(1)
225,
(4)
(2)
(1)
68,
(1)
131,
(2)
(2)
(1)
65,
(2)
78,
(1)
82,
(9)
18, 22, 27, 30, 120, 131, 132, 149, 247,
(1)
58,
(1)
236,
(1)
228,
(1)
6,
(7)
71, 89, 91, 115, 130, 153, 182,
(1)
258,
(2)
(5)
(1)
236,
(1)
5,
(1)
7,
(8)
23, 24, 27, 41, 56, 61, 62, 177,
(1)
194,
(4)
(3)
(32)
1, 2, 6, 7, 8, 48, 65, 66, 77, 108, 166, 167, 168, 170, 171, 174, 176, 177, 178, 180, 188, 204, 208, 209, 213, 245, 247, 251, 255,
(1)
205,
(1)
94,
(3)
(34)
13, 19, 41, 42, 47, 50, 51, 56, 73, 99, 108, 119, 128, 138, 144, 148, 151, 160, 163, 174, 175, 176, 182, 206, 227, 232, 240,
(1)
186,
(5)
(1)
109,
(1)
106,
(1)
118,
(32)
4, 5, 11, 18, 24, 32, 48, 56, 68, 88, 111, 113, 120, 123, 126, 148, 150, 159, 176, 184, 185, 195, 212, 213, 227, 240, 252, 254,
(8)
5, 29, 33, 46, 91, 153, 191, 247,
(2)
(1)
223,
(4)
(1)
248,
(1)
197,
(1)
61,
(4)
(5)
(10)
53, 67, 118, 175, 176, 225, 227, 231, 237, 252,
(2)
(1)
234,
(1)
51,
(5)
(3)
(1)
227,
(1)
191,
(2)
204,
(1)
66,
(1)
129,
(2)
(1)
159,
(1)
191,
(1)
95,
(6)
(1)
234,
(13)
5, 62, 74, 81, 82, 83, 102, 103, 104, 106, 107, 138, 148,
(1)
75,
(11)
26, 27, 97, 117, 133, 136, 201, 203, 228, 240, 257,
(13)
51, 70, 79, 80, 82, 83, 85, 160, 188, 195, 227,
(1)
165,
(1)
140,
(2)
(1)
64,
(1)
116,
(1)
80,
(1)
197,
(1)
192,
(14)
33, 42, 68, 118, 148, 150, 200, 214, 256,
(1)
134,
(1)
11,
(1)
210,
(1)
131,
(1)
198,
(1)
232,
(3)
(1)
234,
(1)
66,
(16)
26, 64, 75, 79, 82, 113, 133, 134, 167, 170, 173, 202, 225, 227, 258,
(1)
111,
(1)
81,
(1)
138,
(1)
189,
(1)
189,
(1)
19,
(1)
80,
(1)
58,
(1)
26,
(3)
(3)
(2)
(1)
160,
(1)
255,
(1)
84,
(13)
30, 72, 84, 85, 86, 98, 185, 186, 188, 202,
(1)
86,
(1)
119,
(1)
195,
(2)
(1)
34,
(1)
214,
(1)
88,
(20)
61, 73, 74, 78, 80, 86, 87, 88, 89, 91, 105, 189,
(1)
151,
(1)
67,
(3)
(21)
33, 51, 58, 63, 65, 66, 67, 72, 73, 75, 81, 85, 87, 90, 95, 135, 144, 159, 186,
(3)
(2)
65,
(1)
7,
(7)
(1)
229,
(2)
(1)
11,
(2)
(1)
61,
(1)
113,
(87)
5, 7, 9, 13, 14, 16, 18, 21, 22, 26, 28, 29, 37, 45, 52, 53, 56, 57, 58, 59, 64, 69, 74, 75, 81, 86, 88, 90, 94, 99, 100, 111, 120, 121, 124, 127, 130, 132, 134, 139, 141, 142, 144, 145, 146, 148, 151, 168, 171, 172, 175, 177, 179, 184, 185, 187, 188, 190, 194, 195, 197, 198, 201, 206, 212, 214, 215, 220, 223, 225, 233, 235, 240, 257,
(2)
(1)
215,
(2)
(6)
(4)
(47)
6, 11, 41, 42, 46, 48, 68, 70, 75, 77, 81, 87, 89, 91, 112, 118, 128, 131, 136, 140, 147, 151, 153, 161, 168, 169, 171, 186, 188, 195, 200, 202, 205, 206, 210, 214, 223, 231, 235, 240, 241, 257,
(1)
25,
(1)
228,
(4)
(1)
135,
(1)
202,
(2)
(1)
148,
(2)
(9)
26, 33, 37, 39, 94, 96, 141, 184,
(1)
148,
(2)
(4)
(4)
(1)
162,
(1)
210,
(1)
139,
(15)
1, 2, 6, 7, 46, 48, 51, 52, 53, 65, 204, 208, 213, 247,
(1)
5,
(1)
211,
(1)
88,
(2)
(1)
252,
(3)
11,
Ccil
(2)
(1)
87,
(2)
(1)
5,
(1)
194,
(2)
(3)
(2)
(2)
(10)
89, 96, 99, 129, 134, 148, 151, 162, 171, 210,
(2)
(6)
(1)
213,
(1)
202,
(2)
(1)
148,
(1)
83,
(3)
(1)
62,
(1)
64,
(1)
45,
(1)
180,
(1)
89,
(1)
103,
(7)
(1)
229,
(2)
(1)
15,
(2)
11,
(1)
248,
(1)
131,
(1)
238,
(3)
(2)
(1)
68,
(1)
257,
(1)
231,
(1)
90,
(4)
(1)
144,
(2)
(3)
(1)
198,
(1)
148,
(2)
(4)
(2)
(1)
45,
(2)
(6)
(2)
(1)
22,
(4)
(9)
79, 189, 205, 206, 208, 210, 212, 227, 232,
(1)
19,
(2)
(1)
85,
(1)
3,
(42)
22, 24, 26, 33, 35, 42, 43, 46, 47, 51, 52, 61, 77, 80, 81, 82, 85, 86, 88, 90, 94, 95, 97, 110, 127, 133, 138, 144, 148, 163, 167, 168, 186, 189, 257,
(3)
(1)
186,
(1)
80,
(2)
(5)
(2)
(2)
(1)
192,
(3)
(2)
(1)
46,
(1)
196,
(2)
(1)
202,
(1)
67,
(1)
197,
(2)
(4)
(1)
39,
(1)
215,
(1)
180,
(2)
(1)
195,
(6)
(1)
51,
(1)
238,
(1)
235,
(6)
(1)
28,
(2)
(5)
(7)
(1)
247,
(5)
(20)
6, 9, 18, 48, 167, 168, 169, 177, 179, 184, 205, 210, 212, 214, 229, 231, 234, 239, 240,
(2)
(1)
214,
(1)
187,
(2)
(2)
(1)
227,
(3)
(1)
139,
(2)
(3)
(1)
256,
(2)
(1)
237,
(3)
(6)
(13)
5, 44, 56, 68, 70, 74, 76, 84, 94, 114, 159, 185,
(2)
(1)
174,
(3)
(1)
157,
(1)
98,
(5)
(1)
58,
(1)
195,
(1)
170,
(2)
193,
(2)
81,
(1)
232,
(2)
(2)
(1)
127,
(1)
114,
(1)
159,
(3)
(1)
200,
(2)
(3)
(2)
(3)
(1)
195,
(1)
45,
(1)
58,
(1)
82,
(1)
83,
(2)
(3)
(1)
170,
(1)
213,
(2)
(1)
60,
(1)
60,
(2)
(1)
21,
(1)
102,
(1)
34,
(1)
239,
(5)
(1)
98,
(5)
(1)
67,
(1)
212,
(1)
190,
(1)
141,
(1)
46,
(2)
(1)
205,
(2)
(5)
(8)
(1)
212,
(1)
158,
(14)
208, 209, 212, 225, 228, 232, 233, 234, 235, 236, 237, 239,
(2)
213,
(2)
(1)
228,
(1)
169,
(2)
(2)
(1)
193,
(1)
70,
(2)
(6)
(1)
75,
(1)
189,
(13)
46, 48, 51, 53, 65, 82, 83, 86, 158,
(1)
235,
(1)
9,
(1)
197,
(2)
(1)
66,
(2)
(6)
(4)
(23)
3, 6, 8, 12, 26, 39, 42, 47, 51, 57, 58, 113, 126, 140, 141, 142, 191, 193, 194, 197, 205, 255, 257,
(1)
111,
(1)
202,
(1)
11,
(1)
153,
(1)
46,
(1)
177,
(1)
231,
(1)
5,
(1)
59,
(1)
175,
(3)
(4)
(1)
45,
(8)
(1)
105,
(1)
180,
(1)
219,
(2)
(1)
127,
(1)
231,
(1)
243,
(2)
(2)
(6)
(1)
198,
(1)
74,
(4)
(2)
(1)
175,
(2)
(1)
47,
(2)
(1)
158,
(1)
26,
(1)
60,
(1)
58,
(1)
251,
(7)
(2)
(1)
138,
(9)
11, 47, 56, 77, 101, 138, 247, 249,
(5)
(1)
58,
(1)
214,
(5)
(1)
168,
(3)
(14)
42, 43, 51, 61, 64, 68, 70, 73, 77, 90, 135, 174,
(1)
251,
(1)
234,
(2)
(3)
(1)
104,
(1)
155,
(1)
163,
(1)
65,
(2)
(1)
74,
(1)
79,
(1)
125,
(1)
224,
(1)
232,
(1)
225,
(1)
224,
(1)
218,
(1)
257,
(3)
(1)
50,
(2)
(1)
6,
(1)
189,
(3)
(3)
(2)
134,
(12)
110, 113, 114, 123, 125, 126, 128, 130, 135, 180,
(5)
(2)
(2)
(1)
159,
(1)
158,
(1)
41,
(1)
236,
(1)
64,
(1)
254,
(1)
89,
(1)
126,
(1)
87,
(1)
186,
(2)
(1)
118,
(1)
201,
(1)
173,
(1)
187,
(1)
209,
(1)
187,
(36)
58, 94, 95, 96, 99, 104, 111, 121, 123, 132, 133, 134, 135, 136, 138, 140, 145, 156, 170, 171, 172, 173, 174, 175, 176, 177, 178, 189,
(1)
75,
(3)
(2)
(2)
(1)
238,
(1)
212,
(1)
64,
(4)
(1)
89,
(4)
(2)
(27)
17, 62, 70, 74, 77, 79, 80, 82, 83, 88, 89, 91, 167, 168, 188, 189, 191, 202, 205, 210,
(31)
3, 18, 41, 43, 50, 54, 56, 66, 70, 73, 77, 82, 84, 85, 86, 105, 136, 169, 184, 185, 186, 191, 193, 202, 225, 226, 236,
(4)
(51)
4, 6, 9, 23, 27, 45, 46, 47, 50, 51, 52, 53, 58, 61, 65, 68, 79, 80, 84, 86, 101, 124, 135, 141, 167, 176, 177, 178, 179, 185, 193, 199, 203, 210, 212, 213, 214, 217, 230, 232, 234, 239, 254, 255, 258,
(1)
42,
(1)
13,
(12)
8, 19, 25, 39, 57, 94, 96, 100, 118, 127, 257,
(12)
7, 22, 28, 58, 116, 163, 168, 215, 255, 256,
(1)
226,
(3)
(7)
(2)
(1)
6,
(4)
(1)
91,
(1)
136,
(2)
(2)
201,
(2)
(2)
(1)
65,
(1)
139,
(1)
195,
(1)
215,
(1)
68,
(1)
251,
(1)
39,
(1)
173,
(1)
186,
(1)
128,
(1)
88,
(1)
39,
(1)
243,
(1)
239,
(1)
173,
(1)
237,
(1)
210,
(1)
7,
(1)
83,
(1)
255,
(1)
53,
(1)
201,
(1)
149,
(3)
201,
(1)
169,
(1)
201,
(5)
(8)
13, 70, 151, 163, 169, 214, 251,
(1)
51,
(8)
16, 52, 56, 91, 179, 229, 240,
(1)
160,
(1)
236,
(12)
21, 31, 50, 95, 96, 112, 131, 159, 164, 192, 219, 234,
(12)
4, 27, 41, 84, 100, 141, 147, 164, 185, 199, 200, 231,
(1)
66,
(1)
227,
(5)
(2)
(1)
136,
(1)
254,
(2)
(1)
44,
(1)
198,
(3)
(3)
(1)
258,
(2)
(1)
220,
(1)
134,
(1)
63,
(1)
71,
(1)
97,
(1)
111,
(1)
57,
(1)
200,
(3)
(1)
213,
(6)
(1)
256,
(1)
33,
(1)
38,
(3)
(8)
73, 79, 86, 89, 143, 195, 232,
(1)
66,
(3)
(14)
4, 6, 49, 50, 55, 56, 69, 71, 99, 101, 167, 174, 195,
(3)
(1)
91,
(4)
(4)
(1)
197,
(3)
(1)
244,
(2)
(2)
(1)
15,
(3)
(19)
44, 51, 66, 68, 69, 71, 73, 86, 89, 91, 159, 186, 188, 194, 197, 209,
(11)
9, 42, 43, 54, 90, 196, 204, 212, 214, 229, 232,
(3)
(1)
131,
(3)
(2)
(5)
(12)
21, 58, 59, 73, 171, 177, 192, 195, 196, 210, 212, 255,
(1)
214,
(2)
(1)
189,
(1)
188,
(7)
(1)
197,
(1)
235,
(10)
24, 47, 56, 64, 86, 173, 229, 231, 232,
(3)
(18)
4, 5, 46, 47, 48, 51, 52, 156, 212, 213, 236,
(3)
(1)
248,
(1)
204,
(1)
245,
(1)
6,
(1)
72,
(1)
185,
(1)
116,
(1)
46,
(1)
199,
(1)
69,
(1)
186,
(1)
191,
(1)
42,
(1)
35,
(1)
103,
(1)
162,
(1)
164,
(3)
(1)
208,
(2)
(1)
180,
(1)
188,
(1)
196,
(1)
138,
(1)
209,
(1)
254,
(1)
58,
(8)
58, 59, 140, 141, 153, 237, 238, 257,
(1)
156,
(8)
(2)
(1)
82,
(1)
242,
(1)
180,
(1)
180,
(10)
24, 31, 62, 63, 67, 69, 118, 139, 188, 190,
(1)
234,
(1)
195,
(1)
195,
(4)
(2)
(1)
213,
(3)
(1)
245,
(2)
68,
(1)
230,
(1)
126,
(2)
(2)
(3)
(1)
34,
(5)
(5)
(2)
(4)
(1)
39,
(1)
225,
(1)
89,
(1)
151,
(27)
3, 37, 60, 61, 64, 67, 68, 72, 81, 82, 88, 90, 116, 136, 140, 142, 194, 200, 205, 214, 215, 225, 238, 243,
(3)
(5)
(11)
17, 51, 62, 64, 66, 101, 118, 138, 142, 242,
(3)
(1)
182,
(2)
(1)
6,
(2)
(1)
201,
(3)
(3)
(3)
(2)
(1)
81,
(4)
(1)
64,
(2)
(6)
(1)
145,
(2)
(1)
27,
(2)
(1)
248,
(2)
(1)
156,
(1)
177,
(1)
94,
(1)
111,
(1)
13,
(1)
52,
(5)
(1)
147,
(3)
(1)
201,
(3)
(2)
(3)
(1)
155,
(1)
189,
(1)
68,
(2)
(1)
197,
(1)
198,
(1)
136,
(2)
(1)
189,
(2)
(1)
188,
(1)
66,
(1)
213,
(1)
45,
(1)
148,
(1)
135,
(2)
(1)
119,
(3)
(1)
160,
(1)
180,
(1)
131,
(2)
(1)
236,
(1)
251,
(12)
7, 11, 44, 45, 69, 75, 87, 142, 198, 211, 212,
(2)
(1)
190,
(3)
(1)
243,
(1)
81,
(1)
209,
(1)
168,
(2)
(1)
242,
(2)
(1)
201,
(1)
185,
(1)
227,
(1)
195,
(1)
45,
(2)
(1)
198,
(1)
198,
(8)
42, 80, 139, 177, 179, 214, 232, 234,
(1)
232,
(1)
226,
(1)
186,
(1)
157,
(2)
(1)
126,
(8)
14, 25, 69, 105, 110, 139, 143, 148,
(6)
(1)
249,
(1)
71,
(3)
(3)
(1)
48,
(1)
143,
(4)
(30)
47, 102, 107, 108, 109, 111, 123, 133, 134, 135, 137, 142, 147, 152, 153, 160, 162, 163, 170, 173, 175, 176, 184, 200, 202, 205,
(1)
164,
(6)
(12)
26, 51, 52, 65, 90, 120, 138, 152, 205, 250, 257,
(1)
198,
(1)
228,
(1)
111,
(8)
111, 125, 127, 128, 154, 155, 162, 163,
(2)
(1)
235,
(1)
139,
(1)
69,
(1)
46,
(2)
(13)
36, 51, 69, 72, 73, 79, 88, 91, 118, 124, 136, 226,
(4)
(5)
(1)
58,
(1)
200,
(23)
4, 9, 16, 25, 31, 32, 33, 64, 91, 94, 96, 100, 114, 116, 119, 143, 192, 227, 241, 247, 248,
(2)
(4)
(1)
88,
(4)
(3)
(1)
249,
(1)
53,
(2)
98,
(1)
46,
(1)
7,
(1)
184,
(1)
136,
(1)
237,
(2)
(1)
136,
(5)
(1)
248,
(1)
136,
(123)
4, 5, 12, 14, 16, 18, 21, 22, 23, 24, 25, 26, 27, 28, 33, 35, 39, 42, 45, 46, 47, 50, 51, 56, 58, 69, 78, 80, 89, 90, 94, 95, 96, 98, 105, 108, 110, 111, 113, 118, 119, 126, 127, 128, 134, 140, 141, 142, 143, 144, 147, 148, 151, 158, 160, 166, 167, 171, 173, 174, 176, 182, 184, 186, 189, 192, 193, 197, 198, 213, 214, 215, 221, 224, 225, 226, 227, 228, 230, 231, 232, 234, 235, 236, 239, 243, 247, 248, 249, 251, 255, 256, 257,
(1)
186,
(1)
149,
(1)
144,
(1)
140,
(1)
169,
(1)
139,
(4)
(2)
(1)
93,
(1)
195,
(1)
85,
(1)
242,
(1)
64,
(3)
(9)
13, 110, 113, 116, 125, 128, 139, 173,
(9)
12, 14, 25, 26, 33, 108, 130, 258,
(1)
47,
(2)
(2)
(1)
255,
(1)
9,
(2)
(1)
159,
(1)
45,
(1)
201,
(2)
(6)
(1)
53,
(3)
(1)
242,
(4)
(1)
24,
(1)
107,
(55)
6, 7, 21, 22, 47, 58, 69, 74, 89, 91, 99, 105, 108, 116, 117, 120, 122, 123, 133, 143, 151, 152, 153, 157, 168, 170, 171, 172, 173, 179, 187, 189, 190, 204, 215, 224, 228, 229, 234, 255, 256, 257,
(3)
(1)
79,
(2)
(6)
(3)
(2)
(1)
217,
(4)
(1)
201,
(1)
185,
(1)
123,
(1)
19,
(1)
141,
(1)
144,
(4)
(1)
187,
(2)
(1)
255,
(1)
199,
(1)
149,
(2)
(1)
254,
(7)
51, 96, 121, 135, 153, 160, 164,
(1)
144,
(5)
(2)
(3)
(1)
47,
(2)
(7)
(1)
99,
(1)
191,
(1)
186,
(1)
192,
(22)
10, 21, 25, 31, 45, 52, 66, 75, 100, 113, 120, 126, 140, 154, 163, 171, 188, 193, 219, 234, 248,
(2)
(2)
(5)
(9)
42, 62, 63, 69, 81, 89, 188, 201, 252,
(1)
9,
(6)
(2)
(9)
214, 218, 223, 235, 236, 237, 242, 257,
(2)
(7)
(29)
4, 9, 17, 20, 21, 24, 26, 29, 82, 96, 105, 117, 140, 142, 159, 172, 173, 178, 190, 194, 200, 203, 209, 217, 230, 233, 235,
(1)
58,
(1)
5,
(14)
15, 105, 116, 119, 124, 127, 128, 129, 171,
(1)
12,
(1)
39,
(1)
138,
(3)
(1)
86,
(1)
199,
(8)
6, 20, 21, 146, 171, 189, 195,
(3)
(2)
(1)
18,
(1)
238,
(2)
(1)
80,
(4)
(2)
(1)
127,
(1)
137,
(1)
111,
(1)
89,
(2)
114,
(1)
4,
(1)
180,
(1)
25,
(1)
175,
(6)
(1)
67,
(7)
58, 60, 94, 119, 138, 141, 142,
(1)
198,
(11)
42, 75, 187, 196, 198, 200, 201, 202, 227,
(1)
3,
(2)
(40)
4, 5, 12, 19, 26, 29, 32, 33, 34, 39, 47, 56, 95, 99, 100, 111, 113, 116, 119, 123, 125, 130, 134, 138, 141, 143, 148, 150, 157, 175, 176, 195, 247, 255,
(1)
248,
(4)
(1)
201,
(2)
(9)
15, 19, 38, 66, 67, 72, 91, 227, 252,
(1)
8,
(1)
113,
(2)
(2)
(3)
(1)
238,
(3)
(4)
(1)
186,
(6)
(12)
7, 52, 77, 88, 124, 141, 144, 164, 168, 229, 236, 242,
(1)
56,
(1)
87,
(2)
(2)
(6)
(3)
(38)
24, 45, 68, 88, 107, 120, 171, 173, 180, 184, 185, 187, 198, 199, 203, 210, 212, 214, 217, 227, 228, 234, 239, 240, 243, 252, 254, 255, 257, 258,
(1)
43,
(1)
201,
(56)
3, 13, 18, 36, 41, 47, 48, 66, 67, 68, 69, 87, 89, 90, 108, 126, 136, 140, 142, 150, 151, 157, 159, 164, 168, 169, 170, 171, 173, 174, 175, 176, 177, 178, 180, 189, 196, 197, 198, 200, 205, 209, 210, 211, 212, 213, 224, 228, 240, 257,
(17)
12, 28, 39, 40, 60, 88, 91, 93, 117, 140, 195, 202, 215, 233,
(1)
75,
(1)
34,
(2)
(1)
203,
(1)
142,
(1)
53,
(1)
230,
(2)
238,
(1)
232,
(1)
195,
(1)
45,
(4)
(2)
(2)
(2)
(10)
6, 79, 116, 121, 145, 158, 160, 164, 197, 255,
(1)
131,
(2)
(2)
(1)
208,
(6)
(5)
(1)
69,
(1)
59,
(3)
(1)
199,
(2)
(1)
205,
(16)
25, 26, 45, 54, 56, 60, 75, 110, 171, 186, 187, 189, 200,
(1)
184,
(3)
(1)
124,
(1)
206,
(1)
94,
(3)
(1)
215,
(2)
(1)
231,
(2)
(1)
80,
(1)
39,
(1)
255,
(3)
(1)
201,
(1)
11,
(1)
61,
(29)
4, 9, 16, 44, 57, 58, 64, 69, 76, 77, 100, 118, 135, 136, 145, 155, 173, 189, 192, 196, 199, 201, 203, 204, 210, 257,
(6)
(1)
156,
(3)
(2)
(1)
158,
(1)
85,
(1)
243,
(1)
227,
(3)
(1)
141,
(6)
(12)
22, 26, 34, 46, 117, 140, 141, 172,
(2)
(1)
68,
(1)
154,
(1)
198,
(2)
(1)
257,
(1)
215,
(1)
96,
(1)
7,
(3)
(1)
21,
(1)
75,
(1)
105,
(4)
(2)
(2)
(3)
(3)
(1)
212,
(1)
40,
(14)
5, 21, 26, 37, 52, 64, 116, 143, 148, 158, 178, 227, 244,
(1)
41,
(3)
(3)
(1)
129,
(3)
(3)
(1)
95,
(1)
157,
(1)
247,
(1)
212,
(1)
77,
(3)
(1)
154,
(4)
(2)
(1)
56,
(1)
74,
(1)
204,
(1)
111,
(6)
(1)
213,
(1)
51,
(1)
170,
(9)
5, 7, 143, 144, 200, 204, 228, 232,
(2)
(1)
111,
(2)
(1)
203,
(1)
26,
(1)
192,
(1)
22,
(2)
(2)
41,
(1)
252,
(1)
171,
(1)
114,
(1)
118,
(2)
(2)
(3)
(1)
79,
(1)
65,
(1)
59,
(1)
77,
(1)
129,
(1)
248,
(1)
61,
(1)
12,
(1)
22,
(1)
180,
(1)
212,
(2)
(1)
198,
(1)
59,
(1)
173,
(1)
214,
(1)
105,
(1)
237,
(1)
101,
(1)
56,
(1)
86,
(1)
67,
(1)
144,
(10)
33, 38, 179, 192, 196, 199, 204, 225, 226, 258,
(1)
69,
(9)
36, 107, 108, 183, 184, 231, 232, 253,
(1)
118,
(1)
190,
(1)
111,
(2)
85,
(1)
11,
(1)
13,
(1)
177,
(27)
3, 11, 12, 13, 14, 28, 46, 53, 56, 59, 112, 123, 147, 148, 187, 190, 191, 192, 193, 196, 202, 203, 214, 226, 229,
(1)
87,
(1)
65,
(1)
90,
(17)
19, 25, 52, 59, 95, 96, 125, 140, 141, 148, 151, 169, 173, 202, 206, 212,
(1)
61,
(1)
170,
(1)
48,
(3)
(1)
119,
(1)
210,
(1)
249,
(2)
(1)
130,
(1)
243,
(1)
223,
(1)
197,
(2)
(1)
5,
(3)
(2)
(1)
153,
(1)
17,
(1)
135,
(19)
5, 24, 26, 67, 90, 99, 108, 133, 139, 143, 165, 188, 192, 209, 212, 223, 227,
(12)
24, 45, 47, 60, 146, 158, 159, 163, 193, 198, 232, 243,
(1)
58,
(2)
257,
(1)
247,
(1)
116,
(1)
58,
(3)
(2)
15,
(1)
243,
(2)
(1)
140,
(1)
170,
(1)
33,
(21)
7, 28, 34, 41, 80, 81, 99, 113, 118, 120, 136, 139, 140, 142, 151, 201, 210, 237, 252,
(1)
235,
(4)
(3)
(1)
186,
(1)
147,
(10)
45, 56, 58, 67, 68, 75, 173, 176, 202,
(3)
(2)
(1)
154,
(1)
191,
(1)
105,
(1)
139,
(8)
78, 80, 94, 142, 149, 178, 242,
(4)
(2)
(9)
4, 5, 13, 16, 34, 39, 119, 138, 145,
(11)
20, 21, 31, 82, 88, 133, 204, 217, 232,
(2)
(2)
(3)
(2)
191,
(1)
67,
(1)
26,
(8)
(2)
(11)
5, 48, 62, 77, 86, 118, 182, 184, 188, 227, 251,
(1)
52,
(1)
50,
(1)
119,
(4)
(4)
(10)
26, 47, 53, 84, 128, 130, 171, 185, 250, 254,
(1)
107,
(2)
(1)
119,
(3)
(1)
177,
(15)
63, 65, 67, 70, 84, 85, 86, 185, 188, 196, 197, 202,
(1)
215,
(1)
21,
(3)
45,
(1)
191,
(4)
(4)
(1)
235,
(3)
(1)
105,
(1)
120,
(1)
58,
(3)
(5)
(1)
189,
(11)
31, 43, 58, 66, 94, 128, 176, 180, 203, 228,
(1)
204,
(3)
(1)
157,
(1)
190,
(1)
215,
(1)
191,
(1)
146,
(6)
(5)
(4)
(2)
(1)
257,
(10)
48, 56, 68, 77, 81, 88, 90, 115, 136, 177,
(2)
(1)
56,
(2)
(1)
215,
(4)
(2)
(2)
(1)
65,
(5)
(1)
214,
(31)
5, 22, 45, 47, 51, 56, 61, 88, 96, 111, 114, 134, 140, 154, 156, 157, 158, 159, 180, 188, 195, 196, 197, 213, 234,
(8)
(1)
45,
(2)
(1)
224,
(1)
226,
(7)
11, 81, 88, 119, 207, 214, 232,
(2)
(1)
11,
(2)
226,
(42)
6, 22, 44, 45, 53, 54, 56, 57, 58, 59, 60, 61, 63, 64, 65, 67, 68, 70, 75, 93, 100, 116, 118, 141, 168, 171, 173, 176, 180, 189, 192, 196, 197, 199, 200, 204, 206, 236,
(60)
3, 4, 5, 6, 7, 9, 18, 22, 24, 29, 42, 45, 46, 47, 50, 52, 53, 58, 67, 69, 71, 75, 170, 171, 173, 176, 184, 185, 188, 189, 192, 193, 196, 197, 198, 199, 201, 202, 205, 213, 214, 243, 258,
(8)
LISP
(1)
94,
(8)
(2)
(1)
104,
(1)
128,
(1)
147,
(6)
(2)
(1)
234,
(1)
243,
(5)
(1)
13,
(2)
(3)
(1)
127,
(1)
150,
(1)
33,
(21)
18, 29, 56, 65, 87, 126, 144, 151, 179, 184, 198, 212, 228, 232, 238, 249, 252, 255, 257,
(6)
(2)
(5)
(3)
(7)
(5)
(1)
46,
(5)
(4)
(2)
(11)
42, 52, 90, 94, 97, 129, 159, 174, 191, 224, 241,
(4)
(1)
18,
(1)
188,
(3)
(1)
59,
(4)
(9)
(1)
5,
(3)
(2)
(1)
206,
(31)
10, 12, 13, 14, 15, 25, 100, 105, 110, 111, 112, 113, 114, 123, 128, 138, 143, 148,
(3)
(1)
143,
(1)
15,
(2)
147,
(1)
243,
(1)
192,
(1)
212,
(2)
(2)
(2)
(14)
33, 70, 75, 110, 125, 142, 156, 159, 180, 219, 236, 246,
(6)
(2)
(3)
(3)
(6)
(16)
70, 87, 207, 209, 212, 216, 217, 228, 230, 233, 234, 235, 238, 239, 256,
(5)
(5)
(1)
87,
(1)
129,
(26)
33, 52, 58, 67, 76, 82, 88, 90, 91, 94, 111, 113, 156, 170, 195, 196, 197, 201, 202, 203, 209, 210, 213, 215, 239,
(1)
228,
(7)
177, 197, 200, 201, 240, 252, 254,
(1)
201,
(1)
222,
(3)
(1)
243,
(2)
(1)
255,
(1)
201,
(1)
205,
(3)
(2)
48,
(3)
(2)
(1)
108,
(2)
(2)
(2)
(19)
18, 74, 88, 89, 100, 108, 135, 136, 160, 174, 178, 198, 200, 242, 244, 251, 252,
(2)
(5)
(1)
258,
(3)
(1)
142,
(1)
107,
(1)
105,
(1)
136,
(3)
(1)
136,
(3)
(1)
214,
(2)
(1)
194,
(1)
87,
(2)
195,
(2)
(1)
160,
(1)
158,
(1)
215,
(1)
243,
(1)
227,
(1)
52,
(2)
(2)
(1)
151,
(1)
126,
(2)
(4)
(5)
(1)
77,
(2)
(3)
(7)
29, 99, 126, 138, 156, 186, 228,
(1)
214,
(1)
227,
(1)
195,
(3)
(2)
(1)
210,
(1)
171,
(2)
(1)
71,
(3)
(4)
(2)
(1)
6,
(1)
58,
(1)
88,
(1)
88,
(1)
79,
(1)
256,
(2)
(2)
(1)
191,
(1)
188,
(1)
236,
(13)
26, 47, 48, 81, 125, 135, 168, 196, 213, 215, 244,
(11)
45, 50, 52, 157, 170, 180, 193, 223, 251, 255, 258,
(1)
79,
(5)
(1)
118,
(2)
(3)
(1)
219,
(1)
234,
(1)
254,
(4)
(5)
(1)
131,
(2)
206,
(59)
5, 9, 24, 29, 37, 42, 56, 64, 66, 68, 72, 73, 74, 75, 84, 85, 87, 89, 90, 91, 99, 121, 127, 132, 134, 135, 152, 153, 154, 156, 158, 171, 178, 182, 187, 197, 200, 205, 206, 213, 214, 228, 229, 231, 232, 235, 237, 238, 255,
(33)
5, 13, 28, 45, 46, 47, 50, 52, 54, 75, 81, 87, 105, 106, 122, 141, 143, 173, 209, 215, 224, 227, 241, 244, 256,
(3)
(1)
18,
(1)
255,
(2)
(2)
(3)
(1)
232,
(1)
28,
(2)
252,
(1)
160,
(8)
(4)
(1)
134,
(16)
5, 53, 56, 90, 91, 93, 118, 130, 134, 155, 159, 171, 201, 236,
(2)
(4)
(4)
(1)
209,
(1)
148,
(1)
11,
(4)
(4)
(1)
98,
(3)
(1)
141,
(1)
91,
(1)
81,
(2)
(2)
(1)
168,
(2)
(3)
(1)
96,
(5)
(1)
136,
(2)
(2)
(1)
230,
(3)
(6)
(2)
(9)
18, 41, 98, 108, 169, 179, 217, 225, 235,
(5)
(4)
(1)
210,
(1)
256,
(4)
(1)
243,
(3)
(1)
4,
(13)
245, 247, 248, 249, 251, 252, 254, 255, 258,
(1)
208,
(1)
214,
(1)
151,
(7)
(11)
19, 51, 56, 66, 75, 91, 93, 99, 134, 192,
(1)
58,
(1)
188,
(9)
64, 77, 110, 112, 117, 124, 184, 253, 254,
(1)
180,
(1)
139,
(1)
155,
(1)
257,
(1)
25,
(1)
81,
(2)
232,
(1)
154,
(3)
(1)
87,
(1)
16,
(1)
15,
(1)
188,
(1)
215,
(1)
153,
(2)
78,
(1)
231,
(3)
(3)
(4)
(78)
4, 7, 9, 18, 19, 21, 28, 41, 45, 48, 51, 58, 59, 64, 65, 69, 74, 75, 78, 88, 89, 92, 120, 124, 129, 132, 135, 139, 142, 144, 148, 150, 151, 156, 158, 160, 169, 172, 173, 177, 178, 180, 185, 186, 188, 193, 194, 198, 204, 205, 206, 210, 214, 228, 230, 234, 236, 237, 240, 242, 243, 255, 256, 257,
(1)
254,
(5)
(1)
129,
(1)
155,
(1)
34,
(1)
12,
(2)
(7)
13, 142, 156, 234, 238, 251, 257,
(1)
158,
(2)
(1)
188,
(10)
(1)
75,
(3)
(1)
199,
(1)
148,
(1)
150,
(1)
210,
(1)
209,
(1)
51,
(1)
130,
(1)
162,
(1)
72,
(2)
(4)
(2)
68,
(1)
110,
(5)
(1)
89,
(1)
66,
(8)
38, 72, 113, 134, 176, 228, 252, 258,
(1)
81,
(1)
241,
(1)
47,
(5)
(1)
248,
(1)
52,
(22)
6, 18, 31, 45, 46, 49, 51, 55, 66, 71, 81, 83, 87, 101, 105, 122, 124, 159, 210, 229, 230,
(2)
52,
(1)
134,
(1)
188,
(1)
135,
(1)
78,
(8)
31, 39, 45, 56, 101, 195, 224, 240,
(50)
4, 14, 19, 21, 25, 28, 30, 34, 42, 45, 46, 47, 48, 52, 68, 69, 71, 73, 77, 78, 83, 91, 107, 136, 139, 159, 167, 168, 186, 187, 190, 198, 201, 203, 212, 214, 215, 227, 237, 242, 244, 255, 256,
(3)
(35)
3, 6, 7, 26, 28, 39, 47, 51, 78, 84, 86, 128, 135, 140, 158, 165, 185, 189, 195, 200, 205, 212, 214, 226, 227, 228, 231, 232, 238, 240, 254,
(2)
4,
(53)
4, 6, 8, 9, 24, 44, 48, 53, 80, 83, 86, 177, 181, 185, 189, 204, 205, 206, 210, 212, 213, 214, 223, 225, 226, 227, 229, 231, 232, 234, 235, 236, 239, 240, 241, 244, 251, 256, 257, 258,
(1)
196,
(8)
3, 5, 22, 58, 68, 176, 213, 258,
(1)
148,
(1)
47,
(3)
(1)
256,
(1)
252,
(1)
174,
(1)
53,
(1)
242,
(1)
151,
(1)
154,
(3)
(1)
142,
(9)
66, 75, 99, 130, 179, 197, 217, 223, 233,
(1)
195,
(1)
206,
(2)
(2)
(2)
(1)
227,
(12)
26, 64, 77, 135, 141, 155, 173, 175, 208, 254,
(2)
(1)
255,
(2)
(1)
18,
(1)
140,
(36)
25, 28, 45, 46, 47, 48, 66, 67, 79, 86, 88, 91, 97, 110, 113, 118, 120, 125, 138, 140, 186, 189, 198, 201, 202, 214, 227, 232, 238, 252, 257,
(5)
(3)
(1)
16,
(4)
(1)
252,
(40)
3, 6, 11, 13, 14, 33, 35, 39, 50, 59, 65, 66, 69, 79, 81, 88, 96, 111, 113, 119, 120, 125, 144, 145, 154, 155, 159, 163, 182, 193, 230, 231, 244, 249, 257,
(1)
208,
(2)
(1)
136,
(5)
(20)
3, 12, 13, 31, 33, 67, 81, 89, 111, 126, 186, 210, 212, 213, 231, 238,
(1)
252,
(5)
(1)
51,
(1)
5,
(1)
208,
(1)
143,
(1)
118,
(10)
47, 77, 99, 133, 142, 189, 198, 225, 239, 243,
(1)
195,
(1)
129,
(1)
225,
(1)
15,
(1)
149,
(1)
39,
(2)
(3)
(1)
195,
(1)
196,
(1)
112,
(2)
(2)
(1)
154,
(3)
(6)
(1)
21,
(1)
103,
(1)
198,
(1)
9,
(2)
(1)
82,
(1)
156,
(3)
(3)
(1)
257,
(1)
69,
(2)
(1)
162,
(3)
(1)
124,
(3)
(5)
(6)
(1)
50,
(2)
(2)
(1)
151,
(2)
(2)
(2)
(1)
243,
(1)
11,
(1)
231,
(37)
45, 47, 69, 85, 90, 91, 103, 108, 118, 120, 138, 141, 164, 170, 177, 178, 179, 180, 186, 189, 201, 204, 205, 210, 215, 220, 221, 224, 225, 229, 241, 249,
(1)
140,
(1)
151,
(1)
72,
(1)
73,
(2)
(1)
132,
(2)
(15)
9, 18, 28, 75, 108, 124, 135, 182, 187, 189, 200, 205, 206, 235, 238,
(3)
(1)
12,
(2)
(3)
(1)
163,
(8)
(5)
(1)
179,
(1)
192,
(2)
(1)
151,
(1)
238,
(1)
188,
(1)
91,
(1)
185,
(4)
(1)
144,
(1)
25,
(2)
(1)
256,
(4)
(1)
237,
(2)
(1)
3,
(1)
197,
(1)
247,
(2)
(1)
214,
(2)
(6)
(1)
243,
(1)
242,
(20)
6, 9, 58, 64, 67, 74, 81, 98, 99, 110, 159, 184, 215, 230, 231, 248, 256, 257,
(2)
(1)
234,
(3)
(2)
(1)
201,
(1)
155,
(1)
104,
(1)
153,
(4)
(2)
(3)
(1)
25,
POP
(7)
(2)
(5)
(1)
25,
(18)
26, 33, 41, 94, 99, 100, 109, 113, 123, 126, 133, 134, 155, 171, 184,
(1)
25,
(1)
25,
(2)
(3)
(1)
199,
(1)
252,
(10)
51, 54, 61, 87, 149, 157, 192, 197, 200, 213,
(3)
(1)
210,
(1)
191,
(5)
(2)
(1)
66,
(3)
(5)
(1)
138,
(1)
28,
(2)
(3)
(1)
120,
(1)
5,
(1)
46,
(1)
116,
(1)
157,
(4)
(2)
(1)
91,
(1)
68,
(2)
(1)
189,
(3)
(2)
(1)
170,
(1)
248,
(1)
148,
(1)
177,
(7)
44, 66, 142, 148, 177, 226, 236,
(2)
(2)
(2)
(1)
70,
(1)
256,
(9)
35, 96, 188, 195, 196, 197, 199,
(1)
5,
(1)
74,
(5)
(27)
15, 26, 31, 62, 64, 73, 74, 79, 81, 84, 122, 123, 124, 125, 175, 182, 183, 205, 206, 212, 232, 238, 255,
(1)
70,
(11)
36, 42, 52, 65, 69, 85, 87, 160, 182, 232,
(8)
64, 133, 185, 197, 239, 242, 243,
(3)
(1)
201,
(1)
197,
(2)
(4)
(1)
9,
(4)
(2)
48,
(2)
(1)
257,
(14)
13, 26, 33, 38, 72, 73, 79, 80, 89, 95, 138, 142, 148, 169,
(5)
(9)
20, 84, 94, 96, 157, 201, 227, 230, 238,
(9)
(4)
(46)
8, 9, 24, 34, 35, 69, 83, 84, 85, 86, 91, 93, 100, 105, 107, 108, 110, 120, 167, 168, 170, 176, 178, 179, 185, 189, 192, 196, 199, 200, 202, 210, 214, 215, 217, 222, 235, 256, 257,
(20)
7, 50, 83, 86, 173, 174, 175, 176, 178, 196, 202, 212, 213, 225, 226, 227, 228, 236, 237,
(1)
6,
(1)
169,
(1)
174,
(1)
71,
(3)
(1)
209,
(1)
171,
(2)
(2)
(1)
60,
(1)
163,
(8)
(1)
28,
(1)
46,
(1)
5,
(1)
252,
(3)
(1)
214,
(1)
18,
(2)
(2)
(1)
11,
(1)
229,
(1)
240,
(1)
165,
(1)
231,
(1)
186,
(2)
(1)
247,
(1)
136,
(2)
(2)
(1)
134,
(1)
195,
(2)
(2)
(1)
231,
(1)
188,
(2)
141,
(2)
(1)
190,
(5)
(1)
194,
(1)
70,
(1)
167,
(1)
254,
(6)
(1)
199,
(1)
159,
(7)
39, 60, 124, 228, 229, 230, 240,
(1)
213,
(2)
(2)
(9)
15, 33, 42, 47, 62, 66, 71, 88, 118,
(1)
6,
(1)
45,
(5)
(1)
194,
(1)
206,
(1)
240,
(1)
4,
(1)
241,
(2)
(2)
(2)
(1)
52,
(5)
(1)
68,
(1)
237,
(4)
(3)
(2)
(2)
(14)
6, 26, 45, 58, 90, 94, 111, 132, 148, 204, 229, 236, 242,
(1)
1,
(1)
47,
(1)
13,
(1)
46,
(1)
252,
(3)
(1)
154,
(1)
13,
(2)
(1)
214,
(1)
31,
(3)
(1)
237,
(2)
(1)
110,
(2)
(14)
5, 31, 52, 114, 138, 140, 169, 171, 189, 210, 226, 232, 239,
(6)
(1)
69,
(1)
23,
(3)
(1)
69,
(2)
(1)
78,
(1)
149,
(1)
143,
(1)
172,
(1)
198,
(2)
(2)
(1)
215,
(1)
215,
(2)
(2)
(2)
157,
(1)
197,
(1)
83,
(1)
175,
(2)
(1)
252,
(2)
(1)
51,
(1)
237,
(1)
72,
(1)
243,
(1)
188,
(1)
194,
(1)
67,
(19)
6, 25, 47, 49, 51, 55, 56, 65, 66, 71, 91, 249, 254, 255, 258,
(4)
(9)
50, 51, 53, 56, 59, 65, 88, 91, 257,
(1)
89,
(4)
(1)
231,
(1)
119,
(1)
57,
(2)
(2)
(1)
144,
(1)
134,
(1)
254,
(1)
94,
(1)
96,
(1)
188,
(1)
45,
(1)
70,
(1)
14,
(3)
(4)
(1)
87,
(6)
(1)
58,
(2)
80,
(1)
87,
(1)
90,
(1)
78,
(3)
(1)
70,
(3)
(2)
(1)
159,
(2)
(1)
188,
(1)
24,
(1)
257,
(1)
256,
(1)
151,
(6)
(4)
(1)
234,
(1)
197,
(1)
106,
(1)
69,
(1)
95,
(1)
213,
(1)
182,
(1)
176,
(1)
160,
(1)
86,
(2)
(2)
(6)
(1)
123,
(2)
(1)
46,
(1)
128,
(2)
(1)
22,
(1)
6,
(1)
223,
(1)
234,
(1)
167,
(1)
108,
(1)
107,
(1)
119,
(1)
252,
(1)
194,
(2)
60,
(1)
202,
(2)
(1)
95,
(2)
(2)
(2)
(1)
75,
(12)
31, 36, 41, 100, 124, 125, 133, 144, 206, 257,
(1)
163,
(3)
(2)
(1)
75,
(1)
235,
(1)
45,
(2)
(1)
235,
(1)
79,
(1)
81,
(1)
141,
(2)
92,
(3)
(1)
119,
(1)
28,
(4)
(2)
(7)
8, 75, 129, 147, 163, 169, 255,
(1)
168,
(6)
(1)
194,
(1)
227,
(1)
39,
(3)
(3)
(1)
131,
(1)
225,
(13)
23, 70, 91, 98, 120, 126, 141, 142, 192, 213, 214, 218, 224,
(2)
(1)
89,
(1)
91,
(2)
198,
(1)
60,
(2)
(3)
(2)
(1)
64,
(3)
(1)
22,
(1)
136,
(6)
(1)
85,
(1)
56,
(1)
3,
(1)
47,
SCCS
(1)
47,
(1)
156,
(2)
(1)
195,
(1)
214,
(1)
258,
(3)
(1)
17,
(1)
4,
(1)
65,
(1)
25,
(2)
(1)
165,
(1)
201,
(2)
(4)
(1)
165,
(3)
(14)
9, 51, 64, 88, 91, 108, 118, 136, 159, 162, 186, 194, 199, 255,
(1)
197,
(4)
(5)
(1)
6,
(7)
58, 71, 73, 160, 177, 217, 255,
(4)
(1)
78,
(3)
(1)
227,
(1)
227,
(8)
69, 118, 197, 199, 201, 225, 227, 229,
(1)
197,
(1)
200,
(2)
(1)
238,
(1)
114,
(4)
(1)
88,
(1)
256,
(3)
(5)
(1)
86,
(1)
99,
(2)
(1)
195,
(7)
(2)
(2)
(3)
(1)
111,
(1)
41,
(1)
151,
(7)
33, 73, 89, 142, 148, 193, 252,
(1)
114,
(1)
25,
(2)
(1)
247,
(6)
(2)
(1)
231,
(1)
144,
(1)
98,
(4)
(1)
159,
(3)
(3)
(2)
(2)
(1)
227,
(1)
107,
(1)
98,
(4)
(1)
7,
(2)
(2)
(1)
42,
(1)
91,
(1)
248,
(10)
18, 67, 75, 146, 158, 175, 179, 189, 243, 253,
(1)
186,
(1)
68,
(4)
(2)
(3)
(5)
(1)
60,
(1)
243,
(1)
88,
(4)
(1)
91,
(1)
249,
(2)
(1)
210,
(9)
13, 90, 105, 141, 142, 157, 175, 239,
(4)
(1)
94,
(1)
58,
(3)
(1)
257,
(2)
(11)
47, 66, 68, 83, 87, 91, 116, 129, 144, 173, 210,
(1)
6,
(1)
69,
(1)
130,
(2)
(1)
58,
(2)
(1)
179,
(1)
231,
(1)
209,
(7)
(3)
(1)
178,
(2)
(2)
(1)
73,
(2)
(1)
234,
(5)
(3)
(1)
97,
(1)
187,
(1)
45,
(14)
13, 100, 110, 113, 114, 116, 123, 125, 128, 135, 139, 173,
(3)
(1)
162,
(1)
241,
(4)
(1)
68,
(53)
4, 5, 9, 11, 17, 18, 35, 47, 48, 69, 84, 87, 135, 141, 149, 153, 162, 175, 178, 181, 184, 185, 201, 204, 205, 206, 208, 210, 211, 213, 215, 217, 228, 232, 235, 236, 237, 238, 239, 240, 241, 242, 252, 257,
(1)
233,
(1)
26,
(1)
189,
(3)
(3)
(3)
(19)
9, 24, 26, 33, 57, 67, 70, 120, 126, 130, 141, 144, 151, 162, 174, 180, 191, 249, 254,
(7)
(6)
(16)
16, 29, 41, 45, 53, 56, 57, 61, 69, 95, 141, 168, 169, 211, 229, 255,
(1)
120,
(1)
117,
(3)
(1)
94,
(65)
4, 8, 9, 24, 42, 44, 79, 80, 81, 82, 83, 86, 87, 88, 159, 177, 181, 185, 204, 205, 206, 210, 212, 213, 214, 223, 225, 226, 227, 229, 231, 232, 234, 235, 236, 239, 240, 244, 247, 249, 251, 255, 256, 257, 258,
(1)
24,
(1)
241,
(6)
(1)
257,
(1)
67,
(2)
(1)
159,
(2)
(3)
(1)
214,
(2)
(1)
252,
(1)
173,
(1)
7,
(1)
18,
(1)
24,
(1)
227,
(1)
91,
(1)
238,
(3)
(1)
24,
(1)
5,
(1)
197,
(1)
128,
(1)
189,
(1)
182,
(3)
(4)
(3)
(1)
157,
(2)
(1)
180,
(3)
(2)
(8)
21, 31, 120, 169, 175, 182, 183, 204,
(3)
(2)
(1)
120,
(4)
(2)
(1)
27,
(1)
126,
(5)
(2)
60,
(1)
91,
(1)
162,
(4)
(1)
3,
(1)
246,
(1)
223,
(3)
(2)
(1)
252,
(3)
(1)
242,
(1)
73,
(1)
122,
(1)
154,
(1)
104,
(2)
(2)
(3)
(6)
(3)
(1)
79,
(1)
93,
(1)
142,
(1)
26,
(1)
201,
(16)
6, 7, 8, 46, 51, 77, 108, 119, 166, 167, 168, 171, 193, 194, 232,
(1)
65,
(1)
194,
(1)
6,
(1)
160,
(1)
252,
(1)
86,
(3)
(1)
89,
(1)
3,
(1)
257,
(2)
(8)
8, 46, 107, 142, 229, 244, 254, 258,
(3)
(9)
47, 93, 167, 176, 192, 215, 227, 235,
(1)
199,
(1)
6,
(1)
38,
(1)
234,
(12)
9, 13, 26, 48, 68, 71, 74, 75, 87, 88, 212,
(1)
215,
(1)
257,
(1)
81,
(2)
(1)
161,
(3)
(3)
(1)
174,
(1)
105,
(1)
81,
(1)
213,
(1)
13,
(1)
241,
(1)
131,
(1)
159,
(1)
186,
(10)
28, 94, 96, 114, 125, 142, 143, 144, 148, 150,
(1)
13,
(2)
(3)
(2)
(1)
233,
(3)
(2)
(1)
188,
(1)
135,
(1)
72,
(1)
223,
(1)
222,
(3)
(1)
199,
(1)
4,
(1)
188,
(1)
231,
(3)
(2)
(1)
29,
(1)
6,
(3)
(7)
(1)
82,
(1)
161,
(5)
(3)
(15)
3, 6, 12, 22, 44, 53, 58, 67, 68, 127, 165, 176, 188, 213, 258,
(2)
(2)
(1)
225,
(3)
(1)
15,
(1)
232,
(1)
75,
(1)
233,
(11)
6, 33, 77, 78, 132, 140, 149, 174, 223, 225, 242,
(1)
24,
(1)
192,
(3)
(4)
(1)
227,
(3)
(1)
86,
(2)
(1)
141,
(2)
(1)
114,
(1)
244,
(1)
141,
(5)
(1)
112,
(2)
(1)
186,
(1)
24,
(1)
214,
(3)
(2)
119,
(1)
12,
(1)
11,
(2)
(6)
(1)
157,
(1)
176,
(6)
(1)
88,
(1)
3,
(1)
24,
(5)
(1)
98,
(1)
187,
(1)
116,
(2)
(1)
154,
(1)
158,
(7)
8, 47, 93, 100, 167, 168, 251,
(1)
168,
(9)
(6)
(33)
21, 24, 42, 50, 56, 68, 90, 97, 101, 134, 141, 154, 158, 171, 186, 187, 197, 200, 201, 203, 205, 213, 214, 228, 229, 232, 235, 237, 238, 255, 257,
(1)
248,
(209)
3, 4, 5, 7, 8, 9, 12, 13, 18, 21, 22, 23, 26, 33, 34, 35, 37, 39, 41, 42, 47, 48, 52, 53, 56, 58, 60, 64, 65, 66, 67, 68, 69, 70, 74, 75, 77, 78, 80, 82, 83, 84, 85, 86, 87, 88, 89, 91, 95, 96, 99, 100, 108, 110, 113, 118, 120, 121, 122, 129, 133, 135, 136, 138, 139, 140, 142, 143, 148, 154, 156, 157, 159, 168, 169, 170, 172, 174, 175, 176, 177, 180, 183, 184, 185, 186, 188, 189, 190, 191, 192, 193, 198, 199, 200, 201, 202, 204, 206, 208, 209, 210, 211, 212, 213, 214, 216, 217, 224, 226, 227, 228, 229, 230, 231, 232, 234, 235, 236, 237, 238, 240, 241, 243, 244, 251, 255, 257,
(740)
1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 16, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 36, 39, 40, 42, 44, 45, 46, 47, 48, 50, 51, 52, 53, 54, 56, 58, 59, 60, 61, 62, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 94, 95, 96, 97, 98, 99, 100, 103, 105, 107, 108, 110, 111, 112, 113, 114, 116, 117, 118, 119, 120, 122, 123, 124, 125, 126, 127, 128, 129, 131, 133, 134, 135, 136, 139, 140, 141, 142, 143, 144, 146, 147, 148, 149, 150, 151, 153, 154, 155, 156, 158, 159, 160, 162, 163, 164, 166, 167, 168, 169, 170, 171, 172, 173, 175, 176, 177, 179, 180, 181, 182, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 218, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 243, 244, 245, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258,
(15)
18, 60, 77, 78, 81, 88, 91, 126, 151, 186, 198, 225, 237, 249,
(19)
9, 13, 14, 65, 91, 104, 108, 141, 154, 162, 175, 179, 223, 224, 231, 232,
(3)
(20)
15, 51, 67, 90, 91, 96, 134, 141, 143, 157, 170, 197, 201, 204, 213, 232, 233, 237, 239,
(1)
237,
(2)
(5)
(32)
5, 22, 34, 39, 48, 51, 53, 75, 80, 81, 87, 88, 99, 114, 116, 121, 132, 135, 138, 153, 159, 160, 174, 178, 191, 211, 212, 213, 225, 232,
(2)
(14)
9, 52, 69, 79, 90, 100, 105, 155, 160, 191, 194, 214, 223, 241,
(41)
9, 18, 21, 41, 42, 66, 68, 69, 78, 79, 87, 104, 106, 108, 119, 126, 140, 142, 151, 154, 163, 177, 179, 194, 196, 209, 210, 215, 217, 223, 225, 226,
(6)
(7)
(18)
29, 45, 58, 65, 124, 140, 141, 160, 164, 172, 178, 187, 192, 193, 204, 215, 231,
(4)
(1)
234,
(2)
(112)
7, 9, 15, 16, 18, 24, 35, 42, 44, 45, 47, 50, 51, 53, 56, 58, 61, 63, 68, 72, 73, 75, 77, 80, 81, 82, 83, 88, 91, 93, 94, 96, 99, 100, 107, 108, 110, 114, 116, 118, 119, 128, 129, 135, 136, 140, 143, 147, 148, 150, 151, 153, 155, 157, 158, 159, 163, 167, 170, 173, 174, 175, 176, 177, 179, 182, 184, 185, 186, 188, 190, 194, 198, 199, 201, 204, 205, 211, 212, 213, 215, 217, 225, 229, 231, 238, 240, 241, 247, 248, 252,
(7)
25, 26, 56, 91, 139, 201, 232,
(7)
(11)
3, 4, 5, 8, 52, 113, 140, 141, 144, 187, 241,
(2)
(1)
28,
(3)
(1)
189,
(9)
11, 14, 46, 47, 77, 83, 96, 107, 214,
(1)
257,
(11)
10, 11, 47, 86, 136, 147, 171, 177, 195, 204, 252,
(4)
(1)
27,
(2)
(5)
(1)
48,
(40)
3, 4, 5, 13, 24, 26, 31, 33, 42, 56, 81, 82, 83, 89, 91, 107, 124, 126, 134, 144, 151, 167, 184, 185, 195, 206, 210, 212, 227, 228, 234, 253, 255, 257, 258,
(2)
(1)
48,
(3)
(5)
(1)
249,
(1)
32,
(14)
18, 42, 45, 75, 88, 91, 111, 113, 119, 135, 136, 179, 242, 252,
(3)
(5)
(1)
48,
(2)
(4)
(1)
249,
(8)
6, 22, 44, 57, 100, 141, 176, 236,
(2)
(2)
(1)
258,
(1)
236,
(1)
179,
(5)
(4)
(1)
190,
(4)
(7)
84, 154, 159, 190, 215, 230, 239,
(2)
(1)
108,
(1)
21,
(1)
26,
(1)
13,
(2)
(1)
64,
(1)
113,
(1)
231,
(2)
(1)
94,
(2)
(2)
(1)
42,
(2)
258,
(1)
235,
(2)
(1)
15,
(1)
206,
(3)
(1)
52,
(5)
(1)
185,
(2)
(1)
234,
(1)
174,
(1)
118,
(9)
8, 15, 21, 22, 32, 91, 140, 167, 168,
(10)
7, 91, 113, 116, 123, 156, 159, 176, 224, 234,
(1)
161,
(6)
(1)
56,
(1)
145,
(1)
110,
(1)
212,
(1)
182,
(1)
111,
(9)
48, 107, 112, 121, 134, 234, 241, 256,
(3)
(2)
(1)
96,
(1)
94,
(1)
190,
(1)
42,
(1)
198,
(4)
(1)
44,
(3)
(3)
(9)
7, 8, 9, 31, 77, 95, 116, 217,
(6)
(2)
64,
(4)
(1)
242,
(1)
174,
(1)
67,
(1)
231,
(1)
147,
(1)
67,
(1)
53,
(1)
212,
(3)
(12)
4, 5, 22, 24, 42, 56, 138, 141, 171, 189, 190,
(1)
56,
(3)
(2)
(2)
(1)
108,
(1)
52,
(4)
(1)
148,
(1)
25,
(1)
224,
(1)
126,
(1)
67,
(1)
214,
(1)
257,
(1)
87,
(12)
4, 9, 23, 69, 100, 141, 147, 156, 192, 196, 202, 224,
(8)
12, 13, 14, 28, 50, 72, 83, 138,
(6)
(10)
41, 46, 48, 56, 61, 87, 116, 127, 130, 159,
(30)
11, 40, 41, 42, 43, 44, 48, 50, 51, 54, 60, 72, 73, 75, 78, 117, 120, 126, 143, 144, 151, 162, 182, 184, 237,
(2)
(3)
(3)
(1)
19,
(3)
(1)
28,
(1)
196,
(1)
188,
(1)
249,
(3)
(3)
(2)
(1)
215,
(1)
81,
(2)
(2)
73,
(1)
48,
(1)
91,
(1)
201,
(2)
(1)
188,
(1)
189,
(1)
214,
(7)
(3)
(22)
45, 46, 47, 52, 53, 78, 86, 87, 94, 120, 136, 157, 160, 164, 168, 205, 217, 238, 253,
(1)
94,
(1)
130,
(1)
232,
(1)
248,
(6)
(1)
201,
(4)
(6)
(1)
48,
(2)
(2)
(2)
(3)
(1)
136,
(3)
(11)
19, 31, 50, 114, 159, 180, 196, 215, 226, 242, 248,
(2)
(1)
215,
(1)
159,
(97)
4, 5, 8, 12, 13, 14, 15, 16, 22, 23, 25, 26, 28, 33, 34, 35, 37, 39, 45, 46, 47, 50, 51, 52, 53, 54, 56, 57, 59, 60, 61, 64, 67, 88, 93, 94, 95, 96, 99, 105, 108, 110, 111, 113, 116, 119, 122, 125, 129, 131, 134, 138, 141, 143, 148, 150, 184, 190, 192, 193, 232, 243, 247, 254, 257,
(6)
(1)
201,
(1)
136,
(27)
7, 8, 31, 35, 51, 54, 58, 60, 74, 75, 89, 91, 97, 128, 130, 136, 140, 141, 146, 179, 182, 198, 200, 230, 232, 243,
(3)
(1)
50,
(1)
192,
(2)
(5)
(1)
242,
(1)
67,
(5)
(23)
7, 23, 29, 32, 39, 44, 82, 89, 100, 108, 118, 125, 136, 138, 145, 169, 177, 213, 214, 227, 244,
(4)
(18)
34, 46, 51, 52, 53, 59, 136, 142, 144, 155, 157, 185, 191, 215, 228, 248,
(1)
209,
(1)
11,
(36)
5, 9, 12, 13, 14, 19, 20, 52, 56, 59, 68, 82, 86, 100, 113, 114, 169, 176, 179, 186, 189, 194, 196, 213, 216, 217, 240, 242, 254,
(1)
214,
(43)
12, 13, 38, 39, 45, 64, 65, 66, 73, 81, 89, 92, 100, 108, 110, 113, 114, 119, 124, 127, 131, 132, 133, 135, 149, 154, 155, 157, 161, 169, 175, 195, 225, 226, 238, 242,
(2)
(10)
48, 51, 85, 88, 134, 140, 159, 186, 191, 195,
(6)
(27)
5, 6, 18, 19, 25, 83, 85, 87, 88, 89, 105, 114, 178, 185, 189, 192, 197, 198, 199, 206, 210, 230, 232, 254,
(12)
13, 14, 21, 22, 84, 91, 111, 142, 173, 185, 189, 193,
(1)
231,
(1)
19,
(31)
3, 6, 45, 64, 69, 77, 88, 102, 131, 163, 164, 180, 189, 192, 196, 201, 204, 205, 217, 229, 230, 232, 235, 237, 242,
(5)
(2)
(11)
7, 18, 24, 51, 77, 78, 93, 111, 114, 155, 239,
(2)
(5)
(1)
242,
(34)
9, 30, 36, 39, 42, 62, 64, 74, 87, 88, 89, 90, 91, 106, 118, 163, 177, 179, 204, 206, 231, 244, 257,
(2)
(4)
(2)
(1)
214,
(1)
65,
(65)
5, 19, 25, 33, 39, 44, 47, 48, 58, 70, 73, 82, 84, 85, 86, 88, 90, 105, 111, 113, 114, 123, 128, 136, 138, 139, 144, 147, 157, 158, 168, 170, 175, 178, 184, 185, 192, 195, 200, 206, 208, 210, 214, 227, 231, 232, 234, 236, 241, 242, 243, 249, 251, 255,
(3)
(9)
34, 39, 88, 131, 147, 202, 203, 212, 228,
(1)
5,
(1)
217,
(3)
(1)
213,
(2)
(1)
120,
(1)
120,
(24)
7, 14, 17, 51, 57, 60, 71, 73, 84, 86, 169, 179, 180, 185, 198, 225, 230, 231, 232, 242, 243, 244, 251,
(6)
(5)
(6)
(31)
3, 7, 9, 18, 24, 44, 56, 71, 118, 151, 190, 192, 197, 199, 206, 208, 210, 226, 227, 235, 236, 238, 241, 251, 256,
(1)
127,
(2)
(1)
120,
(2)
(27)
3, 12, 13, 14, 15, 22, 34, 44, 105, 110, 142, 144, 150, 159, 164, 168, 171, 176, 185, 194, 195, 201, 210, 215, 228, 229, 230,
(2)
(4)
(2)
(1)
248,
(5)
(5)
(5)
(1)
4,
(4)
(13)
3, 4, 5, 67, 68, 77, 98, 212, 213, 241, 256,
(7)
(76)
6, 9, 11, 21, 24, 30, 31, 36, 38, 41, 42, 50, 51, 65, 66, 88, 95, 100, 106, 112, 116, 118, 124, 128, 129, 131, 133, 136, 140, 146, 149, 151, 154, 159, 163, 169, 175, 179, 180, 183, 188, 206, 215, 224, 239, 246, 248,
(1)
195,
(35)
19, 38, 42, 43, 50, 55, 81, 98, 106, 117, 118, 122, 128, 133, 135, 136, 151, 161, 163, 168, 169, 224, 239, 243, 248,
(3)
(1)
257,
(1)
99,
(1)
88,
(1)
242,