# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 7a545d781db13066dd2b0173ee5d3fecbb04ed3b
input_heaps:
50c1749019ca8e9ffc93963cc99307460c2e0e80
52a64cfec0259bfb8fb24d12fa7de6a2d1ccd80f
529f252c8f3d5f63d647b39823441a630288aeb7


