# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources:
132688a9b48e48cea16f6f73fa4e171ff6e5ebff
3064d755b77de209c340dc34fd15b1376576f403
8948a7a1ae7df3be3f23f8a098a3d5c2f7ae1b92
eb83ec7fcb6977891e1775f2169f5e5e0492440e

input_heaps:
3fe70f5117b8eca926e46990b6f607629bd9c167
40f00e8f8b9fedc403f57c4c6c050c0a45b02699
3c7415b32f9516b3b0a56c0029f9f2db9e2f4bb3


