# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: e86f1bbcff0b7a289a86cd9c5a1b388ca8686877
input_heaps:
e620ac930d489078b357b373608609ed836ae94d
6f5646bc3439a661f5be6d727d4de222a5c345ea
93555cf0c0759f9a5c02d602de33c467b9d02720


