# isabelle_session_info

session_name: Prpu_Maxflow
sources: 784a5e03d050f786ef78fb503190e1ddcbe516b0
input_heaps:
8ae0489170ffa4e9aeecb054da5126bd23bcab2b
a42132ca83816d0082ab6b716aea896bf4d99d0a
eb9dca0a0b4d4e0dbf1db07755e5b32a9d8bfd11
ed9381b8231b22815aaadb0ef338fcebaf424cab
fb0f36f526413c39491d0f9c0367a203fc57b0e4
228ee1ddb80db0ea84584801de093a5958bb5016
345ceb633acbb4d13c3a12e751b704d641749a03
48ba65b0812c0eef99319965b2c52917d5848340
7376b95b5c7772c62c9880aab54e5eead4afe18c
4503ab4aed8fcaad4197ee937d495d6c54144ca4


