# isabelle_session_info

session_name: HOL-Number_Theory
sources: faa5c5d8768b7d6d42113c7127b2c1c4ac9d57b5
output_heap: 5d35a75826cf5f18a444612b1ade2a944944b005
input_heaps:
9884737fddd3e6081253c712523f8ecc142c72ee
a26171661ac87092335660b10885b138f2715297
4635c60c913dcc5f9239b81dba841b472bc64dcd
211525a3c0f8cdfeb130c0cd1cf1f8ab186e6482


