# isabelle_session_info

session_name: Depth-First-Search
input_heaps: 3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 2f80d3f93a8e8908ea20a991b6190f7aaeac097c
sources:
76669f742a7c4cb49448c6a7792698c056339728
8f87d8c86b8a33cb347a1b5ac47d3a35df14f396
f2794a839bee3dc83e874b225b1629997d7b874d


