# isabelle_session_info

session_name: HOL-Number_Theory
sources: 48d5d5b033a87e3b6190cd913515349f141d0069
output_heap: 2df53b7409c9b9f5126e1a38d8f5a904704a1a1a
input_heaps:
e47e82ff6a77ecdbb1e7af128c99e9f405606a5a
285b28884f06fd2844d6910e277df4947a17f048
2db38288b646fd598faff0c0fc96e6ba20a7091e
d5a20114e099120de100ec5bb07bcdb354716c8a


