# isabelle_session_info

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

input_heaps:
0ba1ca971c8be00bf94431f0078936b10d2759a5
0ce03196a7222f6488e31156b520bc36971a656f
0277895c3651fed994efc86b055a3b7e184a45ce
fb3a31a8ae97230a6f830adc2d8bfb21594966ca
ee31945af302b6c76ef39e0b98cb5dbf5004719c
ae78acc8ed058f366abd178bd25483a4f9174e6d
4089838b3b67cc2124b219b70a2123571c7b08b5
279e070b3a3d5937d4359e71b54a2363a35aeaa2
b953d037f912de3de9f817438b54e232287ffafb
e256a3e83f70a1a9d463218a68ef95fe59ea2bb7


