# isabelle_session_info

session_name: HOL-Number_Theory
sources: 8a7f9a6e5b354cfc603a21528afdc1527f3c89b7
output_heap: 4c9da219ee573ecb5b7e4891a1abc9c8ccd07a8e
uuid: fdfa4c02-35d6-4b82-a13d-ef32b632e2db
input_heaps:
9f756a51bf34e1b2803926b818ad28454650efdb
6f8c06347605fafc9c3e2a708367e9d073c12b69
7a1d88efab84579e87bc510c25ca93ea0a0c6cf9
1de3ca7c1ecbb460e901ea69bf61a102886d65b9


