# isabelle_session_info

session_name: HOL-Number_Theory
sources: 8f7ce06b8a76b51aaedfe91e5ac33aff270c5255
output_heap: fd57b51e60f945413b7bbf1dfdbd2dc005200314
input_heaps:
0a23064c34709125a075cd68ce8f561e647f6953
6850f216aafc89fdeddfe90aae02e1cda8df6a36
d4244c8c8b45f34e99d88ce9efcf11cfc8d66586
35e0c003f61cdb6fa560b1d0e657cc3b8733556e


