# isabelle_session_info

session_name: HOL-Number_Theory
sources: 9cafbe55f2137c1b5514fefdec6fd4861539ad8e
output_heap: 22c5f6e037fa096afd75e30a4cf15f89675bccbc
input_heaps:
144081708d643f12bc07862a2c56f95089c24593
82f7148b5f30d0547ce70b4793c12f020624ac86
0b0299f582ec523120c613fd3dea10a7fb33852b
ff31ebe34556ab89251b91fbfd5e1b1ab62d6e56


