# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 4affea65f4b16ea31260c4f1f309f24d5759e114
input_heaps:
db456e2182b198adfdec654a00d5bb35f7784ab2
b9ec9d6295bf04a1d5eaa3d01cae5193bc8711a6
e74b8d18e2ee0e40531b2cde3a49dc94e114f93e


