# isabelle_session_info

session_name: HOL-UNITY
sources: 920f4696c4fec79bab4d88fc3bf413908af60413
uuid: 3838c603-fd32-4d28-b32e-73dbd8a6ac27
input_heaps:
cc0a1e6bf0a67bebc76a05283bbaeaf825c84028
0f6b10629e7cb97327ec14b3a1d38cf4256e1f5b
29b6d8e2990b4be602589e2a56e8cdbf49044bdb


