# isabelle_session_info

session_name: MuchAdoAboutTwo
sources:
2ec70c5a14df2cc510e42fcb79e841ffe231c49b
56a29d8c36b192102f7a063318448204b47f4f90
8f8004349bfaa7d7d161c5cf53904cceaf76c45a
c2b674203e2ed4778417cb7a191e611aa78312c7

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
3f36a11d8c74ccb5219961f66c2ee8539a4707a9


