# isabelle_session_info

session_name: Graph_Theory
sources: d76449c124a632831383c93c9bd25e5bef2dc4b7
output_heap: f0cb41d90f8b8c7ed7b26b133583a38b7c4d4df3
input_heaps:
ee3210dd24a02fc2532bf9b24d649a5c6880067f
50500894c9f08017630fd27f91d8231f2cc9f198
9dcadd0ee8dd62844cfd6ce52dab61c71fcfc0fa


