98e79d65e2f0d7677c5a7612393990c9  bzip2.txt
3b89b0730812999525e5535e8aeaed10  manual.ps
ff2234954e18a05e8a6364d167d9a645  manual_1.html
304d172267127cc0198b68eef732f54f  manual_2.html
644c530cb683d58a3768142f15ab56f8  manual_3.html
b4c4b8a360827fe536a76729378ea741  manual_4.html
b7593a906b8553b9b16d95a8cc849075  manual_toc.html
6997c690d2ca835dd32c877e81640b18  sha512.sum