# isabelle_session_info

session_name: HOL-Number_Theory
sources: 9e11ac4c4bc4b45868f071277b766f8d77dfdd26
output_heap: 71f9cea4a4f3f6cd0465376c05e80d4ab31edd3e
input_heaps:
d50d23da2fba2fa66eac370561c930ef78815f64
42ad9fe34f8eb64ea2663c9e76a55f6c21a58507
2877564e7acd01abf35adfba190c1e8503a3502c
402023e83f3897d1f9f5b9216e69f5ef2acba56f


