Name Size Parent Directory - 25400-h/ - 25400-page-images/ - 25400.zip 95K 25400-8.zip 95K 25400-h.zip 109K 25400.txt 263K 25400-8.txt 263K