# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 773dd022a620c757615aeb67e98c4bdfff20b639
input_heaps:
5e341a1d6191d9356afa4682b13bd70b1920f9d9
63f48e936253096d790243e19b2890f4bf58673f
40269a2794d378d4589d1e6a70e8c6e786b0d9b6


