# isabelle_session_info

session_name: HLDE
sources: ab553ed3f2c83dbd7fb07b7c6bb05c16cac5f8cf
input_heaps:
72c8d9de99c96280f85277cd3480535dfd12f3bc
a3e5c8a6c901a5f1565ab53ce44c5eb1c6018ff2
94a5b53f68e37319d87f00628b449e5baf051dd3


