# isabelle_session_info

session_name: ZF-UNITY
sources: 6d30ac30437e948429d38353dc74c80fe78e1428
input_heaps:
f632fb1d6da65e568b647458c2425854ecfeefb4
2e782534c1a957ed24507964005253bcc0290136
552d61ec1719dcee3156debadced0db62d85aea4


