![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 3-5-alt | 29-Sep-2007 21:08 | 2.1K | |
| HELP | 09-Oct-2007 17:02 | 78 | |
| cd.txt | 02-Oct-2007 16:26 | 2.0K | |
| help | 09-Oct-2007 16:56 | 82 | |
| old-cd.txt | 30-Sep-2007 22:59 | 1.4K | |
| partial-eval | 30-Sep-2007 21:47 | 4.7K | |
| program.input | 29-Sep-2007 21:16 | 665 | |
| sum-the-weights | 02-Oct-2007 11:47 | 1.0K | |