# isabelle_session_info

session_name: HOL-Number_Theory
sources: 94b718c8efa6dc62cc165c4e2f9fd0d2b9df1ef1
output_heap: b780b91bafd4bea22ad281f82bbd278bd4dba5a9
input_heaps:
2c79d3d54810032b527670dc13f3e7c0919e7d5a
0a6bc08b09ab01ef5fadd0d577b4644a4a0ca9cf
1bd6df4d92578ec4b11bc4adb8b603690c5149a1
330a648c5d6807f2a0b3acd31c4a2d15c9f16d2f


