# isabelle_session_info

session_name: HOL-Number_Theory
sources: 94b718c8efa6dc62cc165c4e2f9fd0d2b9df1ef1
output_heap: c62e551935ef164bc6fd4f8620672398077ae8b9
input_heaps:
32b9ec70ea049b767adaf0015bd3835a109dabc5
bc84ff3ffc01031739db0ee1618c26d14f5d0c65
f3ac14b5bccced0316ff61356000c5f01bbf40e0
214f614ab50fc46e4ccfac14d6eb8ab24beb4b17


