# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: d6dc8d3e565b3bf0a19e4fe518e5378d328c6ece
input_heaps:
e8eb12ec958edf5a5d2cbf15395a8cea53977f53
d1f8b402b68bdff9c63c026506ecef83f5f68c00
25de763734ed20a0f31e0eeef26f49f5be82440c


