# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 8c241b08e356b5aca5c4c9349b33a251d279624c
input_heaps:
347fbf4ef7d480ef0daf549b90b022c9b0165564
7b4c5b09d6236f4a8b3d7e6fed19a51691e426f9
bd9241cb5dd48f5d5e8f63e0ab4e5b6d233ca67a


