# isabelle_session_info

session_name: HOL-Number_Theory
sources: 79bed8a3edbc0312de7e358c87b4924961f2f08d
output_heap: 892fcb8cc406f4fe92e3474205ba1170ab538b5e
input_heaps:
0f207da8fa38a715f9e8aa8a58fd6614f1b93f2d
ab276ec74ce8749c4ecb0108f5e05afd9c485e27
70268e22ad6bba4f045f4035c1fb38a8b0d8cd6d
6c1e4df87f37d1885672ec985584cfce769d11ac


