# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 61e5e3f583e6b463b75091a8e4e948fc2637ac46
input_heaps:
c5dbdb9c44274ccbbfb2e7b9a9fde5b75c30d671
a549469c67cbc9866fd9e930d11e2256a82f8b32
a795c5d6db220890a7bbdd2649a4f73ea02e45dc


