# isabelle_session_info

session_name: HOL-Number_Theory
sources: 13545075dc3b67331094f8b07875eb3bfa109de9
output_heap: d50f18e4bcc08c5cb030f2f6c81e14ef5823ab26
uuid: 0c7f9b99-06e3-4e33-adb0-d037d0ac1756
input_heaps:
f57eb8ed536f0e70cc3f24060ba296c4b68ba268
806371498c4294b06fd3427f88733a19f266392e
629b4334d6e19a2024f15c3501423225e1f0381c
7da0f2bbc0aad37c0df93200f76f2fb1acce1faf


