# isabelle_session_info

session_name: ZF-UNITY
sources: b583dfff0570c1ec9134b74113b894e93f9e2567
input_heaps:
7453acf374efac985c0e19bcb736d8cc1aea29a8
bb188b4517b36a843d2caa071a7ef04038d84311
17f8d83fe67f3bbb4cd48e1284e531a30b85e1c8


