# isabelle_session_info

session_name: Graph_Theory
sources: fe4ac6f6de4c4cc628cb7095f9ecfbf916380128
output_heap: c4fc697c07cc1431249be1c8ddb185087f4939a0
input_heaps:
3bce9911b38b26864d8838a93be3aef5c2b77cf0
d2df9ff441ab15caa535de40de1e228d1854fe2e
1a298acf65fb27287d69b79e5623fc6ffe185b72


