# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: e0d0888ef99970fd1c2d3cb8a5210d3265e5b27f
input_heaps:
6d4536567a2d054a471600bb1a15b22f2e4e18b7
17ad37aa59356dc3b6833c64a9451d5e4da1a182
594f8932db5386be7fcf2e73d9860ba0600477af


