# isabelle_session_info

session_name: ZF-UNITY
sources: 92e62167ce9b6f8205be3d1401a6f846873ae50c
input_heaps:
b564835b5b464625a1b82b42a4c3075166c320e5
faae5506f29ed152fa649cb25e48aaaff3470f13
6ab66a1e53e590b7ed394f0661d83fe5dd1367ed


