# isabelle_session_info

session_name: HOL-Number_Theory
sources: 54b3a0396c9a2a01a98caae8bbd443a0d41c8384
output_heap: bbd1180c23d9fdbdacceeb4f5110d90e72473c82
input_heaps:
76fd26aaacd6460a8a6de2c25fb172171219d3dc
ab3eeb1feb9ad89c49b8b08584c31bb8c8ae5660
106747b91dac89db78ea0c000b0451d736508401
f4f035064d07aac6f0a1f7cbb3dce86391aa46df


