# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: ff5a5bb6cdc814abd49252bb6f451ca17fd6c4fc
input_heaps:
ec4aa2174fecb1126018e64b1f3f8a51d94caa4e
a3e170b0ba817fa1bfb3fcc40a44fb0d546591f5
d393503ccda63a087775bd1ba15bd4eb85ca7fdf


