# isabelle_session_info

session_name: ZF-UNITY
sources: 6d30ac30437e948429d38353dc74c80fe78e1428
input_heaps:
ab8738f36a5910b081a8af85f9c6bcc719678f27
dc9ea9c5c514730a716fd127ab5b62688481cbf9
4f917627cecb5250afe8913eac380cf18277ff3a


