# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 0f25ed49ba147a8b86fe28a36ba9c874393849b4
input_heaps:
5c2e68da34e0be81d09bd6288ca8dae0b78aa71c
82612f1498e7c9bb1a1152f7158cfbdc7a6da82a
eac9dccdcf4cb7acdcdc939d0426924f1cb7e858


