# isabelle_session_info

session_name: HOL-Number_Theory
sources: 52f9b3bdb30d3b96b04c2eaa660f9f3a9d739f00
output_heap: f02434e8c5c1633890d75efc62e9b743a446471c
input_heaps:
d9de4481ef2a3da825e23b700f29156a5eff2e35
d32b67ad46e3370f7ad64c5a6bfceb2624525a6f
34cf726203037fd05adfb0cdc902d0ca7424dedf
1f660cd2136254c6aa68cdd6c53e2c03a72bb133


