# isabelle_session_info

session_name: HOL-Number_Theory
sources: 478dc4a6792840d7443becc3fde699c07431fadc
output_heap: f42211c5522a840ca47d1655e9988bbe148904e0
uuid: 0a5b0d04-c1d2-4078-91a9-954a146cf7b5
input_heaps:
c269d7ba43311fcdd25b27d2c85675fb79c28bfe
c2c8ccb14b1e30e727060788d8f6b1001e9bfa2a
3874425be7072350e644dce9d974456aa0ca46ce
5400ee2bfc53a24970085dabc661fa3d75a1f85c


