# isabelle_session_info

session_name: HOL-Number_Theory
sources: bd94947a48a6127178f37e405c647c5815f68101
output_heap: e985b27d06ce95f0f2ac182474e302fbe187088c
input_heaps:
9cd3c53d80170445c84eedf6dd4ed5c742828d4c
1b7644e4ef7c7bda7fb3cf22b79d9258a3aaba9f
40c085545166b0208638b4543edc0e83878ec9ff
e35b725dbc0798605a24c9ab4a2a03d6991dac81


