# isabelle_session_info

session_name: Prim_Dijkstra_Simple
sources: bb688da74259bf85034f4f4cc0e890827de29fb2
input_heaps:
8215eb5f5b3394a9f9254fc524a194abe159cb1b
43986411c04360d074d5c4045a93e7a8120ecd61
d0bbe230b8cfd9695d1a45234d426f1a7a02357e


