# isabelle_session_info

session_name: HOL-Number_Theory
sources: 06020b7bd4221a57cbdaf23105015519e2075e6b
output_heap: 83e6c78fa40b5c0156f573b1ff6433022bf3d4f4
input_heaps:
965db9a9fb2cc4fdb5e5b9afd24f7a9ca9aaf978
09960ff509b80e2828bc02044118a5145e571ed1
5573373c939a0f775f3484d5c04f9da9fd68deae
6377908bdf3f2b71dfbb9b65c06b701a15459784


