# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 94ee7ca3b1811602adfc61e7f28732f21e6bdad2
input_heaps:
2e6928e36c7e4240e9657a660a95e55cbfe06e26
19f89c7230ec5e746f283c7664c0cde776169611
64489205dc97c22cafa8e486edc058e564e0d5ec


