# isabelle_session_info

session_name: Gabow_SCC
sources:
1a95116397b18aafd0249fdbdbd7e7212f75c8dc
3b8d398853c5a570f2110ee30cfc4b0a84024056
448c6d808aed57e56c04337fa59b68a6e910b634
4921c44804d4ab7add4a4e315de44110e5472bc0
85a34c67e5ce7b3d6b1d0b3044e3f1afde6926a8
9a124e6374601c92265c93141c1d180c686a5b9f
a99541bf821c096c44ca5d07e67843edec896a0a
b2fe5612887cf268e77d5e98cf07bc19feb94100
bd5130d34f35ce12b40fab1a7778dae3bd8bd16a
de00ddd3c53f00caa8661b36fa26e69146672290
e4ddf0d65822a853eacdb8a2e70a8b1a96fea67d
edcea4dce54d7f16343cb1c43d544e565ebf0922
f9fea7d4ae82c2e448e68f9bd62f30e70ef07aad
fd8d67d240eba2aa135350a894d10951e102e07d

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
0ce1c923844ebbe40b08861fb037d19007421337
409d2ec7fdfff483b241097706e2e941d1c9af43
54b36f44b82f7e6456cbb9fe4a132ffd157d1117
e9293a817b84226a80c68a830446dce19f5aef88
f75c5b049db302b1eadb85e32bb54971e3290445


