# isabelle_session_info

session_name: HOL-Number_Theory
sources: 87cfe2e3fb6d064c35133a93ccb28ee4fe3fea8e
output_heap: 45e75dc9a854bce410da53bda0bd251eeea48353
input_heaps:
3ea58d54a136a485954265ca6aee1aca00e66e9c
a213deeff6e0f4dff740f020010b2ce9d72c57bc
6839bd0529b83478bc7c4972c8ece3cbfb85ca72
10239dbb115d1faa0ecb1e23bd46028f2590ad1e


