# isabelle_session_info

session_name: HOL-Number_Theory
sources: 947ab2c01cd2d6f43f19c6726b91ff2e05c109ad
output_heap: c602cc55b32219106bc7f68245d060212b7540f3
input_heaps:
e1147b3c6964ee34a73b496090d81315eabf9592
847a90305910414ab70d1b8a07a746397a90c4f0
80b0d7e17f3fac60542e792911684c5a0bfbeca3
4f59fbe0c025d8c65e78519fecacdd2d99a77c35


