# isabelle_session_info

session_name: HOL-Number_Theory
sources: 2d2888a1af6191d233e4f4d386387d6e5d5e4c54
output_heap: 63c1f8f7045c65ee4fc0437490a551a940235752
input_heaps:
6f996ae759a0b89fd441125c40850611f02bb4d4
6a68b91616aa56bc8b0d5f5946b5703daf60125c
8031cd9d3cad52496e30b3163c73092ee7a8ecca
2fee647a301ca03bfdc0a4ed2d9c7a5d2c18e8fd


