# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 1b2f771e6f59d5a9fa0c7ba96ef99ab11622f37f
input_heaps:
dfb2cff39355450cfd9a38d0868c45c739868d18
7c72e15715919641b0ffd3d741f84942d786d5cb
e277d9715692c228eb3bbaf9aeb5789a062411aa


