# isabelle_session_info

session_name: HOL-Number_Theory
sources: cfde5b3be6dd74e3f6319a38bc13d56eb5c1d9de
output_heap: 3ece77bad994e83b3de787a95435c24b507811cf
input_heaps:
25b0ff30768df4fab02e9aff76d0f45f128d63ca
6013e9b2873d320614122d686e65ea49474d2dc4
c209c1421d0dc42df1c80758ad0da4342656b3aa
e9226bed6478c57124b15dcb70441863366eaebb


