# isabelle_session_info

session_name: HOL-UNITY
sources: c23ebdd4fb68da29478ccb417521cfcc5fd4c407
uuid: 23df4022-8182-4d5d-81e0-f9ac068edad7
input_heaps:
b9d282957aa223601d52f84a817ca607725d2336
c178c9777d16793434d52b0438eb6f86f2c7d3c5
f8c87e0fb71ff7c73157c58cb4dcd83e1a98ebfa


