# isabelle_session_info

session_name: HOL-Number_Theory
sources: 3b2b3e3a2b001e93d6c05c064992f15f28421dbb
output_heap: c9e139f9f8a46dcb94d25ce09712a6e5b41ed81a
input_heaps:
4332e5487bfb4ad6b6035d467f295f79a146463f
e78c7f04815e9fc5fe2da76f8959bd79f85ddf4e
359e5242fc8c9e1900e99b8419e9046969d6c21b
2b135cf2c99f47461e60cce110719af041c67e7f


