# isabelle_session_info

session_name: HOL-Number_Theory
sources: 27ac1d547c05c2cd8f62592d7da5cfa95a8b8ecc
output_heap: 0dbf309c85c72936a83756ba07c6dafbe88194e3
uuid: 27aa6b7d-27c4-46be-9411-4a64aff8803b
input_heaps:
f2c04b3a245c566a66a6acf19889f982d671348e
6a67644276429010a483254405a7feeda90e288f
fd453820fe958d1fee7dc97e4ad62f07a2b9f581
5c31539334c9e8b403b71af82113fca3aca7c435


