# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: ea3ba12e582d7bc8725b080c7ecd14912998e332
input_heaps:
8e5ed195ee2cdbe15f77b520f593f76d8130fb54
64c8f031891189ca79985911abef2bbef37c0626
a7907596d495a9056c129070e60ac9ab33be654e


