# isabelle_session_info

session_name: HOL-UNITY
sources: ee9ed14d93c760633ace7dc213f7d3ea716c4e48
uuid: 66820b5e-1ce9-410e-be6d-943b24e0aaa1
input_heaps:
980033d053f0749333661519c4d298c6280be1b3
69ff0e8818b8f465f2585ea0f57a610ce777e1be
23b8e4af60c17751ca2343b335fe157a378629d9


