# isabelle_session_info

session_name: Prpu_Maxflow
sources: 13d7151f1ea6fcd7a013af2283b9abf0460b041a
input_heaps:
767d1abb4385cc0848829909014ec5284a74f26d
f8f7da93998fdd1c52e2a4472eb3025f88ab3418
9bb744655530c7dac052b5a52b1435eefa0fe0a3
2091c877e07d76f0f3d31839cb52e618b255fe62
39ffbac790bb4e8e88d027df98cd6cfb5dfb48e3
beb6e0ff1c642d493603b142f4fc2a263573f2c5
0ccccece66ec82a68529f39d8c790749376f6489
4a687da9c9dd6856fa402d3e13bfc2540e17f5dc
584b5ffd0c83e0559e4b612022d2ccc5d2fdc091
3a16890936583833b53f72309aa516cb60638572


