# isabelle_session_info

session_name: Prpu_Maxflow
sources: 180ddf86901e738eaebfe3f9fceb57a6f0092405
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
bd202fc155acc97a2913afab427799291ff8d096
3b148a2a61b1ae023fb5751b78092e889d79d244
ad3546b6465eba07d90464777e99f5697f86ada4
14f9a792e2818de9e20f47cc9d5358034e12d2c7
130c450c04317fe5ad3957d164be19094797eba8
c45d964eba20615917711f36d7635132c5509a18
69a59350d38980cd7265b9d3001f81a3087b8a6d
e17110ed603d5acf82fdd6a37b71e39d0a01a3a5
b9cfbc8291967f5144733d8d12bab0d4589a32d8


