# isabelle_session_info

session_name: Gabow_SCC
sources: a5e65152782bc31995b8650114f60d13a91183a4
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
9491a640ee6bf72e55d03587fe1b9576e97fef2d
94aa7d7c80afebd1ff891ebe469ae58fe8419fe5
c916a99378321fb6e0ec3ca690855690e0fe02d8
c18bade9c0829d879d034fae30d5699d045acdd2
9bcdabb73aba316889dfda6b2d3ad6273586623d
30f13ab71da29ee9b65409f68ce3eece12eb8bd0


