# isabelle_session_info

session_name: Prpu_Maxflow
sources: 7d6b4d0e484281619d7595e64936f18d46da3a25
input_heaps:
ee3210dd24a02fc2532bf9b24d649a5c6880067f
50500894c9f08017630fd27f91d8231f2cc9f198
af729a4e6d342a3e3695e8e3e475bfb4a0bf0acc
2768aaa4a23fce809c92d283961f61806db38dfd
1823b077992a4626748564433bd4917b63a8a4e2
36da4fd6440d03afb53905023ed8d11176d28e6a
a7323ed476d70d9c94620ebffdff24da476c267a
ad980797e0bb0ef5d74885daabbf318795d584a2
9c14a6dbb6cda8832e78be3fe720a20e9d08d844
8cf8bcd425be962126a74f10e79caab099aadb83


