# isabelle_session_info

session_name: HOL-SET_Protocol
sources:
129299d3a75617b6c744c495c476efc89641aad8
36494d307c248c817fde43436d49bbfba97835d5
4ad975a0c6d0ac01ca552506f3156a4715ad388d
67f492578d910605290e1da51e43602bc3b1ea50
69b45d7337557ed1bf01135423d2223a86f0d9f6
78dba3556a29c5008e493c56b3b25a8d9c86dedf
a650389acd45bb9b7a6e65324560def65f4f752e
c9b1c655a002a34eb8eae1c01b73e89464f1ab22
f77aeb59cb532ae17550495de1af64b6798fdadc

input_heaps:
3fe70f5117b8eca926e46990b6f607629bd9c167
40f00e8f8b9fedc403f57c4c6c050c0a45b02699
3c7415b32f9516b3b0a56c0029f9f2db9e2f4bb3


