# isabelle_session_info

session_name: Graph_Theory
sources: bddde5e2b015b03fb10b3eb6828aae1d5b4cc2f7
output_heap: fcc8d29b25d973fe18af10ca8c09105a48e11677
input_heaps:
36562e7d7ef22324cec69c1c66e1bdd7ef81cf4c
6af7e1fb310f20123ed31ee9fc4502422cd6933f
d7fecabe4edd87a062c1bb81fd5b9b2fdb73dcb6


