# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 6010ab458a630fe829bda269428d1aaf10755109
input_heaps:
c68b30ad566b49580fe13839f7a432f3076bf46c
c261812e8cc579b00fa6c102259eafdf6ed9acf2
dfe78b52a9e0f7ac57ed9e12e26e35913219387b


