# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 107423e43d0adfb2a40dd1f475da6000e0667f5e
input_heaps:
c4657553ec539ee1cd3dbf9cf40b6479eb0e8be7
c09189980113121cb5f18aad2d7534bf09555b9d
4533b7e364605fb59c82205740102eec4cff9cab


