# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: e509d0033c7b8ab200a840ec1d040e861c330bc8
input_heaps:
04c2527dfcc2e4bcf71d91a73f4ba16392812f83
f2dd6209bb85a1d492cea699a734e24e8c396a56
ec0793241a0c94f0e6f19ef00f54db3c45d75719


