# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: ec52d35891cafbcf7456015bfa381651ef8224b9
input_heaps:
e7fc28fdd000a6a43da8beffa0fdf0252dd408c4
481d810fe6ad6cfb0b1e2ecee5def91c00401e8b
374a22b68ae9c751c8864e23e93d7421f48308be


