# isabelle_session_info

session_name: HOL-Number_Theory
sources: 34065cfd1615dec446bc3052ccdbfa7d0596ddc1
output_heap: 03f7e4b8245f43d376582bf2ecfdb5ddfad85fa3
uuid: 1136c109-e250-4770-a743-bb02b67d9878
input_heaps:
a4cc56f347bef96df112454c282b70177f6a68a7
4e9596f9263a14a76ff98a57cfc31d0464e8134b
ccb906bbf7d2c0088aacce5c05e6faf30061923b
979ead9585b9078300ea42be5b4aa7abb800e08e


