# isabelle_session_info

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

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
e02038ad1e9503a02a8e11b7cb457877cc454f98
469d9d757a06e317f6859073a29fe2f3e023b295
6377f091d5889f4d7158d2046bfe16465ddb2d83
b663a008550b5e963b12ac41307f69ea4f454960
5513a0c5255051d86c1eb1c54a22afda29f0f09f
d662f2c59e702a6efc541e9aa69109580ccdfa26
06778b186f0b9753d5f55b261039e305a0f5e09f
54b2a595fe2a8d0727f4d28dc2cc1f4691d031c6
30854315eab7c0961de5cbc2d06719ce868a257e


