ICFP Programming Contest 2002

Submitted entries

This directory contains the submitted entries that were part of the judging process.

We fixed trivial bugs in some of the programs. These are the submitted files, however, so our fixes are not included.

Name Last modified Size Description

[PARENTDIR] Parent Directory -

[ ] 122.tar.gz 2002-09-02 11:43 2.8M

[ ] 223.tar.gz 2002-09-02 12:54 2.2M

[ ] 94.tar.gz 2002-09-02 10:35 1.8M

[ ] 9.tar.gz 2002-08-31 12:51 1.7M

[ ] 287.tar.gz 2002-09-02 13:24 1.6M

[ ] 277.tar.gz 2002-09-02 13:05 1.4M

[ ] 241.tar.gz 2002-09-02 12:57 1.2M

[ ] 269.tar.gz 2002-09-02 13:02 1.1M

[ ] 226.tar.gz 2002-09-02 12:55 1.1M

[ ] 182.tar.gz 2002-09-02 12:42 1.0M

[ ] 57.tar.gz 2002-09-02 04:10 1.0M

[ ] 268.tar.gz 2002-09-02 13:01 966K

[ ] 95.tar.gz 2002-09-02 10:35 947K

[ ] 8.tar.gz 2002-08-31 12:49 939K

[ ] 293.tar.gz 2002-09-02 13:33 911K

[ ] 235.tar.gz 2002-09-02 12:56 885K

[ ] 243.tar.gz 2002-09-02 12:58 854K

[ ] 156.tar.gz 2002-09-02 12:26 768K

[ ] 258.tar.gz 2002-09-02 13:00 744K

[ ] 246.tar.gz 2002-09-02 12:58 727K

[ ] 267.tar.gz 2002-09-02 13:01 718K

[ ] 197.tar.gz 2002-09-02 12:48 714K

[ ] 121.tar.gz 2002-09-02 11:41 673K

[ ] 294.tar.gz 2002-09-03 22:47 650K

[ ] 255.tar.gz 2002-09-02 12:59 598K

[ ] 179.tar.gz 2002-09-02 12:40 571K

[ ] 159.tar.gz 2002-09-02 12:29 546K

[ ] 53.tar.gz 2002-09-02 03:06 542K

[ ] 202.tar.gz 2002-09-02 12:49 511K

[ ] 99.tar.gz 2002-09-02 10:45 497K

[ ] 188.tar.gz 2002-09-02 12:44 477K

[ ] 289.tar.gz 2002-09-02 13:29 471K

[ ] 87.tar.gz 2002-09-02 10:19 461K

[ ] 161.tar.gz 2002-09-02 12:31 459K

[ ] 43.tar.gz 2002-09-01 22:27 452K

[ ] 195.tar.gz 2002-09-02 12:47 450K

[ ] 270.tar.gz 2002-09-02 13:02 448K

[ ] 216.tar.gz 2002-09-02 12:52 420K

[ ] 178.tar.gz 2002-09-02 12:40 406K

[ ] 88.tar.gz 2002-09-02 10:19 403K

[ ] 207.tar.gz 2002-09-02 12:50 393K

[ ] 115.tar.gz 2002-09-02 11:31 386K

[ ] 291.tar.gz 2002-09-02 13:32 378K

[ ] 172.tar.gz 2002-09-02 12:37 362K

[ ] 60.tar.gz 2002-09-02 05:26 353K

[ ] 73.tar.gz 2002-09-02 08:52 341K

[ ] 65.tar.gz 2002-09-02 06:27 340K

[ ] 175.tar.gz 2002-09-02 12:39 330K

[ ] 107.tar.gz 2002-09-02 11:05 313K

[ ] 169.tar.gz 2002-09-02 12:36 311K

[ ] 199.tar.gz 2002-09-02 12:48 309K

[ ] 78.tar.gz 2002-09-02 09:52 307K

[ ] 206.tar.gz 2002-09-02 12:49 297K

[ ] 63.tar.gz 2002-09-02 05:58 250K

[ ] 286.tar.gz 2002-09-02 13:20 223K

[ ] 141.tar.gz 2002-09-02 12:14 218K

[ ] 218.tar.gz 2002-09-02 12:52 208K

[ ] 191.tar.gz 2002-09-02 12:45 189K

[ ] 193.tar.gz 2002-09-02 12:47 185K

