# isabelle_session_info

session_name: HOL-Number_Theory
sources: edf9baf3aed5910d44c6701795a9ab95517035c1
output_heap: 6d4e0c2e4bd878a9e572ee3e40e71901784746e0
uuid: 24a85636-c706-4c94-800f-04977416b5f4
input_heaps:
8bf6d6c4ec5c362fa65ec69b5eb9f99879813db6
d114ea8585affa1ead63c6f741e34ff76a13097b
1f940904e47179bdc7f94b71d87fcc4cb5398a50
61e9d2abdf16f090e0b5280edb4cf2aa2dced83a


