What excactly is in isabelle dump?

Question

Is it possible to recover each line of the proofs or their location from isabelle dump? Inside the theory/thm file output by dump, we can find defi