# isabelle_session_info

session_name: HOL-Number_Theory
sources: 454ef2de98f74eacda53d20420738312589d8a15
output_heap: 5618e49fd6dadc7bab97e990d9a7ee9815a671f7
input_heaps:
61532b7245075d4ea33812447b32dabbeba07b4a
3994299fe9a4f467e063bd0b975546ec5a4970e5
8f4ec66b19b03b756b2e7c2505a372d748ca1c2d
446e4c138e9489bdd96d64fd4977bf8916f20eb1


