# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources:
8948a7a1ae7df3be3f23f8a098a3d5c2f7ae1b92
8fc549800fb56fe9ba8b17177611aeca40bb5cd2
c7bcafc5f2b761f305961b9548e60b08f2388b2e
d67806cc71f17b1ba9eee5dd868691cebb89cd05

input_heaps:
ff3fe36dc49ebbcde4e5934f36a98a4faaf7799f
11271cf7f5c3b7b5eb8058ac8fab9e5fd2f3757e
6452e1ec17fe035fc93c4ad00d5d2696a709daa3


