# isabelle_session_info

session_name: HOL-UNITY
sources: 04c466d6d728eaa6e2d16d51ce9b42c9bdff0e73
uuid: bbe7227d-2b0b-4f70-91e6-82432cd3494c
input_heaps:
d0b0e1d3fca0543fc6f2e2fe2b9feb4c06e18beb
e4e0d8e376269bf7d8c3cd64976b6a6f15d0983f
993686e7202afea63dd498f250d36d9190191453


