# isabelle_session_info

session_name: HOL-Number_Theory
sources: fbb08b4dfadf07152b7a894f6b32fe6e57fe9eef
output_heap: 7f387e0a84689ae55a28802397d87bca11284711
uuid: 0bebd4f2-cc9a-4121-8988-9af430c9a218
input_heaps:
36485b6181fa7dd2234febf349f141456f576e41
2938869a4687eaba215c72dd9230cf340caa7c0e
e0b2413c63513a61c1fc2619cb5656a0d51040f9
5478bd4366029f0fe160f280700ea05e3f792ca0


