# isabelle_session_info

session_name: HOL-UNITY
sources: f65617172043b476df7b82700dd34d207ab33ce1
input_heaps:
66bbd849714724ffd8c8c735b713095926828f3d
c15c60e1d6031ed7060324e1cda2aebefad74f16
d9ab8ec43fe8ef0d2acf4245e64aca0b781bbe80


