# isabelle_session_info

session_name: EdmondsKarp_Maxflow
sources:
0737dd6b16e680d1a2657526f9f8291c096f0a27
0d1a888f4ff4bc17316cd2b1daef8470db67f03f
103f8f9bee9abac53092dcf39bd82e4d4a41c857
24b4bfdb8582799300c0a259769bbf2865921cbd
3098e3fa620057b764fdbdf02a87fefdb2e3b5d3
309cfa75c4af17cdb2de7ad8c7c8b57d43015046
864ec4e6efc9d2abb620004b34b6f296fdeacf9f
c7a6fa9ddc83cc654505472c358f561301d024ae
dc1712502c6f4fc019c621a50daa5204b3d36a6a

input_heaps:
728eda92c596448850baeaf541586ad0cbd7b32f
f43caa9e5e417d16de9ac31da220529d0a28b7a7
e145a2a61c9f22d2d8d49830d9d1d1f46fdff629
94fd1435f639b544771027325a8b8d0c00b7276a
ac734a2a233094d5e3624677f66c580e39e3af10
7b5957544b567c40f941505abdb90e0c04e56c8d
78821ca0b20ee9d4c4aa9f70dadbe72e93ba5f48
879f7a72ba7740d53bdd8efdd3b1aaa102900a1d
3a70bafe00c5e65f0b6166d11bc786f1b6e82619
ef6decd9a5b2f59459c120315b94f2ea3d16374d


