# isabelle_session_info

session_name: HOL-Number_Theory
sources: 36f940da4a3465438a21fcc16cc7bd8ab19cc661
output_heap: cc29a0d8dabb905be6d9b73b87af4a1ab514944a
input_heaps:
a8d2b2957cf6386ef71e6190a6c8f3ffdbb41229
d359bf5ca56e584aaaec05c2cf0421ec40e1dcd0
6079627d7d05db72dda14392cac7f6be75c78e42
17a0d3bd741f4798e0fda5ff9df7cdd8f1a946de


