# isabelle_session_info

session_name: Prpu_Maxflow
sources: ff185a244445a8c4c5d29b3a06495a21a3bd7a6f
input_heaps:
325386da1460dc38f32089d1221024ec932a2181
06bff5eb73bee75606e14d28e9b646bebba8f569
a0228b29f8b6e8701dd9bbfdb51f1826e98b35cd
304edd6d559dee773fdcac95a8524d19d6b01abb
c78d45dc74543de2e0aa9c37a3330349c1928424
a59d72c2775a324a20b0ef316fd6132bb5a19900
c9ec0066dcaa776db483799dbcab7b265d20d785
d9d6ab7f39a11aa163b34cdf39da11104ad53b75
d73ed1023f721dd6f3e4843670eeb9ffd6c27b8a
35421899dd4efba1df0c2b4b7e151366727d5325


