# isabelle_session_info

session_name: HOL-Number_Theory
sources: b174599f4f625a1b9754091c6c44cbe9402ac082
output_heap: d0a1e9893fbd1646ac4a2a10386e6f46bf68ea37
input_heaps:
7c773fa34a6bc8928e20fca183df288d33e2e574
be7fbf64373ecd23768e48f09055d3bcf2a7c79f
c727bee9efe6ff505b36ca42fd9f0df06577f467
98334754143275e4d4bd352f6d9d32ca44202c2d


