# isabelle_session_info

session_name: Prpu_Maxflow
sources: 935c13c5bfe3c2d0ebd37e34b0a9c9fa2e9bd7c1
input_heaps:
a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b
246f6e81708adcf47b424e236c7a30d027d9b852
fd4a1de7cfdaa96338dbe3347f5407515b043eea
6fbafeec1e79015ba56735821f575f93f5df11be
50743a86349f365e1e34843bac14f4cf3bd32a23
5aa68b081488335b938b6212462703a6a1af5b2d
0808af36f42eb33960929a990e5e772f6b9a3d4b
65b39bc955b58be86e9a87574ce818cfa0cb5ae9
654c7d03d82e7af2aef17ae069844a72f3e58a99
635d993547521e02a16bc25e17d0838ebf17520a


