# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 0e3b82b243fd1895d916ea0e9ea72f6abc66802d
input_heaps:
7806f52011c4fba77600ca1870d3593b29503323
0b34bf6c01a8dc56802d20fdd0cc844755a7d424
b466133a0b7db61bfbd5c6d976c1f95e29a4b967


