# isabelle_session_info

session_name: Prpu_Maxflow
sources: 2e767a90a820f5afe5cf6bc2ef3b34200223e78b
input_heaps:
31f92072f849172c668aadca4c36428f18253840
bb6d91cc82c83410f56f890ddd921ae98427d5a5
71b2093ae02f0a66ae46b61dc8718444cb0f95cf
076e49288fb50eb3c080af91c3e2b85d0163f7df
ba4a960026c3a5e2b3246173397e60e7c37fc9c4
fe3bbab668f332f416209cc1f6a33051dce786e8
0ea0c2c0a96cc32eeeb4144c02a01db839adaa19
2e8677a97561075872ca81d4444abfef221f78a1
4f01378365ea63f44f425a46cd1f7d15c300369e
a3421febbca5f3e082b478dc74725a3f719cc523


