# isabelle_session_info

session_name: HOL-Number_Theory
sources: bd94947a48a6127178f37e405c647c5815f68101
output_heap: 21ef536f6f312d053a94bb7b62153d647bb7c6b2
input_heaps:
5adbe048162ba6286850b02082ddf88083c0b4e5
3da023d1ea27c13a4bdc6e607859bcb230c86ecf
6f4460675270752c80c6d2cfd841a7dc84fde40c
37c4bafac24c030fff3a9bafcb7e5a6a966bee20


