# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: c67821699b05ccd691d4370f8f9404e74e3c42d4
input_heaps:
2de776be54086cd6f5d576144c34608108120821
ee9cea67cd24ab19209e832e4527fa2462c7f652
f6b7a5a3a5bbfce0a6c2d2780e92ce513fbb6572


