# isabelle_session_info

session_name: HOL-Number_Theory
sources: 490da5ebbd173f6ae6d59b0d5c097a5755375700
output_heap: f7ec4bab4f2c7c8ee67b8332ccc9ce8915c508a0
uuid: c6ac2ada-25bb-4d44-ae0c-7d141202a60e
input_heaps:
993eb6fa3b516fdd7b7b2572ecff8a2946f70eb4
81855fd54aebed115a45643a126470a727632716
f41e60420c286d9f824f457ca796f7053aab44e0
84f87d41f39b2a50674715dada74c76aba5d3863


