# isabelle_session_info

session_name: HOL-Number_Theory
sources: 234bca0f676030d0a5aa5a33c9473d3f3b0a479c
output_heap: 24e0846d21a124234e7ca6d5d2e1b6694d08e026
input_heaps:
c10b09dfa56051c7fd8c1bbb4005750ae3c154ec
ede03428a5570b13397786cb62185eddba666a2c
72416735ad7c3434f620b97a940548488afb274b
0181540c9f61e22e00b337556f858e3b2f7f39d7


