# isabelle_session_info

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

input_heaps:
c7c621c8c679c6f81c939be460dee2fbe4c459ff
c121e04b5193f7bc8e7b1316cf00321a124849d8
5f9cfbb3ee57725a294474ac53472d061591061e


