# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources:
3064d755b77de209c340dc34fd15b1376576f403
8948a7a1ae7df3be3f23f8a098a3d5c2f7ae1b92
8fc549800fb56fe9ba8b17177611aeca40bb5cd2
eb83ec7fcb6977891e1775f2169f5e5e0492440e

input_heaps:
4d7cc99ba2317c92438b24a1f5d0bb50f2da3794
c6928bcd68337aad18e786f6ec337677f65404f9
fc831f1b5a402588bc8bc2bff7b8f03afb401d7b


