# isabelle_session_info

session_name: HOL-Number_Theory
sources: 19fce1d18304a34dcf3dd2dbd12c69b78d673ade
output_heap: abaaeb9da0e6838a1e649fb7b2c20f63c09cdb3b
input_heaps:
d9ca9725dd7d36bf78afe35e40b7d2137df0f7c7
2d7fc4c8c99ec0195cfe8a002fcff890125c4fc2
27db0e64b3b356786ce1b65e6f736a32c6b5e500
6d63379917e16720a7373f846994a6df264b3344


