# isabelle_session_info

session_name: HOL-Number_Theory
sources: b0e8d86c73a39ac4fb7afe8e48f290fa04c835e2
output_heap: cce92aeeb96ba90e747ede4e1d6d9c012c8cc706
input_heaps:
d10e51eaf97bcfb5a974b5a9660b4a9c4ab71c42
bec8f12658c329051cdd3196b3789cc67865eb91
d46f6cbfbe33b03ec31bdad15bb33b4fd14af6e4
68016c930f77acaea9d2b1a7012a0fa59ebfa743


