# isabelle_session_info

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

input_heaps:
c7c621c8c679c6f81c939be460dee2fbe4c459ff
c121e04b5193f7bc8e7b1316cf00321a124849d8
4d1d0b326c743f98c5b1bae12acec8e2f264f633
5b6798931ede44fdd6c9fbb116130e51ee0b18f4
d7cfafcf8c3a84551138bb7a7324015cfc400a02
71aa1ccba3aeebbc3e6985b848abea92ba320ec0
6484eab1af6e6a55d438f03904110d60071022a9
f04fc5cd0a7535df0b6c425a56b9ec49207c9ef3
e83f346bc4d4bee0058994722261cd4175093c50
87483fe5419fd69cd3767d2f7eeccc72e2d3854b


