# isabelle_session_info

session_name: ZF-UNITY
sources: 4a91b0aac9e118dc07a3754bc16a8a255ebdffd8
uuid: ef55e75f-8d63-498b-abfc-8a240eac7b73
input_heaps:
0a2c0c4191b1d84261ef90406b039e096e738a98
c3eaba5a7b0d258ed8b54ee1fc472357f096bb7f
396bdb92708d6a2168e660e1180a6d59ee4f2406


