# isabelle_session_info

session_name: Prim_Dijkstra_Simple
sources: bb688da74259bf85034f4f4cc0e890827de29fb2
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
f6ffa714dac548bd1fa745e8527624877a3ec1f3
84ad91d908d9e82b476b67a13ebbaa1893cfb61e


