# isabelle_session_info

session_name: ZF-UNITY
sources: 953af19a35956bfcfe63717d3d4e23ff229e91bb
input_heaps:
5b51a36775445032f763e9aee0002c7eaccf2b7f
745161b666b4449f8ede0c5344dbc313ab5d91db
88c4b2ed402bacc68dbe8a41af86fb39854ea6d8


