# isabelle_session_info

session_name: Graph_Theory
sources: e9c0a76ee53b723795c128be0b2739c073ee96c7
output_heap: f151a1c8d063507f79efccf97f1e1edf8721aba1
input_heaps:
2f45ef79d98bf4791ca25c4e1af3b76b517203ad
1b41415026d3583c6b6bb0d2ec2995e8feb75528
6dd7123fa75097b18d3135622d27b8f5daf5537c


