# isabelle_session_info

session_name: HOL-Number_Theory
sources: a6d74eddef856ebbfcfd15856d586e2e1e20541e
output_heap: a1ce7fc8a736432a057a1038122373c6129710bb
input_heaps:
2323e0bcf9a949c0980c1f22cb8227d64a922d7b
c4b710fa6d0b34b7df331901656cc5e2aaceba02
750621154f972e780cdee5fea4af082c147026da
7a0891d4ef88ae38526fd01a7d1bab96d3df1fae


