# isabelle_session_info

session_name: ZF-UNITY
sources: 1de26585c593f0a82406477a7bd366243f278f98
input_heaps:
e0e98f91eaf585f03a7abae8b79b7a2007cafdf6
9f7deaae00fceeab3fdbb5801643a598b755e6e1
241c88034f080fd6693212919369d9c7889a904b


