# isabelle_session_info

session_name: HOL-Number_Theory
sources: 800f729a0f00373ebfe9c81ce3c6a03143ee0ffb
output_heap: fcf0e4dd3fe4dbf5a67a27dea2724b5b59f8093a
input_heaps:
19b4b25e295fa87e73b1db14b76878201d84b83c
1937eed2483e86963c5970fbbfe36381a164809c
2b633afd512e8c67b4ca7841dff6137720b92e65
90e83b4bb4f0d8912fee130f69a7f3f02440c56d


