# isabelle_session_info

session_name: HOL-Number_Theory
sources: 81e5c202d3ac509561c4cf22d171eca9f4e0be69
output_heap: 971cf26608c5103f3577dc0a0d5c0003a46d2bef
input_heaps:
6cddc4affe5c2168acd960501c3b8e0a87b46c52
836e6c5126283467c7477ad029076bcafced66f8
5b27ba0d99c4bd0098637ce9f29ef707026afa33
5986eae7bfa3c726df839108d444a0b3bb3717a5


