# isabelle_session_info

session_name: HOL-Number_Theory
sources: 8f7ce06b8a76b51aaedfe91e5ac33aff270c5255
output_heap: f2f4f108bdc2fd5d64eca420a69ce33a175f32ba
input_heaps:
a3c406ce68cf4d9866a541e48db976c61e0e5644
6f001823600a7b7a26170a48ef13bd1808146348
1fcbced66af35848b4211b53d0e75e682d09e06a
afdf054337de93900a42aade12ea0448a3288c5d


