# isabelle_session_info

session_name: ZF-UNITY
sources: c72bf3948b51d644da4c4e37b26ac3705871f3f2
input_heaps:
8cd2a2b0485da6972fef25fa342b036cdb7debc8
a468252e91512d4d510319ad835679b7abe0a7b7
ea68e5315830e5364ff857b35dbddc5e765f1c8c


