# isabelle_session_info

session_name: Prpu_Maxflow
sources:
20b9e00559b220bdd0b8a94e8c2df1a05d2085ed
29b1adcb757fdb7e9d28c6efff1d1eb70f1d75ad
34d81ca068cc87ef7be1cb5f478489f0183d95a7
4aec1affa7f31cf414858286e3cd53c2f84dbada
5cefc26c6e50f39b5724e1db9015cdd542a6fd60
6dd5ff86a69b9238d9abe8dea07eae6c0370956b
8e357338fc3e263ca3eb869f03dd112b61802973
94298827e933f430bf7315fe94098326ca8b439c
943fefb509e307cba883281854ab1a1a408e7525
9a483d4b443c4d149ec2e5dd28c4447d01d5e4f5
bf70a041f51aa7a476a8d890fbd73bcb0d48e625
d8a57bacea585daa666cf09145c171ba9e61993e

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
41ca8b1ef880b2caab86f2e624d077e228a12ed4
ba51bbfe41450a43047c4d4781ac008b0945de65
44bcf9a2a8b1031cd761beb66dde5c51a0cef0aa
9791928886a6efcf53750865f6cc4ea669fc5217
6e96ed6b87d3134a22154d7cf30d91deaa0eb3a2
7244405436d24d1f090ed65904fbc1456223f475
010f7692aa8c9c6b98cdb2f9524b1b930cb766f5
634e3a95b83851b9ceffadbfa91b09bfdf1ff2b6
e229f27e7e1e226d84740e26fb24bed8a21bede3


