# isabelle_session_info

session_name: HOL-Number_Theory
sources: 2987df3ecec7c3bc3a0bafd17b19f19f84674681
output_heap: b85cc5575b745e9920d5e785f530d0a3d2598410
input_heaps:
2910a4ddca5ed320a79b5d7a8472877f5003c6d9
315bf5c235bb455547dcc26824308f3938426e05
91fd9eb5ac85034be689d5a4a5f2a5cf9340af9a
af444632f8b464d05522043456e37172d94e2c86


