# isabelle_session_info

session_name: HOL-Number_Theory
sources: 442c445dda8651856bc8dcdd0472d3a336ac2e98
output_heap: d3484a0a0dc232e087c901951aa2aefa36067947
uuid: adda3b2c-8024-4ac3-ad7d-c7cb4b2bd819
input_heaps:
52fce7a083032aa70183a50f999e2868f79e2148
694680bfc6768bb59cd23ad51623a23d40ef82a4
7dc84cce36e99488cab9a50bde2c312f710bd06c
7deef06000f236c2a88881b76f85775cfb7a776f


