# isabelle_session_info

session_name: ZF-UNITY
sources: 14c57c6a0205e10a4ac2bdee290d2276b302da9c
input_heaps:
11861b433be89e5105729bae76faf9d9dce00490
aa900057f534bc44d28a8b982603f938e2c03000
38c5e243682522d352a87cd35d2c131a6387915c


