やっと打ち込み終わりました。$2400から$C2FFの32KB超えの巨大なダンプリストでしたので時間がかかりました。以前600dpiでスキャンしたものだとOCRでうまく認識しなくて手動で打ち込みかな？と思ってたのですが、800dpiでスキャンし直して512バイトくらいで区切って画像を生成し、サイズも大きめにリサイズしてOCRへかけたら、かなり認識度も高く変換できました。

80Bでの動作は問題なさそうだった。PASCAL自体はプログラムを書いたことが無いのですが、多少の知識があるので読むことはできるレベルです。あとで余裕が出来たらもう少しいじってみたいですね。