# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 78b4d8658efd99e2f4152b26ebb8821f8008567b
input_heaps:
6c234964d2ce00acad8abea2736235d9c47e1057
c6a0496d6f02ca7c0f07a3d8e8e0eee63df5f538
c45ee6cb32bbbab3cec7e0f756731533f8dbe779


