# isabelle_session_info

session_name: HLDE
sources: ab553ed3f2c83dbd7fb07b7c6bb05c16cac5f8cf
input_heaps:
1478cd8cbae6c2903ff8b7580a1b47a0f1487a38
aa8d72250be55f6a4c5e37b817be58eab22b8e4e
dbad568e65871115793b602c2aa469cc05fcc2a2


