# isabelle_session_info

session_name: HOL-Number_Theory
sources: 8e142e5dd146bb8c0dff63b5aa6cabc807a5812f
output_heap: 82130ecf6392deb445a4f6bbeb12fef22ce8c30f
input_heaps:
90cfdec0d87addbf47d3382f9c916158cdafeb90
4464720f6112547e5ddd8b507d4f8fcf7d12bdb7
7b132e31a29f37151321b64653cc5f100d5b474b
8c8ff76a212aa6c511956a6c631ac264d3699932


