# isabelle_session_info

session_name: HOL-Number_Theory
sources: c8429755807f89341fbe1613071080b35cec95f7
output_heap: 4a41cf9dd1fb468285c9f07a0e8a38171b71f3f0
uuid: 0b2186fb-41d5-4805-9ccb-a03aa6b4b96f
input_heaps:
77299dddcb29b78175e82c70524d32bf9d698d4a
bd3bb075592b20659918170e65cd26a662a77f21
f73af0d5d0c2570b2a3edee067d504b616e059ee
239bd0d538a9cf9b1f92607249a02049d4e6b443


