# isabelle_session_info

session_name: HOL-Number_Theory
sources: 1f476c92bbb98e7da8b03d7109b3661113a8dd24
output_heap: a1003598f2dedd4b5e72b6844c16529709cbc57c
input_heaps:
21cdc0b7ede6607d8caa98ee660803e107c08204
ca93c7ffed152f60f4df396467306a3c15d49576
8550c45aecbdcd678164a2a2bd4f828eb16343ba
55aed2bc2e9a101f1e83723976dfc1aad3312414


