# isabelle_session_info

session_name: HOL-Number_Theory
sources: 7df1b30e98d1f1f8019821153066bf7fb11fc109
output_heap: ce0e28e06c95a60666839ed62f06877a68a87b56
input_heaps:
8fa5df165501d3029bb2fa72694514834a8a60a8
d5ab31b7cfcb77d48540389ba5082fdc279c7301
830cb74ed00565ecb3e44a4c1f15548805d40dfa
9ad4d7eb07d290a1b67ff799dbc77f53d8addcb5


