Page Labels (page_labels.java, $Revision: 1.6 $): ---------------
File name: ../input/articles.pdf
Page Label
1 a1
2 a2
3 a3
4 a4
5 a5
6 a6
7 a7
8 a8
9 a9
10 a10