# isabelle_session_info

session_name: HOL-Number_Theory
sources: 478dc4a6792840d7443becc3fde699c07431fadc
output_heap: 2247d8044b26d0b11f8a72f16c41c2797616588d
uuid: 7af0b2bb-e73b-4c9b-be8e-bcaa99b8c5fe
input_heaps:
2e4658671229f9274cfe02e0d36cff0126e3a110
b07d47266a283eadfc0a5330e0f2b1f156abc81c
7b7d3beb569ccf98e2ad20a11585a610eb4c0c4f
824aed50ce29c3e2891bb95c8344822e90439a98


