# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 0d2702d5c0aaf743be15cc65dbeea3ad92d42322
input_heaps:
994367ec2d1c78d3b943554e9d9b199959eb8dbf
b8874a0591f2f25a4133661dcf87d56ad6cc19e6
8b60965a2e81861e87197b3ed09ea983e78f3bdd


