# isabelle_session_info

session_name: ZF-UNITY
sources: 50faa4b7a57f88fbdc1532038b3263fa731ec9d2
input_heaps:
b4ade832c2d8ae0bd9580685adbbf7212199884b
e085d8ac8d881640937ef11bc5aee5192a9e5baf
6fe6c3a812e30bc87ade5e14a7b4d61d32f41143


