# isabelle_session_info

session_name: HOL-Number_Theory
sources: 0b9aae3ad8f6fa2b91d5d1a7efd6b23005f4486f
output_heap: 1bf347e05872313f2919492086fd15cbc1cac558
input_heaps:
5d5fbfd4ed5fbb1ecf13b49403bac52f32b6abc4
120f0435dcd7ab89f555f527fed2a2195d4e18c3
c81f390fcb8706396242323f2680b96e62b3f303
88f07bbfcd913f6a85e9706a9c9287bbf1e6e485


