# isabelle_session_info

session_name: HOL-UNITY
sources: c582d4d14414a698a9bc89ca7454d8f1936b3fab
uuid: 20427038-038a-4236-b12a-27d9bad0a525
input_heaps:
0a2c0c4191b1d84261ef90406b039e096e738a98
12745a0f51ab83415c41598c722acb7629442f25
fae060f3f1e1bff44e09c847773c112baeb469d3


