# isabelle_session_info

session_name: HOL-Number_Theory
sources: 55889ce18f414245c3b128501c902d9f039784a8
output_heap: eebc9f37495d55d69312c8400615026b4c37b3a0
uuid: fcab9fe4-752a-4f83-b26b-f4c7af30cbb2
input_heaps:
9b04407a9c9868cdf91440df38a950e6d09d9c8a
4002efa1f75a65fd71f748ba21623d892c47f0ab
258bafb318da8b8172037d1f1248f9ab6f5f01a8
aa382d421fe6230efc72b135b15e718d6b187454


