# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 69370e942b6435c2c0b6f4bd916d3d4edb61f71b
input_heaps:
cbf32b635c328a6095a45f5c01bb1adf119ee7c0
bd89f790ae831acf5d43976dcc41799a9f93a1c7
bd84e8a64af63f81a84fe8ce680a7bbb7edb1778


