# isabelle_session_info

session_name: Graph_Theory
sources: e62e2cac9d5de64a61e48c380f02ff853f71210a
output_heap: beeec07f0530e1f0a923a8ba752854c205e1ddb3
input_heaps:
9ca5f92a14099d9d0578aa86393b807a3c2738ce
5d409056603c26099742d14e8f0a43cb37242805
f25b7aa9bfcf042befc4f0b5d99c36328c0d769c


