# isabelle_session_info

session_name: HOL-Number_Theory
sources: ff7a2ef6eb1e8dc7c91ea5dee5bbbcc4c9f6d96d
output_heap: c57e08bf2d57c8cf81ba1e99dac5bf389517d0be
input_heaps:
9b9f81d4c305b88e1723b753afa9d6920245812e
c4fec795bbe4e08dce23c820eff003287faea711
430e9de3efdee3e74cea0907e193395680a2872a
aa7798b73ae16e482f7d8cecc2f531c9feef86c3