[ ] 86.tar.gz 2002-09-02 10:10 183K

[ ] 116.tar.gz 2002-09-02 11:31 174K

[ ] 259.tar.gz 2002-09-02 13:00 174K

[ ] 249.tar.gz 2002-09-02 12:58 172K

[ ] 201.tar.gz 2002-09-02 12:48 168K

[ ] 118.tar.gz 2002-09-02 11:33 162K

[ ] 10.tar.gz 2002-08-31 12:54 159K

[ ] 276.tar.gz 2002-09-02 13:04 148K

[ ] 111.tar.gz 2002-09-02 11:23 145K

[ ] 251.tar.gz 2002-09-02 12:59 143K

[ ] 12.tar.gz 2002-08-31 12:58 140K

[ ] 66.tar.gz 2002-09-02 06:54 122K

[ ] 273.tar.gz 2002-09-02 13:02 116K

[ ] 130.tar.gz 2002-09-02 11:56 109K

[ ] 30.tar.gz 2002-09-01 15:51 104K

[ ] 39.tar.gz 2002-09-01 19:55 102K

[ ] 13.tar.gz 2002-08-31 12:58 96K

[ ] 142.tar.gz 2002-09-02 12:14 93K

[ ] 228.tar.gz 2002-09-02 12:55 92K

[ ] 227.tar 2002-09-02 12:55 90K

[ ] 110.tar 2002-09-02 11:21 90K

[ ] 210.tar.gz 2002-09-02 12:51 88K

[ ] 260.tar.gz 2002-09-02 13:00 81K

[ ] 165.tar.gz 2002-09-02 12:33 71K

[ ] 170.tar.gz 2002-09-02 12:36 71K

[ ] 261.tar.gz 2002-09-02 13:00 70K

[ ] 16.tar.gz 2002-08-31 21:23 60K

[ ] 290.tar.gz 2002-09-02 13:32 57K

[ ] 4.tar.gz 2002-08-31 01:17 56K

[ ] 84.tar.gz 2002-09-02 10:07 52K

[ ] 221.tar.gz 2002-09-02 12:53 51K

[ ] 222.tar 2002-09-02 12:53 50K

[ ] 61.tar.gz 2002-09-02 05:53 48K

[ ] 168.tar.gz 2002-09-02 12:36 44K

[ ] 48.tar.gz 2002-09-02 01:23 43K

[ ] 101.tar.gz 2002-09-02 10:46 42K

[ ] 176.tar.gz 2002-09-02 12:40 40K

[ ] 217.tar 2002-09-02 12:52 40K

[ ] 150.tar 2002-09-02 12:22 40K

[ ] 173.tar.gz 2002-09-02 12:37 40K

[ ] 145.tar.gz 2002-09-02 12:16 38K

[ ] 97.tar.gz 2002-09-02 10:41 34K

[ ] 205.tar.gz 2002-09-02 12:49 34K

[ ] 225.tar.gz 2002-09-02 12:55 34K

[ ] 100.tar.gz 2002-09-02 10:45 32K

[ ] 192.tar.gz 2002-09-02 12:47 32K

[ ] 254.tar.gz 2002-09-02 12:59 30K

[ ] 35.tar.gz 2002-09-01 18:22 29K

[ ] 257.tar.gz 2002-09-02 13:00 29K

[ ] 237.tar.gz 2002-09-02 12:56 28K

[ ] 67.tar.gz 2002-09-02 07:02 27K

[ ] 68.tar.gz 2002-09-02 07:41 27K

[ ] 292.tar.gz 2002-09-02 13:32 26K

[ ] 189.tar.gz 2002-09-02 12:44 25K

[ ] 266.tar.gz 2002-09-02 13:01 23K

[ ] 148.zip 2002-09-02 12:20 23K

[ ] 153.tar.gz 2002-09-02 12:25 20K

[ ] 41.tar.gz 2002-09-01 21:40 20K

[ ] 76.tar.gz 2002-09-02 09:12 20K

[ ] 160.tar.gz 2002-09-02 12:30 20K

[ ] 177.tar.gz 2002-09-02 12:40 19K

[ ] 113.tar.gz 2002-09-02 11:29 19K

[ ] 11.tar.gz 2002-08-31 12:56 18K

[ ] 250.tar.gz 2002-09-02 12:58 17K

