# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 5b7c5cb2430c9a5176e39151ef7d16f1165e4c55
input_heaps:
4f2c0bd4be2ac4b94f89ae10fb0d936d88f36b2c
ff670c3cfafe1b4a987538d467717cf66914711f
ca8b406cfd3ca1d2637386ee7d9b015047c6ffd3


