# isabelle_session_info

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

input_heaps:
c7c621c8c679c6f81c939be460dee2fbe4c459ff
d97c8eeab5366846f6d9647d2a5501999e294803
b2d312af0499899efd129dfac8d55e9618d67906
008e680231f8175e0a1899cd5e9ca8f1a90003b2
52a3dec85af4a3c9a2602535a223636188fc5f02
603ca0fc3121aae03ce87182264a448482693d0b
b6666954e82d9e777b2483c96a0410b3a7d621aa
b58605f7ef34728c7fdaf052a6030ae16da7c76a
f755d70a5baef1ffd60d427fdafdabe371a1b8e9
1a9bd7673111e3d4178d6ad5a6f04ddf318bfee9


