# isabelle_session_info

session_name: Prpu_Maxflow
sources: cb55bdc8232541ba299f5423ec5ed020abcca21b
input_heaps:
72476e49faf5ae81b565cd9a808c77e6c79a7cd3
1847274f423d78a61f6a5c9cd14f9851aa9995d5
d3b717257264742e5eba21d7cf3c6eda49c5f382
313911482b604fa13e55fd1bf97a209f339bf41c
ef626f17313e3450c927dd963884ad0f8b7f5923
ea9cc1dfa3ee519a278dea4cb555e6631d1bb14a
de1652bdf118879c0b7dbd9333c9b6ad16420fd9
4c93faeaaba14954ee2721393cda39ddd5c8687f
5a44a02c02545dfcd95b8047b0ed92d0d68e3804
4949eebccb6e298b2e9eaa46aa59b41bb3017317


