# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 7aaceb84fd8493bee681c7b077bab12f9939b71c
input_heaps:
d2241105d59f024a1ed91dd402ce7df32b8647fc
03456ed43f3268cce21b507c83b43956efbf99ef
2e027524e5909b8f14c2f80385fbc8d18a32fded


