# isabelle_session_info

session_name: Depth-First-Search
input_heaps: 735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa
sources:
04ca108c108a72549e594be4c55ffdf01584e907
8f87d8c86b8a33cb347a1b5ac47d3a35df14f396
f2794a839bee3dc83e874b225b1629997d7b874d


