# isabelle_session_info

session_name: HLDE
sources: f0cc482a8b2908830d006e8bbe522e8bbdae57f8
input_heaps:
97833069aaf33e80bb8bfd493abc152a39f1dded
dc78b241718cbecaa21e6c3d43f6dadbec9225f3
47da11ff72b67d50aa44d885e5f9d02ce945cf2f


