# isabelle_session_info

session_name: ZF-UNITY
sources: 11684ffde684b7cecebec14846fced682d644d75
input_heaps:
11feaa6b69b3c952139da2ec72ac31efea97e58a
48bb34f0261f3a13b5c29b042dea03eeca6ff2d7
9f32d3f3b75c200b5a14a93c96e54599e92fb3fd


