# isabelle_session_info

session_name: HOL-UNITY
sources: 3662492f41d4bca208e7d61500e9148beb48972a
uuid: 8cadf562-1b71-4456-8e2a-08a235fcfcf9
input_heaps:
d110a6572af0be1c73c2824ffea82a089f944503
2dac7cdd11e16d13c849935f67cef8b8fd095f4d
247dd702b1a1d3c109d318964fcab61ff23bd99f


