# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: bba2236a8c42f2fc64182b2d4e5d5e37e447ba45
input_heaps:
0885912a24c645e4182724bd7f8c89f24840a297
e463e677359f3c9489bf77f9c6fe154dc3d8599e
b56da9326852f88f19856eee626d60a0308d8baf


