# isabelle_session_info

session_name: Prpu_Maxflow
sources:
20b9e00559b220bdd0b8a94e8c2df1a05d2085ed
29b1adcb757fdb7e9d28c6efff1d1eb70f1d75ad
34d81ca068cc87ef7be1cb5f478489f0183d95a7
5cefc26c6e50f39b5724e1db9015cdd542a6fd60
6dd5ff86a69b9238d9abe8dea07eae6c0370956b
94298827e933f430bf7315fe94098326ca8b439c
943fefb509e307cba883281854ab1a1a408e7525
9a483d4b443c4d149ec2e5dd28c4447d01d5e4f5
bf70a041f51aa7a476a8d890fbd73bcb0d48e625
c1a07f4bfa062e166a287ed52cb6648c7a1a7c8b
d8a57bacea585daa666cf09145c171ba9e61993e
db191c00041ce1f11a3ec213443be4c373cac685

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb
117c907da6402ab1cb50c91fd5ca798ff4ce89a2
840d943d901397ab5052e3e21602ace65a0f5381
4f83ba62760379528032b2dc11be81c1e7dbe5e5
c7c2f12315eeb140d2016f016930682246c01a6e
088e129ed5e174f17c429685f93adfbc2044d3e3
98f90221207ddae3ffbdb04a399bbf2cfacfff7a
72fdf5862ccb6ae1d87b0b1267303f3e68986ede
b027920076e1c62cb5a05c9e28012d70496363bb


