# isabelle_session_info

session_name: Prpu_Maxflow
sources: b11204fc00d5eb62e19dee0e9a9c8a054c0ac60e
input_heaps:
4adc5a97dc9dd2ec807ce476868ed35b984f32fa
6b844e499af244731e9df28f8a3632b143e06d3b
dc1a3204989ff9452ccb2270fda989c65e6f4a7e
99359660fcfd7d456864036077ae103a7a02154b
4f954629dc69572837cd5d2a830e05dc8c91deef
4426c4b3131ce0e4accb1b1c276f228d383fdb6b
37d011b64408d2639f4751950c6a67db86dc3f53
6258053299911e9bb0255e76acc50676ac67b971
08300738b572f641ed6a0ceeaf7fbf77e31b5c64
9e0064a02b50db8ea906ab1209de31d6ec58e2ef


