# isabelle_session_info

session_name: Prpu_Maxflow
sources: fc521f4718cbe4123cd58e56c26c70cef0c051eb
input_heaps:
3853cc710de37a8d8ae8e2ce10739760530fc782
24be91445dfd95ccebd8630650aef4cacbc92e8b
b3236b6df2e2e8018a5749ce69b0bb14cb868fb0
b776ab859f0056db5fabbbc4984a3c899dda1a68
db5c5beada1a438a833513643acb0e79b386613b
dac30adadfa5440a18a71ed6385284be021d5685
782d32e4b49507e7598fc4788397778203d886fa
5969a9dc3a97dfc032a043507fce96a97b283716
39cd9c03469912cedc803f9fa065633a05913bda


