# isabelle_session_info

session_name: Depth-First-Search
input_heaps: 8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07
sources:
04ca108c108a72549e594be4c55ffdf01584e907
8f87d8c86b8a33cb347a1b5ac47d3a35df14f396
f2794a839bee3dc83e874b225b1629997d7b874d


