# isabelle_session_info

session_name: ZF-UNITY
sources: 11684ffde684b7cecebec14846fced682d644d75
input_heaps:
03c94d74b41243bde92728fc7ab986b0070bd24f
a6c6e38959b5d469f6235d29356967e48acf1961
f8ee940a54ba5b482da113fdf956c82207a18015


