# isabelle_session_info

session_name: ZF-UNITY
sources: d932290f61f569cb4737ad6216330271944877e8
uuid: e3bf090d-50dd-40ce-9a27-e12afd28fb10
input_heaps:
a5086d29dbb3569e49157f03765007c8bb3737a4
bdbe344e5396c49f43d0a420ef4ecda2a24dd7bd
9ee4e276c24ac8c2cdcbf1c6933ad8464e05009e


