# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 6b463669e3670e647e5e0ab2faae5f3a78408ba3
input_heaps:
09699199a0064efa4710789d1f66cb5c536b4bd6
6d77f8423a201617d8279fb15a05e30d974b2eb8
8242aeb274e8d272dc632e3acc19450bec2d61cb


