# isabelle_session_info

session_name: ZF-UNITY
sources: 94df35bad58cfc7233ceecd709a945b6d263ef27
input_heaps:
8215eb5f5b3394a9f9254fc524a194abe159cb1b
aadd3b8d170281d804851890be5d9a0a0cadf3a0
2be464e64f30fd599e16698eb00fe918b3dfede5


