# isabelle_session_info

session_name: HOL-Number_Theory
sources: b0e8d86c73a39ac4fb7afe8e48f290fa04c835e2
output_heap: 6f8de6fae670f30e8ff6d32fa33a4517285b2888
input_heaps:
a1e841a14f3cbe5e635587c582b2f4674f435e40
7d43288a5cc968ef6c8aa951129cae27c402c99e
a4719e62c96a0a1e3fd0c74ade35f57ab3a87a7f
85f115873b271601dcb973bf9f960b1030b6ab40


