# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: c25da56b4e90ae148666a8164cbd479689e0898b
uuid: 5e6c2f77-20f1-4c83-8a41-8511e803f41a
input_heaps:
9b8ffe94a37cb7ae88c6a0b5fa799ce2b573a390
5d260ccc8b85a4358fed6437849656cd81132922
be15db7cf5921b29cf780d4a08d94f2e26a813a2


