# isabelle_session_info

session_name: Gabow_SCC
sources: 31610146accacb5f3fdf31bcf02a2c2741205959
input_heaps:
8215eb5f5b3394a9f9254fc524a194abe159cb1b
43986411c04360d074d5c4045a93e7a8120ecd61
6ca7c2eccaa6d6c3222b369a56320daf10f59805
8ac046f77f5f0b646672f561848283ae23a12b8f
284185a5e3de38e8daa38487ea5ae87edff6a975
8dc2d093a2088478eef31f2795dae11e984e043a
6d5e3fd8b2f2f3b4267d8f17d15fa28fdb742b24


