# isabelle_session_info

session_name: ZF-UNITY
sources: b74e156cfc6d7c117277195f9aa2f9d685cccd5f
input_heaps:
5ba685b34502b4975dd781c9ef731c56a0e0c185
e8983a8d223b5efddd177324ba5009d0818c4841
2d5a0a6f1fbef3497cc8497a35a2d20149cb40a6


