# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: b1c96d12e06abf06ced526d5ef5a3b92e9af44c2
input_heaps:
c2d0fb3b47e8eb977e037c394badcf36d1d2c5a6
b2b478c28d6b0e47d8a42d61ccf723d668135bd8
1b6c331f7a21a5b6002561e775ed611713b54a5c


