# isabelle_session_info

session_name: Menger
input_heaps: 0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f
sources:
1c6d7d5cf895ad9ea594b3aefc71d3594016f6c2
25604763631775a1dfd72d8058d5a85198f1673c
25f683fa730cdbd88da60162554e0e8519fa81b5
2c3c130d6a9a6fdfb26f93abc8abcba6ed60be8b
312c12f90b5f5eedc47d169f86e00fca9d3fda36
43cca415774b2de6aaf537239f0d422e0f43c0db
4e3fbba262e5fac3b5e62cd0ae924b0f0cfd9364
99e044dba8020275f3699f340b30c3b3cb96b9c0
eef56b7433c480aa7f86db485ce709e5792b6158
ef0e9145fd33d533c085cf7d590cf16a77f92a42
f2cbe1ab9c807e40472dcc3c6ff2e8bf9c581b9d


