# isabelle_session_info

session_name: HOL-ex
sources: 6fcee4b2b15751883bb558e26b1e6d59f6de9de5
uuid: 5dfb3efd-37cb-45f4-b628-94f6e03ae444
input_heaps:
16995642ff9d6d081fe3569bf6578b599bfc50b5
e2f00078e9a5e8bef38f416fe533f4c0bd843120
6d5104ef027c2cb96597dd4d7f68c04f0ec298cd
4465bf0d6a520fe2324dd30c55d14a4e52f4c17c
fa5b421e5688d0f102ee2d796cd9801467d2e2d7


