# isabelle_session_info

session_name: Gabow_SCC
sources: 42c678b5f084bbfcd1385582129838014f987005
input_heaps:
5ef6d50342693f7e095d0dd59d86225835695d9b
fa5fe27d0d291b70d86441110e409cd4047f2f2b
71a93dd97205bc048130ce5c0dfb2434c6d799ab
f34d37ee74795ed0809f2386d419d21b65758633
b47601f28ab22d459238673c05e85b96f65cf3a0
17731aed0d881b3b02db789fc9235734afe0d4d9
054dbabb7d6250cc1c26eac2f4655b276db668c7


