# isabelle_session_info

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

input_heaps:
af88367ca9b3fb3a97f9aaff95cfe0de63826391
d09c4617cec10cb00bc8d7cd1f6f6fb4efd56ec5
e1a5782127a6d8dcf34ecf1e7d08e32eddd0d8a1


