# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 9a8bc074a848ea9e5bd5081cdc23010fe2f86084
input_heaps:
afe3ac5b2f1ccd4ee39b4084c0404b49633619f4
9667bd32359176938fbbb554574cadb8629e92e6
476562f9fdc9451f3867b8cae52d2e904b5a277f


