# isabelle_session_info

session_name: HOL-UNITY
sources: 920f4696c4fec79bab4d88fc3bf413908af60413
uuid: 4d75dd8e-f71f-4aff-b4ce-c042980a5aa8
input_heaps:
2119b738295b3991bc32a3d3086303360a58bfb8
16702f1d30a940ae0cc49cac75ef4dde0902bf60
9da58757206c0539ee9c22c1bffaf65e3d82f825


