# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 846cab288549564dc3287461d9e3333bb5af0264
input_heaps:
d0812df67cfd8dfc9bc229af4d4de6a4003cc0c4
2541b922d46b619e0d5865be28cb87d13b9facb0
ae93bc16e6e158541fef6fda0961126710931c9c


