# isabelle_session_info

session_name: HOL-Number_Theory
sources: 99a98d0c5662b4e2241424e6bb5ecab2bab8ea8e
output_heap: 2d9e9ca0a4634ac8401974d352a09ee2d8976fc1
input_heaps:
78a3df3deb9d45514fea086c8beb2a7c1a1ba790
049b979b2a06b0d5c1c847e5ecbd9c6d211697f3
340951d3687436e106725fe07863c9393ecfa6a7
9b73f2d2b5c298bdc8742f2c78cfe4eca3e19b8c


