# isabelle_session_info

session_name: Prim_Dijkstra_Simple
sources: 299f1544c90f9e20d4b82df966691e5b90f4a884
input_heaps:
a1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540
913957767197f7ae8858d375e22f8b0e424144a3
ce80319a678b55f045c274d11d3e409de2a9e4b0


