# isabelle_session_info

session_name: HOL-UNITY
sources: 85b482028755e398103b2c78c40d3196fed8f3c3
input_heaps:
76fd26aaacd6460a8a6de2c25fb172171219d3dc
ab3eeb1feb9ad89c49b8b08584c31bb8c8ae5660
ea62a4c6b77aa3ffe902a0ffa597869d9161508c


