# isabelle_session_info

session_name: HOL-Number_Theory
sources: 645a4eedb8680b5cb93567522bf06dc4b0d7ac71
output_heap: a090c42940001c62ebe150264182ac2d37c4635d
input_heaps:
0368d846b91517e6bfc74b22aa4589a14a64f868
42798967e97a29eaa625d2ed2073e7fc3fcc184c
680c999822779f6c5360ad6bcf5fd641b0fc1344
f62507887852cacb3963de401122fe7c1dd7d078


