# isabelle_session_info

session_name: HLDE
sources: 99b0ac8aa5f011b5c5c108135d0361c6a4d4105c
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
fdfe4e61737996684170e76c942ea2a1237ad4bb
ed3fa4799b6e74b2bf1c7441d2424dda8361e9ac


