# isabelle_session_info

session_name: Prpu_Maxflow
sources: cc9b2e60ebde3722b100483d7a562003c188733a
input_heaps:
3853cc710de37a8d8ae8e2ce10739760530fc782
68e24fa803389d76024c730e22fc9263ebe14aa0
a521f0bcc4dd0ef0a4162c955b773984b4083722
8767d9fb6dc50654be1cf1ed4933ae09bec0b543
fa629fd7603ae616c1079406dd30d7e23ae489dc
d471798b1692a6efa796f7016dbfa4ef0e338e80
9c0173ceed7f9763481e2a69ff781495e1d5a6e1
ed64e74a2b202a1f90c866dd97d780c74eeb2c1a
3aa8bb53456d2398605815605809c16b5a4d6a5d


