# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 5b5bdce6b4427ca85fe475592eed9398de69f509
input_heaps:
51fdd790dd5bb3b33bbac5928fced7476c30aa1d
6493d4a1efdc7dd2fb0543b9cd81fe24dcd625bd
3a0f550051771b5bcaf588d380041d5be75d8bda


