# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: ff7d9d1107230cc28b9f4c35c8bb8049e18df5f4
input_heaps:
e9d0d879744c06b748cf9e0e8fae9335e2714e34
df112e3619c38cf42b9e29e78ebd9ffafba0609f
7192df6e9735b550f9fd09174f204ff4b413385b


