# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 9b8e5b89c489c5f2678600f3b2398dbd11f98b4a
input_heaps:
266222d5d4fd615b66222b5c76e21b7ffca335d8
e3f2349d70353a17cdf47ae04ea2d2766e07c9b0
996b976a7b1ce708695bbd072f0e578c0a80b95f


