# isabelle_session_info

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

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
74347d6b35213cade348daff365b338f4a554a12


