# isabelle_session_info

session_name: HOL-Number_Theory
sources: a3b37c760f7ffe8f04411e996fa2982764c75e57
output_heap: 40c478f232fc69e530b3131d80b4bd5e8e46aa17
input_heaps:
1557763c55026864eeb1fbf92ab3ec60267ee348
5cf7dad23d1e903fd6eeee54e5217926f169a0e4
f620dc0ce12f02b1142af6085f055d1ee0747678
9f9a3d363620cb2df62810984baaab9f9f0db262


