# isabelle_session_info

session_name: ZF-UNITY
sources: df1bff860fa7bd8f2310f878c67dad02071256d1
input_heaps:
50c1749019ca8e9ffc93963cc99307460c2e0e80
e2ffe1c212219131c3053c0e49b75463a6a9ddc6
68baf8d0b039271d098e47c2bc0cccbe88097483


