# isabelle_session_info

session_name: HOL-Number_Theory
sources: e5a7588e5ab60841da3aeb0383a30296f0cbfe9c
output_heap: bab3e5a2117c99f6c53278f1bb97d8857f7da86d
input_heaps:
f7b1a1f56b73dc58bf54d6b554cfc6678c6e3f45
8699c09d5dc37a7f84bb6047bb44724257d556ee
c3f53122a3ba7b0c471a86b4d7d4c5316c1b924d
0d4cf83f019e259fb320761aadbb118eb7c26a68


