# isabelle_session_info

session_name: HOL-Number_Theory
sources: 994d5c853526a126273b6617c218bcf865779433
output_heap: 848f5439ace6b4fa41b8c1a35a6a3c292a3b3e12
input_heaps:
98b9b9cd6f4fc2e11b47e8e3c434c3dc2faa1139
e2b5f42e7f98c0b995b852b6808f2b8140132ac5
41715460ea115e371312142689b3af6c2013a20d
aece3a8b4282c9a9408bf84c0dbe5e6d67f3f4d4


