# isabelle_session_info

session_name: HOL-Number_Theory
sources: 7a7e8af06eebcdde4fb9cba8b23bbe005243c966
output_heap: 5bd749a5f8e198e5d4e86287ae3109664d18ef99
input_heaps:
7fc82d96a6cdcdfc2c4460ff25bb9a8c30e0eb7e
15b300149e9f03c6f17b2c67438a0a1255b696d9
37688449570e1eacfd2b69c1dbf1f4f0e137cee3
5f4b70326dfd993a7c2b06574676601029fd26b0


