# isabelle_session_info

session_name: ZF-UNITY
sources: 6f1094d44d15a8c4661ce219614bb098173e11e0
input_heaps:
0467f1d8ff3c017e43c2ce0ceec1428401ab88c6
0aa0cd1439f5a782f3d11f3b8aaca8c4ee765584
24b341dae972f29d0d7479e1119f1aa49a183625


