# isabelle_session_info

session_name: Depth-First-Search
input_heaps: 9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9
sources:
04ca108c108a72549e594be4c55ffdf01584e907
8f87d8c86b8a33cb347a1b5ac47d3a35df14f396
f2794a839bee3dc83e874b225b1629997d7b874d


