# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: c3f729b8b8a03d2bc6d0d3cb349b407e5a664e4f
input_heaps:
ce650bef79d6d345a890ff07d7a9b3683844e575
f08d4f4b93eafc7f860a3267e5cf1a14728b74a1
37fbdb11e9c8033df7768d7f0dbbdda296d5143b


