# isabelle_session_info

session_name: HOL-Number_Theory
sources: dfa443bb4be6088be0d9c4e5dced1dd1da9e202c
output_heap: 65233403cff02b3e3a003f429b8d22ea1860169b
uuid: ce911125-d79e-4dc8-bd8b-67b090ec4b2b
input_heaps:
94e2b66d00b77875014d997ac2abf11a8e903784
18be5846271af03e56b22434e2d70261152d1227
d9a46cfa24f3a848167675ad12d9530e9c5145a6
c50a307d4a2b66a693bbfbb79db2b4779d8a0e0a


