# isabelle_session_info

session_name: HOL-Number_Theory
sources: 3c5f00db14cefb752ed1a350fbd28dad7e1eed74
output_heap: 097a980afdff1e9f0fca39fc433e7e774909dd78
input_heaps:
b71b2aa485767f91425b025d2acb6b14a80f48dd
fe032c99cb4dd9300104ffa318b3d3be808bc47b
de61e68e68af1d57b2532805aec602483b3d5532
cf72ac8fea3e8cb622e2faecfb3ddc3c1b7cd959


