# isabelle_session_info

session_name: EdmondsKarp_Maxflow
sources: a1291f1c4f3793a930a9eed6158866f80c81e38f
input_heaps:
f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a
a975b996cb0122f4bbc0d4d5892986a1c87209c0
0c7222acb2f8e09169b7d2593c58c45a088a3896
556820ad845bca337498c26dd9298bbffc8e4ab8
9cfcde4f96e02db2f7a063d9154271a26ebf3794
ba71cd0f8a3425ee37a9a2d709e462065c53fc84
1fe016ef199dbc1082522a507340ee02ed5e0114
737d2b31b186f3ea45e5d679b6351c9d803828c1
4e228731822373cd3f9dbfaa792de3b6f122a51e
dc6a67beb9d15dc3853870f147eb3f2e32952c0a


