# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: cef18c7120c5db78855ad6cf8e2f6ca605879a48
input_heaps:
dd4458878f01a34a1b5791d5d83a4c7fde98b709
f992b25f144d396e58a39d8cc82c7030f4bb4c7d
8684a7e8de0729f5c9b39785de5f81665b01d5b2


