# isabelle_session_info

session_name: Prpu_Maxflow
sources: 59aeb7e63379e8c5dccde01998dc078d9cc0767a
input_heaps:
a3a1775be1ea4baf5315ad6630d6c2542be8f5bb
f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e
a8a6289374072f4572bc2afad20c4d4eb32547df
ed9f22f2a58f363eaebe925cf52d08569a0ed528
6157bb428a848a8c6da9d76c0ca756756b16ef24
2e2888386eb6be74b67fa6ee8f5b025d41ad2c02
b198b4d60781b5206faf15780534339527bb7a49
2878d5b2195f71156a82d4fefbe0290c4eee6be6
6ce0eda32a829f83744e5bceb2b630471f245a66


