# isabelle_session_info

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

input_heaps:
c27a9b4598ca656eb9c36aba33ff1f22941d7b72
64354e2142aad138813a04882ec6c2904dd4a4d3
bfd5848bacf97a9fb8952263c4037fd55861f6b4


