# isabelle_session_info

session_name: ZF-UNITY
sources: e7c5b1a1981f24636b34b0346bdf754115997d39
input_heaps:
7b8f755608c0663a4aab9838687dac5bc4543ba9
ada4bb4d1eb585220c97b6d5433cc2fba8d0f316
3312fb4e691f7e5e580c14edeb05a9f156e2ffc6


