# isabelle_session_info

session_name: Prpu_Maxflow
sources: dedbef7bc8c36421c7c13b144469bf2ed1880c06
input_heaps:
273a065aaa7221aeab8448251fac00a4433003aa
e99e0684410df36373f4f2b5c5ea423968ee9625
7b399c3bd720ea69b0bb8af6e9cb16e42d46acc4
2bc5e6aeb6d33c3537b8d07a702e3dfb818d93ea
c875758061588b14031a1c01ad027789c0f73a60
a8e9bbf7290275600e7fee86d109555fcfb33fdd
b9966308fbe8136362ef84ca49ada1e8410085d4
6c0fc161a0a2a000473a395b77c11ef98d1ff83c
785560eac2ea524f04a75b51afc485bd7b453ef1
d5bd76c265c622362a196054fd99895a08b714da


