# isabelle_session_info

session_name: MuchAdoAboutTwo
sources:
2ec70c5a14df2cc510e42fcb79e841ffe231c49b
2f1e07507f2358c7a35be5f8e34ef9f7381c4496
8f8004349bfaa7d7d161c5cf53904cceaf76c45a
c2b674203e2ed4778417cb7a191e611aa78312c7

input_heaps:
b9c0e8f4a3ec48522e3484ee292a510c958aa05f
7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
6c1e2e695a2f0575bcb7e67bc72be34591789107


