# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: f6f46093e8c4603b6b537c2687a6ed0436ebcf8d
uuid: 03c7de38-d7c3-4c14-9cf0-181ec8082d37
input_heaps:
16995642ff9d6d081fe3569bf6578b599bfc50b5
e2f00078e9a5e8bef38f416fe533f4c0bd843120
6d5104ef027c2cb96597dd4d7f68c04f0ec298cd


