# isabelle_session_info

session_name: HOL-Number_Theory
sources: 56f99c7d6278aef01fe7ce3347ae1e1578fd3b8a
output_heap: 2b61b345336f95f4c824ca2ab07921dd9fcc48a0
input_heaps:
b91fd754b3729e34bddfb478bfaa24fc6bbe2d01
151f185782dfbe53b60647561f4609fab6758491
12325b8dd6f64782909258f50760365629cb5271
986d8ef1cc91af8e1769056aff74f86a6605b704


