# isabelle_session_info

session_name: Prpu_Maxflow
sources: 13d7151f1ea6fcd7a013af2283b9abf0460b041a
input_heaps:
97833069aaf33e80bb8bfd493abc152a39f1dded
dc78b241718cbecaa21e6c3d43f6dadbec9225f3
aee5c2a96c3e523caa28841ab70d56bcebb4e1ca
10a37cbc4b1bf267a15ff46b217f5f3be3b6ddcc
8d65dfdedcd24d898b334fbbf17cbcdbbf07f2a7
e20dd74549b984a91a1d2588914da6610dba2e92
5ecf7f622baae4a39d4390f6cfc1df9cfc261f0d
b1d28a1dfbe4abe2cdee23ab1f01b589a0074385
651f781e1d439d34762844c79e18c54745788783
73d5b6429cce98865a8c6c90e41b38d4f9a8c379


