# isabelle_session_info

session_name: MuchAdoAboutTwo
sources:
1e0ef1b731836edc5b77fd5fb97fba22104097e6
2ec70c5a14df2cc510e42fcb79e841ffe231c49b
c2b674203e2ed4778417cb7a191e611aa78312c7
f1a010ac1f2aa6be6f085b72d6e9f3ff05884ed9

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef


