# isabelle_session_info

session_name: HOL-Number_Theory
sources: 5bbef5019f5534ee6c51968e26761d33c14b978f
output_heap: b162e5185d26e836804d0e81f654b9037210cb73
uuid: 29e3a767-dadc-42be-925c-b09fefb2351a
input_heaps:
7fa36be71927430279100a4a627b293498a11b23
b1b27881931da3e3fae70a1a4067440d5e6c57d8
717016bd28e5d6d1eb101fa3056af2bb21a22537
108afb1b267d34f6031eec5d33a55695fd5ae775


