# isabelle_session_info

session_name: HOL-Number_Theory
sources: 45effbc8d0b448d00185f0393e57b48ef46ecf8e
output_heap: aed95643964eaac4c9e03ed44999a1b38207fb47
input_heaps:
2756139cb33ba5e4bd4cc33e5c755793ad6d44ef
87150c565a142fae9a2e19dc263f6b4daa00c26b
958f0ae0fc1cd7ecfc7e8e1ca2ceee22cc61ad96
b15ebe160422e1a90cdcebfc75743d7083bdafc9


