# isabelle_session_info

session_name: Prpu_Maxflow
sources: 7c7d3ee1b6c92a329cb828e584cd25db88b26c0f
input_heaps:
13f786b8f4762c1203e3da5c15d634b6876ecf36
7ac514d3394501c5bf6707600eeac5a1d30a5454
858f6cd8207f79c7ac7ddb04778d17fd495914d7
9bb5f26e1f3ecd30378fd845a664d648e23e2eec
6c5a22c2e116427b9151a47a5b9dfa20fb726fba
4dbfb38386f53b5e7a3eeb5a2f0aa46a0b8868ee
1b48339cad72e082850b2ecdd29a62462f403187
ff06c0eafa3d424dd38f31d3d6808d9251ae2af8
de6b96025e087f90dd4b99ab1b86d1f0f61893ea


