# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 7fe9365356d9abc6909389f562bce991efd3d463
input_heaps:
2bfc9fa8902db3916d36ec4512397ceb264483eb
477271fb1badc091331ba1e4626476e1d6c56cde
acb4e0e14b64658e4baf1215c69e299d3b016ebf


