# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: b5c9e8a404cc9ddf1f138d97992c85cfe13d4f2d
input_heaps:
ad9522bc18e2b2a6cf26599b560f2a9ea7596aee
b002d126cf91bb7c3419b108b7ca31e9b00c41f3
f660de34bc6ad8521cc9390cfef8658eec1d62d5


