![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| integer.ps.gz | 1997-07-11 10:45 | 3.7K | |
| node1.ps.gz | 1997-07-11 10:45 | 3.2K | |
| node2.ps.gz | 1997-07-11 10:45 | 4.7K | |
| node3.ps.gz | 1997-07-11 10:45 | 3.3K | |
| node4.ps.gz | 1997-07-11 10:45 | 27K | |
| node5.ps.gz | 1997-07-11 10:45 | 10K | |
| node6.ps.gz | 1997-07-11 10:45 | 9.4K | |
| node7.ps.gz | 1997-07-11 10:45 | 6.1K | |
| node8.ps.gz | 1997-07-11 10:45 | 36K | |
| node9.ps.gz | 1997-07-11 10:45 | 24K | |
| node10.ps.gz | 1997-07-11 10:45 | 6.2K | |
| node11.ps.gz | 1997-07-11 10:45 | 53K | |
| node12.ps.gz | 1997-07-11 10:45 | 3.6K | |
| node13.ps.gz | 1997-07-11 10:45 | 17K | |
| node14.ps.gz | 1997-07-11 10:45 | 67K | |
| node15.ps.gz | 1997-07-11 10:45 | 7.8K | |
| node16.ps.gz | 1997-07-11 10:45 | 26K | |
| node17.ps.gz | 1997-07-11 10:45 | 37K | |
| node18.ps.gz | 1997-07-11 10:45 | 19K | |
| node19.ps.gz | 1997-07-11 10:45 | 72K | |