# isabelle_session_info

session_name: Prpu_Maxflow
sources: 4e5fd7c2331df03feaac9d23ce79f1f2d44cc36a
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
384240766f364b0530b95cc787b490d4a226797f
04446ecde9b8c648f0e184b13be6eaa21b45ff29
6c6f14e3b60316a0c2e12d6d583be201641e231b
a7c7a399d55d87b84322992e7ec741372828af69
b60eb5d84b3e5487d8de93ac808b4c2c6f25f80a
8654bd80fe58c1ea20587af45b54566d78da70ad
6fea5a0fa11163e101ae9ce8976127521d30dde2
e90ce4f7d7624c48fc13b2ef2d0daf5fcb7054b6
9db97850d036db7227ae87520947653ad830fc86


