# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: d0dd4a2f2613bf24f66ced1e2a36f56f2bac9dc6
input_heaps:
52519c7bb622d0149ff1a65e75361161de1fde82
44951f282c031f99bda3129d41270170cf629e89
efca36a8e293aa80a864ba338cd45a288a56ae2c


