# isabelle_session_info

session_name: ZF-UNITY
sources: 6d30ac30437e948429d38353dc74c80fe78e1428
input_heaps:
2c47922654272eb4a217010ace00ef249f60f79a
3eb21b448c976319050e032c9de2536803a7f3fc
461f31815a137fdd6b1581721cef217f49be7a38


