# isabelle_session_info

session_name: HOL-Number_Theory
sources: 596b5e6d4f304a8f3c1702a9197aa21728bf3899
output_heap: 465a8dae03bbeb055e1c10b2472dc249e4eb2f50
input_heaps:
91654f4d47736227ca5d0c587bac104f80bcf18b
cefe1a1c8d8ccb79dbee55a881d829917092bf29
a9f7bc9322ed28390dd1b938fca489f9a15f93f3
833ac90dddda96fe8e823b79a36d1a3be35832cf


