# isabelle_session_info

session_name: Prpu_Maxflow
sources: 4d50a4b169f55edaa82754f5efd13c46d715c6ab
input_heaps:
9aadd396dde0a279b6a4eb62f8f2ff37640b410b
0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535
b03b212d94edfcd0f45a59cc46df5cd8b170a7fe
1461e0be47c4cfcb35fb5733b9584b2691e8a2e5
0255e5ff4a9e715b0a239eb8e2ba5af49f6487c8
c42e5912e54df5f1e3135efad7c196503bbc9800
943097a18b468692dbfe271ccd217118d8c54632
024bc82d4904b108cc774a46f5e81be0d95029ac
36b3287e5e2d90739174f3cc2f06407739c7e597


