# isabelle_session_info

session_name: HOL-UNITY
sources: 190d1e0dc21899877da0e8841a0c6550565a55e2
input_heaps:
5ab8b6f04af72bb8f6aaa3c57ab27f15c8e3f715
24a4ae7db74115a5a6b3548bc1ce1d8d7a80b073
1fc91e7286bcdace49b019111d1b2e72117796fb


