# isabelle_session_info

session_name: Depth-First-Search
input_heaps: 878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457
sources:
614d1a4e3aae221f72ef825b21f3a7e08ec93bd7
8f87d8c86b8a33cb347a1b5ac47d3a35df14f396
f2794a839bee3dc83e874b225b1629997d7b874d


