# isabelle_session_info

session_name: Gabow_SCC
sources: 743ac8591ae8dee5c28c6d939bd614f8ff7bcbb9
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
6705246a9aac3c424670655bea8ea4e4ea62230e
735fa1c26c9a2f523eb06a577ab0d69c3a13b9f2
7285ca69e0e87490c84da0c57036e06167b917d0
8844db379f245b3e59e747d7dcc792faac2c6eba
9abdf860da610f8444ee23970c045c412ce4141a
4119b481f5e82df79f2b8bd2ee1920a712ac6274


