# isabelle_session_info

session_name: HOL-Number_Theory
sources: d9301bff0e139cb2ed93c4152aa7eea65e82ae3e
output_heap: 3f9402a42f43c6a05470c4aeafd43194b64f98c7
input_heaps:
1e03383fe82b4a32cb7659d421d19498ed052b67
f4d7d4b4a6dce3a1f3342d41a8efd10119d13ae1
0b9b8c5cc5cedff286745c45050810e865dd3729
975777d7eb82724aea89f887762c4a3d7441c35a


