# isabelle_session_info

session_name: Graph_Theory
sources: 01cdadc80b7ae360a8b74a0e0eed46c6ec8a1a2a
output_heap: eefdc5fd9b569df4bda2a76a6f1a6a38101b65db
input_heaps:
ea26063c7d2b9547d258649baebbcf2e91377bef
86a9c3ac9020d4c0654bf9b98ebef5596b5fe09d
b9602ff5d206049e9189387d43ea79f26820d465


