# isabelle_session_info

session_name: ZF-UNITY
sources: 3d655be5a90185f752ceedc3ef2c83ed7fcf411f
input_heaps:
65b7e02b1e5df641da48590b928c3fa43efd05fa
a644f287d232ecd41f39327dbc3524a628d2d96a
05879b264012cd26de449a8a706581d2c438ed3d


