# isabelle_session_info

session_name: HOL-Number_Theory
sources: e8a24c052fcafeedb2a413af29358ac42156d759
output_heap: 7ba0fa539a9e085e3e4d65cad6bb2cece94f1ef7
input_heaps:
814e30963bcf64f088dbe50efa68c61f1c4bb894
580696d2cbf210263fdc3f4e561765fbd880243d
5f0f258d8f8ec5f1a9fbc8b8487ac8d6478be66b
6ca45835c37a0856d2ca581382ad395dd19ed4bb


