# isabelle_session_info

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

input_heaps:
e32bafa5278104b4080f2c7378c9e2c506c4e27c
6a4c2b648ffbbe61b70156c6b0c49ab49daa7b23
11628d9d1733cc48796b260dd2107d488c02c449


