# isabelle_session_info

session_name: Gabow_SCC
sources: ef107ed753aa94da10b1b67c08d99e779c3ece46
input_heaps:
1478cd8cbae6c2903ff8b7580a1b47a0f1487a38
aa8d72250be55f6a4c5e37b817be58eab22b8e4e
e1168c71bf431cca9f6c63488565e0b47035e89d
94fa3a14d8c407bda6c7fa76bdc5a0b8b1fac46c
f3006f5bbec0ea3bd507c29fc4b89aae4600a484
c85c8e15941bfb0d0ca16fd0fcb05064ae71d205
38c2a2ea5948cb65f37eaa3f2ee117678941e0fb


