# isabelle_session_info

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

input_heaps:
b9e4cad54624ad835a14cb92fdf2da43457b5cfe
0c8d5da11ffcf561ab033c36ec59459b7d4f6e36
5782d1e381411826a82f76b39feccdce77eb3b55
45d371a88b99d33d1d7cfdc29be65da8f4273bbe
2059509980c8c978e66a1f773ebdef98f32ee0bc
818617711e3ea9d7595bc23ca18de111237a99ec
a845e5e1c5182bf89e39c5bad8f0b16cdacfbee0
6ca3657a392d2bb0cf61d8c34c1487fd757d9075
2d17b9a9cc55a93a81c694982264d8cfda44ac4c
b917c2efac1b4bdc4e42171472df993d6d701af3


