# isabelle_session_info

session_name: Graph_Theory
sources: bb08143d164d9aad977d639c3e44a15a995e2cd2
output_heap: a6de56a7c1e8ecc2709e1d8b196c1581bc976688
input_heaps:
e4d79c85096733a9749503fded0b49c9d45651d8
236eea99afb1a34d6a727b632510aac96f68951c
190009264d8f4be60695911a09d497c532418360


