# isabelle_session_info

session_name: Prpu_Maxflow
sources: 8bfb1db9ef7b6825b5f980540c4068a357c2cf3a
input_heaps:
4adc5a97dc9dd2ec807ce476868ed35b984f32fa
a910a225eb72423ba846a1a2a2015494a7f8dff4
804979e98e372a621491a9763b0d5ce810913c10
420ca775eadf4856d6b4dcdea62de583d621aa05
06d72f7e8d1c4bdd350f3f761ce45221c213b3e5
fc85edcaf50333dfdd1cb312033573f54a014ec8
5c156d57efce8b51f855e12a101b52d498f9b5a3
78263abbfe9e1332e756cd409ddd3f0e1b1432cc
61904e3e63c9f6c4a7eb2aea592d7d52eea5a85d
ba03e32bf318f9171137ba33c3b7678993b9d6a1


