# isabelle_session_info

session_name: HOL-Number_Theory
sources: df773a1051d459ae0d8e53f449cc9381f17570b2
output_heap: a30907c84e993f41305e3e3aa7e0d8f064829022
input_heaps:
bd83b15e1e0e9039a1a1655585e69901cdaa3f80
e4ea8cd95193acd87d6b106879f9d68d28c8a75e
d1789fe27bb2acdced8c4f59191cd5d99f361f8d
15d67d306388c473062e8315b972c8774c73994b


