# isabelle_session_info

session_name: HOL-UNITY
sources: 25af0cac554ab83dffcbc220fa5c2df7f973c5f5
input_heaps:
00879685c0cae8162cb30e087be0ad1474557204
1ad79679c1848be8b6071b23aced2c52a17aca74
2fe27177f42bf34ba343ed079f5587ed3d6feef7


