# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 16a1d914d2b33517bd6dcbf4e70d1add54ac9144
input_heaps:
cb9068c52176507145e624acbeec2272a10e4f6a
87206ccabfeb1d393ed2571f867fc3906cc88dd1
d12cbe58b6304a29422d2440876b76d00d175c32


