# isabelle_session_info

session_name: ZF-UNITY
sources: 1ec7f0c409c146c18d075836984fdf5ebe3ce22b
uuid: ebe047b1-9533-4899-a6c9-2c594c638865
input_heaps:
9f756a51bf34e1b2803926b818ad28454650efdb
1a005f4b06bea805794db7d31ee73bfa70e44868
56b6d1808b836e68ff89bc6a6f021d49f612c758