[ ] 220.tar.gz 2002-09-02 12:53 15K

[ ] 265.zip 2002-09-02 13:01 15K

[ ] 22.tar.gz 2002-09-01 08:28 14K

[ ] 54.tar.gz 2002-09-02 03:27 14K

[ ] 278.tar.gz 2002-09-02 13:08 14K

[ ] 236.tar.gz 2002-09-02 12:56 14K

[ ] 81.tar.gz 2002-09-02 10:01 13K

[ ] 194.tar.gz 2002-09-02 12:47 13K

[ ] 248.tar.gz 2002-09-02 12:58 12K

[ ] 74.tar.gz 2002-09-02 09:00 12K

[ ] 185.tar.gz 2002-09-02 12:43 11K

[ ] 135.tar.gz 2002-09-02 12:06 11K

[ ] 295.tar.gz 2002-09-05 22:04 11K

[ ] 157.zip 2002-09-02 12:28 9.9K

[ ] 288.tar.gz 2002-09-02 13:25 9.3K

[ ] 167.tar.gz 2002-09-02 12:35 9.3K

[ ] 272.tar.gz 2002-09-02 13:02 9.3K

[ ] 271.tar.gz 2002-09-02 13:02 9.0K

[ ] 117.tar.gz 2002-09-02 11:33 8.5K

[ ] 138.tar.gz 2002-09-02 12:08 7.8K

[ ] 163.tar.gz 2002-09-02 12:33 7.8K

[ ] 90.tar.gz 2002-09-02 10:27 7.7K

[ ] 162.tar.gz 2002-09-02 12:31 7.4K

[ ] 204.tar.gz 2002-09-02 12:49 7.2K

[ ] 208.tar.gz 2002-09-02 12:50 6.7K

[ ] 231.tar.gz 2002-09-02 12:56 6.5K

[ ] 212.tar.gz 2002-09-02 12:51 6.4K

[ ] 37.tar.gz 2002-09-01 19:20 6.3K

[ ] 14.tar.gz 2002-08-31 13:05 6.2K

[ ] 56.tar.gz 2002-09-02 03:54 6.1K

[ ] 209.tar.gz 2002-09-02 12:51 5.9K

[ ] 139.tar.gz 2002-09-02 12:08 5.9K

[ ] 34.tar.gz 2002-09-01 17:29 5.7K

[ ] 21.tar.gz 2002-09-01 08:11 5.6K

[ ] 19.tar.gz 2002-09-01 05:54 5.5K

[ ] 7.tar.gz 2002-08-31 09:38 5.5K

[ ] 5.tar.gz 2002-08-31 01:44 4.8K

[ ] 98.tar.gz 2002-09-02 10:44 4.8K

[ ] 105.tar.gz 2002-09-02 11:01 4.7K

[ ] 42.tar.gz 2002-09-01 21:53 4.6K

[ ] 149.tar.gz 2002-09-02 12:22 4.1K

[ ] 242.zip 2002-09-02 12:58 3.7K

[ ] 180.tar.gz 2002-09-02 12:41 3.6K

[ ] 285.tar.gz 2002-09-02 13:20 3.6K

[ ] 89.tar.gz 2002-09-02 10:20 3.6K

[ ] 196.tar.gz 2002-09-02 12:48 2.7K

[ ] 119.tar.gz 2002-09-02 11:36 1.9K

Name	Last modified	Size

