# isabelle_session_info

session_name: Prpu_Maxflow
sources: 67a0b5b5904bd8521c0424a014721d18c887f7f5
input_heaps:
1e0d760b8dcc7a202ccf9e071ca177b2d6e00047
82ffab2c85e2c69d04d032ee5f468652fc7921e8
709372637b72aecc45341792a6850b4e7350660e
3e740b06e49c4e55e0032457f41aabec3459bfe8
fac90fdadeb8dfeadc716cacf934482903084b0a
c899cd594f094995bc9df08c31fd2f4110e9da98
ca0fa18329cbdd32ab9592ad7706c6bf0d6a79b3
b268d51367ba31e100d9080b8938f3bd6c021cfd
9a630e9b05984acd69ac7db6458c135e5eff42ff
376f083f26af8ca050732285a0f1f2e0b211d903


