# isabelle_session_info

session_name: Prpu_Maxflow
sources: e95688669374987812c1aaa4d23af6e667e83fcb
input_heaps:
3bce9911b38b26864d8838a93be3aef5c2b77cf0
d2df9ff441ab15caa535de40de1e228d1854fe2e
3c7aeb217fd44c7460b5769cac1ed10d140ec2b6
b2cc0d56a314f05468c6e67ad37972ea81ed355e
13d6fe975d1741aa4af55ecfa4494c65942e7d59
7e84921febd389da40f1e1c8f844421b9f8b86e2
10bfa0f2d8cb83c75de76f8e769976449d8dc8c5
7c09527aea4970d17fe2c9c361656edfd89188d8
1faec1ecb1a28d3d7a6c6f0ebc0066d5c92829bc
c95079b14acea4a5057d2515e37b2b9cfe5c7735


