# isabelle_session_info

session_name: HOL-Number_Theory
sources: 55889ce18f414245c3b128501c902d9f039784a8
output_heap: b5229bf91a41cf0caf2e9ad8e9eb395fb3386d43
uuid: 2fa040e4-aa3e-4e71-b178-6473f73a256c
input_heaps:
410762705afbcd782ce8dee8d2dd05d7dc4178b3
23f898d9e578305d6033b7e85db0c90d21f08baa
664498a91e20fd5c0b811316370a5baa6b5ad5b8
26944839c8d52769a23d013e1e0bab38151b6cec


