# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 1d51444253089a4b2a652696d89993e012bb4f3c
input_heaps:
1e21a38563f73ae1e71d122bc805ba19ae3a1e96
44b44dfdf804afe70e094dad95ffb119fe1510fb
dc837e9db83e798cea043213c647606e45c51cad


