# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 2fa79afd2e8e8ff0be08336b293ca43db04d154d
uuid: c6b5cb0b-e9e4-4d3c-b388-f8ce9be635a9
input_heaps:
f0a12a2aec69f13fa5d0bad6bd85ace47d658fb7
79de5a894792a27db391599b9e95af83f31c70b4
ce6346b2d1a1bcbae741c9e7dd35a08e505208e0


