# isabelle_session_info

session_name: MuchAdoAboutTwo
sources:
1e0ef1b731836edc5b77fd5fb97fba22104097e6
2ec70c5a14df2cc510e42fcb79e841ffe231c49b
8f8004349bfaa7d7d161c5cf53904cceaf76c45a
c2b674203e2ed4778417cb7a191e611aa78312c7

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
41ca8b1ef880b2caab86f2e624d077e228a12ed4
a1d4e989ad1a700e9d30ddaf5afc0202077fceef


