# isabelle_session_info

session_name: HOL-Number_Theory
sources: 73b0d92d9d51dcac934eec83e4cfceab0e061f73
output_heap: db3c7e05ff2cad8a362eb928eaf82e661a770946
input_heaps:
6f335b5bb8779b347644e460d18a9f6245b4d5ac
cc5e75d1df4beb9a165a03b53590ef0a1708c25d
513461124470cfa2197ccabcb76a66e38ceaceb6
0d5ca757f0319ccfa504b7883ecf52858663b857


