# isabelle_session_info

session_name: Depth-First-Search
input_heaps: 238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228
sources:
04ca108c108a72549e594be4c55ffdf01584e907
8f87d8c86b8a33cb347a1b5ac47d3a35df14f396
f2794a839bee3dc83e874b225b1629997d7b874d


