# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 1d51444253089a4b2a652696d89993e012bb4f3c
input_heaps:
31bf4bac648c51f49408130bf9489829be3fa993
35508bc2877195b4acaa6a24645b77282ba20bd1
2a7865ddb1e4195aad393be2fe158b16dab73b19


