# isabelle_session_info

session_name: Gabow_SCC
sources: a5b29ffda21c0e1eb4058c5dc89735c0e757c3d6
input_heaps:
a3a1775be1ea4baf5315ad6630d6c2542be8f5bb
f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e
a8a6289374072f4572bc2afad20c4d4eb32547df
ed9f22f2a58f363eaebe925cf52d08569a0ed528
6157bb428a848a8c6da9d76c0ca756756b16ef24
4259aad4da48c010fb4a557ee4d899e1da710187
171cd2ee9c170a2852bbcb53be26272a30c62fad


