# isabelle_session_info

session_name: Prpu_Maxflow
sources: 1a11876d28c9da30d640dba58fe9e7d4d7f4a661
input_heaps:
87d722a51b70602a06e4a7b7d793ad6a8bd08e87
b7feff3cf6fa551286ad5206b08f8a4505f29591
1a57f2cb4c4f948a7b949dbdc8a5748f50639d49
652bc4b287f432e408b6febdbaebe2878a39a1d4
4a3e365765dbb51c164b57461de9ae64d31558f3
d2133de5b411462058652ab7322e81fbb0df864f
8669d09a7180b5c225040a52396ae5b4efa088b4
7c0e871d2ae9dddac0da03d6a0c49ef3cab81dad
2e95d8905c7bd3cccdbce756aabc240390c5efc5


