# isabelle_session_info

session_name: HOL-Number_Theory
sources: d258189a85dce5d6ecda007b3dc086bdb6c45bb9
output_heap: d2457bdb14ec2e4b4de397767e430a1631b1b676
input_heaps:
6f3a4f66f1aa7a73b21de80bf8c2e0fe2f71d420
12202e5f526fceaf2c8bba22b48190adfe4186dc
41e38884f0b5e7efda5f9bd9f656a69b05381576
62fc7fb14d66b5802f0bffb25403388427692867


