| Size | Date | Filename |
|---|---|---|
| 12K | Nov 22 18:45 | doubly-good-8 |
| 13K | Aug 8 18:26 | doubly-good-7 |
| 11K | Jul 3 21:43 | doubly-good-6 |
| 12K | Jun 28 22:50 | doubly-good-5 |
| 15K | Jun 22 22:35 | doubly-good-4 |
| 11K | Jun 11 22:08 | doubly-good-3 |
| 12K | May 22 2003 | doubly-good-2 |
| 11K | May 12 2003 | doubly-good-1 |