# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 2922c0012ad88db6a9ac49ea6ff3a3189ad9c3b2
input_heaps:
a17ca0e9fb4e0fceba75bb31fcaebec8075ae426
a9c891922046e0d6b89301822d50b6a5b330d859
14a29712b23011382901d5ff2a7a156fabc2bb33


