# isabelle_session_info

session_name: Prpu_Maxflow
sources: ffa3f56c2a57b401f445e9c77d756eddbf96e191
input_heaps:
d6ac031d3e88d65563eac5f02a097b7a1de9a7e3
ffd3c2f455ccf76046f1a522696b8fe123ec936e
afea85cf1dd59bdf03deeb69cbfac976e81fbc62
1c466f71c532c25bd2e72e07095d0f7aba095ee6
03cd2aed9bc0c27ef8667b37b667141c677255b2
e6cd3fef7045aaff6b8a8071b4933e6a7af05d15
11e89f0d7fb0bf0b6f151dda980c4f8bc937254d
32fe648156b944a23ae9179985a31fe022b2e0b8
0a40dba059790c0160548345f69feb8b7c8fc15d
9bf01864353bac3f7ceb0470b55b3dd33baed510