Parent Directory		-
122.tar.gz	2002-09-02 11:43	2.8M
223.tar.gz	2002-09-02 12:54	2.2M
94.tar.gz	2002-09-02 10:35	1.8M
9.tar.gz	2002-08-31 12:51	1.7M
287.tar.gz	2002-09-02 13:24	1.6M
277.tar.gz	2002-09-02 13:05	1.4M
241.tar.gz	2002-09-02 12:57	1.2M
269.tar.gz	2002-09-02 13:02	1.1M
226.tar.gz	2002-09-02 12:55	1.1M
182.tar.gz	2002-09-02 12:42	1.0M
57.tar.gz	2002-09-02 04:10	1.0M
268.tar.gz	2002-09-02 13:01	966K
95.tar.gz	2002-09-02 10:35	947K
8.tar.gz	2002-08-31 12:49	939K
293.tar.gz	2002-09-02 13:33	911K
235.tar.gz	2002-09-02 12:56	885K
243.tar.gz	2002-09-02 12:58	854K
156.tar.gz	2002-09-02 12:26	768K
258.tar.gz	2002-09-02 13:00	744K
246.tar.gz	2002-09-02 12:58	727K
267.tar.gz	2002-09-02 13:01	718K
197.tar.gz	2002-09-02 12:48	714K
121.tar.gz	2002-09-02 11:41	673K
294.tar.gz	2002-09-03 22:47	650K
255.tar.gz	2002-09-02 12:59	598K
179.tar.gz	2002-09-02 12:40	571K
159.tar.gz	2002-09-02 12:29	546K
53.tar.gz	2002-09-02 03:06	542K
202.tar.gz	2002-09-02 12:49	511K
99.tar.gz	2002-09-02 10:45	497K
188.tar.gz	2002-09-02 12:44	477K
289.tar.gz	2002-09-02 13:29	471K
87.tar.gz	2002-09-02 10:19	461K
161.tar.gz	2002-09-02 12:31	459K
43.tar.gz	2002-09-01 22:27	452K
195.tar.gz	2002-09-02 12:47	450K
270.tar.gz	2002-09-02 13:02	448K
216.tar.gz	2002-09-02 12:52	420K
178.tar.gz	2002-09-02 12:40	406K
88.tar.gz	2002-09-02 10:19	403K
207.tar.gz	2002-09-02 12:50	393K
115.tar.gz	2002-09-02 11:31	386K
291.tar.gz	2002-09-02 13:32	378K
172.tar.gz	2002-09-02 12:37	362K
60.tar.gz	2002-09-02 05:26	353K
73.tar.gz	2002-09-02 08:52	341K
65.tar.gz	2002-09-02 06:27	340K
175.tar.gz	2002-09-02 12:39	330K
107.tar.gz	2002-09-02 11:05	313K
169.tar.gz	2002-09-02 12:36	311K
199.tar.gz	2002-09-02 12:48	309K
78.tar.gz	2002-09-02 09:52	307K
206.tar.gz	2002-09-02 12:49	297K
63.tar.gz	2002-09-02 05:58	250K
286.tar.gz	2002-09-02 13:20	223K
141.tar.gz	2002-09-02 12:14	218K
218.tar.gz	2002-09-02 12:52	208K
191.tar.gz	2002-09-02 12:45	189K
193.tar.gz	2002-09-02 12:47	185K
86.tar.gz	2002-09-02 10:10	183K
116.tar.gz	2002-09-02 11:31	174K
259.tar.gz	2002-09-02 13:00	174K
249.tar.gz	2002-09-02 12:58	172K
201.tar.gz	2002-09-02 12:48	168K
118.tar.gz	2002-09-02 11:33	162K
10.tar.gz	2002-08-31 12:54	159K
276.tar.gz	2002-09-02 13:04	148K
111.tar.gz	2002-09-02 11:23	145K
251.tar.gz	2002-09-02 12:59	143K
12.tar.gz	2002-08-31 12:58	140K
66.tar.gz	2002-09-02 06:54	122K
273.tar.gz	2002-09-02 13:02	116K
130.tar.gz	2002-09-02 11:56	109K
30.tar.gz	2002-09-01 15:51	104K
39.tar.gz	2002-09-01 19:55	102K
13.tar.gz	2002-08-31 12:58	96K
142.tar.gz	2002-09-02 12:14	93K
228.tar.gz	2002-09-02 12:55	92K
227.tar	2002-09-02 12:55	90K
110.tar	2002-09-02 11:21	90K
210.tar.gz	2002-09-02 12:51	88K
260.tar.gz	2002-09-02 13:00	81K
165.tar.gz	2002-09-02 12:33	71K
170.tar.gz	2002-09-02 12:36	71K
261.tar.gz	2002-09-02 13:00	70K
16.tar.gz	2002-08-31 21:23	60K
290.tar.gz	2002-09-02 13:32	57K
4.tar.gz	2002-08-31 01:17	56K
84.tar.gz	2002-09-02 10:07	52K
221.tar.gz	2002-09-02 12:53	51K
222.tar	2002-09-02 12:53	50K
61.tar.gz	2002-09-02 05:53	48K
168.tar.gz	2002-09-02 12:36	44K
48.tar.gz	2002-09-02 01:23	43K
101.tar.gz	2002-09-02 10:46	42K
176.tar.gz	2002-09-02 12:40	40K
217.tar	2002-09-02 12:52	40K
150.tar	2002-09-02 12:22	40K
173.tar.gz	2002-09-02 12:37	40K
145.tar.gz	2002-09-02 12:16	38K
97.tar.gz	2002-09-02 10:41	34K
205.tar.gz	2002-09-02 12:49	34K
225.tar.gz	2002-09-02 12:55	34K
100.tar.gz	2002-09-02 10:45	32K
192.tar.gz	2002-09-02 12:47	32K
254.tar.gz	2002-09-02 12:59	30K
35.tar.gz	2002-09-01 18:22	29K
257.tar.gz	2002-09-02 13:00	29K
237.tar.gz	2002-09-02 12:56	28K
67.tar.gz	2002-09-02 07:02	27K
68.tar.gz	2002-09-02 07:41	27K
292.tar.gz	2002-09-02 13:32	26K
189.tar.gz	2002-09-02 12:44	25K
266.tar.gz	2002-09-02 13:01	23K
148.zip	2002-09-02 12:20	23K
153.tar.gz	2002-09-02 12:25	20K
41.tar.gz	2002-09-01 21:40	20K
76.tar.gz	2002-09-02 09:12	20K
160.tar.gz	2002-09-02 12:30	20K
177.tar.gz	2002-09-02 12:40	19K
113.tar.gz	2002-09-02 11:29	19K
11.tar.gz	2002-08-31 12:56	18K
250.tar.gz	2002-09-02 12:58	17K
220.tar.gz	2002-09-02 12:53	15K
265.zip	2002-09-02 13:01	15K
22.tar.gz	2002-09-01 08:28	14K
54.tar.gz	2002-09-02 03:27	14K
278.tar.gz	2002-09-02 13:08	14K
236.tar.gz	2002-09-02 12:56	14K
81.tar.gz	2002-09-02 10:01	13K
194.tar.gz	2002-09-02 12:47	13K
248.tar.gz	2002-09-02 12:58	12K
74.tar.gz	2002-09-02 09:00	12K
185.tar.gz	2002-09-02 12:43	11K
135.tar.gz	2002-09-02 12:06	11K
295.tar.gz	2002-09-05 22:04	11K
157.zip	2002-09-02 12:28	9.9K
288.tar.gz	2002-09-02 13:25	9.3K
167.tar.gz	2002-09-02 12:35	9.3K
272.tar.gz	2002-09-02 13:02	9.3K
271.tar.gz	2002-09-02 13:02	9.0K
117.tar.gz	2002-09-02 11:33	8.5K
138.tar.gz	2002-09-02 12:08	7.8K
163.tar.gz	2002-09-02 12:33	7.8K
90.tar.gz	2002-09-02 10:27	7.7K
162.tar.gz	2002-09-02 12:31	7.4K
204.tar.gz	2002-09-02 12:49	7.2K
208.tar.gz	2002-09-02 12:50	6.7K
231.tar.gz	2002-09-02 12:56	6.5K
212.tar.gz	2002-09-02 12:51	6.4K
37.tar.gz	2002-09-01 19:20	6.3K
14.tar.gz	2002-08-31 13:05	6.2K
56.tar.gz	2002-09-02 03:54	6.1K
209.tar.gz	2002-09-02 12:51	5.9K
139.tar.gz	2002-09-02 12:08	5.9K
34.tar.gz	2002-09-01 17:29	5.7K
21.tar.gz	2002-09-01 08:11	5.6K
19.tar.gz	2002-09-01 05:54	5.5K
7.tar.gz	2002-08-31 09:38	5.5K
5.tar.gz	2002-08-31 01:44	4.8K
98.tar.gz	2002-09-02 10:44	4.8K
105.tar.gz	2002-09-02 11:01	4.7K
42.tar.gz	2002-09-01 21:53	4.6K
149.tar.gz	2002-09-02 12:22	4.1K
242.zip	2002-09-02 12:58	3.7K
180.tar.gz	2002-09-02 12:41	3.6K
285.tar.gz	2002-09-02 13:20	3.6K
89.tar.gz	2002-09-02 10:20	3.6K
196.tar.gz	2002-09-02 12:48	2.7K
119.tar.gz	2002-09-02 11:36	1.9K