# isabelle_session_info

session_name: ZF-UNITY
sources: 584b5291631c583ec0656b9c9b0d482e1d3c3c93
input_heaps:
2910a4ddca5ed320a79b5d7a8472877f5003c6d9
3e9ca7d8b5d2cd48a6cec87f1a8cfd10e87c04b5
64b071131befb7e75868efbef98c6b45401fc604


