# isabelle_session_info

session_name: ZF-UNITY
sources: 80f296e5feac0b502e031cb997417777a5ce198c
input_heaps:
766424c7446fcf0389ad970d2db1fd930834a7a7
4ad1fa95c7b4ac9709fb7b14d28bc8aa1d378acb
a618ca46818ea1e026394844b24a2ea7c8531694


