# isabelle_session_info

session_name: HOL-Number_Theory
sources: 647849e7d6e918e5f999dd67dac61ac0ec9e28b6
output_heap: 28d1996890fd3c4869d67f815bcda78ed112bcfe
input_heaps:
d38b8d754a151164ca02bd5247f503c9f7ae7dd3
6f07831a6c18dd7583b5ea90de64066336abb9b1
06d4175d944a7af35d34908d2983e69c6b6364f1
a85615224801f03eb7d7a4069f1a1a8156566e32


