# isabelle_session_info

session_name: HOL-SET_Protocol
sources:
129299d3a75617b6c744c495c476efc89641aad8
36494d307c248c817fde43436d49bbfba97835d5
4ad975a0c6d0ac01ca552506f3156a4715ad388d
5e319a49a0c96c4c92720af84b8877fd73e7fef9
69b45d7337557ed1bf01135423d2223a86f0d9f6
a650389acd45bb9b7a6e65324560def65f4f752e
a69633ff75dd0b0bf4387b8fb5df654a3518db57
c9b1c655a002a34eb8eae1c01b73e89464f1ab22
f77aeb59cb532ae17550495de1af64b6798fdadc

input_heaps:
a24c219d933e494e1a6d3b65fc2b3b5f617ef5dc
e0509b6b5154f01bfbf9ba0bafa70119dbc01568
ddc4e850e6d209171523f5055a5ee5c04e8ff275


