# isabelle_session_info

session_name: HOL-Number_Theory
sources: 8b440b3088431057e32cb8a4c64d7476d75d8eb6
output_heap: 92daf653b60a4ee2c4e12abbefd5bb8554edc745
uuid: 7a1c58cd-d43f-4d20-980f-bcc4d96c165d
input_heaps:
9b8ffe94a37cb7ae88c6a0b5fa799ce2b573a390
5d260ccc8b85a4358fed6437849656cd81132922
be15db7cf5921b29cf780d4a08d94f2e26a813a2
16fb43e68e0af64cbb4f35478d28e31e1edb6d4b


