# isabelle_session_info

session_name: ZF-UNITY
sources: 4fd46c4a07bc2e19a6946dc04b98dae3a9cc659c
input_heaps:
e0c3be278ab23203661c3c6841cfab21927cd669
fb667a780fb85cb2a2b44cd1cfeca1f00527c66e
b78f114f11cbce04a2b5e7fb51d779a4eb48e950


