# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 6e01590c67a4b42ae13a36c610a4aaed591d0ba2
input_heaps:
b564835b5b464625a1b82b42a4c3075166c320e5
d2bcc57ca57fbf38c0fde973297a2a4eadc893b1
13fb713f3ef9772114dd7b95eb9f09b1d280a670


