# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 98ea33090f77d8cb165523b02d9cd7b56a03efcd
input_heaps:
a722fcaa1e8b43a508ba50c6d40dc06804ad4aa9
0a9ce344dfac367830e992bc261ce9786406c92c
90f7ce6a42b49764337b39d73250c4b349e86011


