# isabelle_session_info

session_name: HOL-Number_Theory
sources: 990ff92b41680c384f04ae660a60b5f59bd8c88d
output_heap: 87b010be4f01e88a9817c8f4787a45a8185a9ed4
uuid: e8176039-6b8d-4da4-929b-0446164a316c
input_heaps:
ea3ccdeb1f4480eff1d2d9d8612d8489cd4649db
026635fcf622a0baee3b1ebb1be23d47218acb87
ea55cc6d20ed0b560f63ab5dace339389b200e4d
5075449c25266d48d60ebde163d397c2cfbc4538


