# isabelle_session_info

session_name: HOL-Number_Theory
sources: 32f17ce2eb3f8d0e21b1f92af3387db0a28b0bb8
output_heap: 98aecd580317deb7e2d54f56a11799d70e874fe4
uuid: 9497d816-07df-4456-a384-fed29fcca36e
input_heaps:
7c6f2b7437f5ebb54c9c7f19ce0aa45616568bd7
be8131a433bddd63b748362726e9657753469013
b5dd907c121bcff21cc1c1562d33b1bab21bbfa9
0f7e11bbd05936fa17fbf99070af712853e1de38


