# isabelle_session_info

session_name: HOL-Number_Theory
sources: 1ad762797920487ad8ece7bef74c696f1f32af57
output_heap: 2d9ccb9dc3dd9fca4ecfc7aa1c14e65ede9b1d48
input_heaps:
51fdd790dd5bb3b33bbac5928fced7476c30aa1d
6493d4a1efdc7dd2fb0543b9cd81fe24dcd625bd
d380eec74ed40e71cc9991998e2bd91f301d6cbb
78cf1af5484d5f760a2578913121dc7f8f94f717


