# isabelle_session_info

session_name: Graph_Theory
output_heap: 1936a436c59d2a622a85c8039e01041bdd72b9c5
sources:
024bab179d4bcb57c611ac8b95fb6ed8fe050ff3
03c45c193e381148998d714677a4817fec9b91ca
077dbf3e16cea7fb75d2aeb64c9205ad1dd438c9
0cf34c639e6a3f9fd9c21da78338f0ca74d2b83b
11a0d5137f5388a5944c3eb0345f8adae0cd08fe
16b142f3287ebd50fdaddabbdf8628b7a720c1fd
1ca3142835bc9b688d23de4a6558ac3a6a87ae03
1cdff37cf2d478facb17fb736716b3d450d43abc
33b413b3217535425af711a4b8c31e1f78ef7129
56e85ec5c6eac33f6d5d5dedf5492ccdc0fa4741
59b87da10037e0412d58ed835a05c9ffc41966d9
678acb092b83dfc1a606e47d5babc9f8647817fc
6f74d54d41e5b89ac6594c9ceb0007b3aa5ac7b2
af53a388343863b12d4453c5724c10943d377c74
c16611f93e097744a02b24c20c06e2f3b50797c1
c22fb4b31d44c45d701e425bddb33bc2abebc0b1
def1edc3f48f936e3f1ff9beac2684c03f8ae411
e21ff2f778634eab10e1d18ee63b7670ea50ba6a
e464064f8b1f94fd133bc9b04d05f6eb68bc9035
f12688546dca338d11e04a137fd36b1660f2a7a4

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
e02038ad1e9503a02a8e11b7cb457877cc454f98
5e2d9fe647698eb3de122778d18dacd4a9a66146


