# isabelle_session_info

session_name: HOL-Number_Theory
sources: c8429755807f89341fbe1613071080b35cec95f7
output_heap: 9c6a63071ac14c8752b0b042a84b3de3dd82a1db
uuid: e8babe4b-d185-4755-a2b0-9035a6d4d153
input_heaps:
cb1b65c467ef552552ff2e51a2d5ffb63afd4758
b8a02a834d8fbee8ac02bc0db66ecdd69ead8168
d121f1c3fa0be413c06903becad78f7c07ac4879
e5634cbc3e53dc0cb7ee1a6042ba43cf38515e53


