![[TXT]](../../../../../../.misc/text.gif){kind=small}
882 1984-08-13 ptx.in ASCII text file 11075 1984-08-16 ptxx ASCII text file 902 1984-08-13 toc.in ASCII text file 1000 1984-08-16 toc1 ASCII text file 901 1984-08-16 toc2 ASCII text file 263 1984-08-16 toc3 ASCII text file 26 1984-08-17 toc4 ASCII text file 26 1984-08-17 toc5 ASCII text file 209 1984-08-16 toc6 ASCII text file 30 1984-08-16 toc7 ASCII text file 102 1984-08-16 toc8 ASCII text file
