53409 4591 netbsd-TX3912.gz
45653 153 netbsd-TX3912.symbols.gz
39640 5483 netbsd.gz
39150 215 netbsd.symbols.gz
19994 233 hpcboot.exe
6366 343 pbsdboot.exe
59871 373 pbsdboot1.exe