We extracted the bitmaps from the pdf and started making a graphical viewer/debugger.