# isabelle_session_info

session_name: HOL-Number_Theory
sources: ab949af3242af86f939f805ab0bbc54cedf91eb7
output_heap: b6c9e947479e4b1a18b044d63ce8bd10bb1a8221
input_heaps:
1943e47cd6d7055bba0065ff3f918be322d5f5ea
40d44bf7a23ea87cec853845e1a63abc0e491d82
9b8fdb44f656b3d8da1331cb528de62d6c6fe4a9
91d8d3a7c2b2cbb2f0c2c10ff0bb4334279961a6


