# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 41fee1e975d664e409cc8f4c2332c50de2d3a2c1
input_heaps:
532dbff203604d5e2b7f0d350df2b2e535aa0670
018c23ec32ebaf6f65e7b9544b49dc452e8ab1c3
ad94353d7d707c154c2974d9f09b33ee1086518e


