# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: ff7d9d1107230cc28b9f4c35c8bb8049e18df5f4
input_heaps:
37d4856c8262aa3a7dcffd62f7e4091b574dcefa
866ec2026827303507f1599a51936e6e6a933e13
0711c0eca0ab3d270aead8af503f11a6e2ef8d17


