# isabelle_session_info

session_name: HOL-Number_Theory
sources: 8f5210c5f8802682b0e8a49edd5ba937dfb1d8d7
output_heap: 20174b6225c6f0ef6637f9cff1ad1c4bc5b5403f
uuid: 74b17bdc-c4cb-4b9b-beb5-500d15b9505f
input_heaps:
a5086d29dbb3569e49157f03765007c8bb3737a4
079bb0e482226665fc24021353b53387cb6158a0
c06119fbb050747950d221a8f810d9bb34960724
6dfe89d808d68536452ed0cdb671d0893e3b008d


