# isabelle_session_info

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

input_heaps:
b7a9b2dfe4980115e308a4222253abf01f3cba22
ac0ee46d42a46b8d0bd5ae0397e22d107e7ad682
026c9caa8befa3a67feabd448ac9fff1276a46a0


