# isabelle_session_info

session_name: Prpu_Maxflow
sources: e1f6c55a1329ac936c2c6b18a6a886e0cf4e5ce8
input_heaps:
0a2796d42ac427cc44af631a8b97f23c746aecac
d64a82a2189953e009885b82ff3fe520b1ddd159
9ca4f7fb74afc5f154b6303d43705022aaef39f0
cc1c4ec4fe785614ffea874c259e7d17f07d837b
c5709c5c0c0f9d97b0132db50c50fbe787c6c910
2e134aecc7ce67f04428bf881928133d610ed953
f3d3d65c2fd2051762980e8d8bfb166f792287ce
7c1e1ba4574e5bbf00fa0b9672b92a8117e65f6e
a0eb87b4a19453801a56585bd0472f22157b2c08
b3fa678d3441ce8bf39e2654bec2824a70a3dd05


