# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 692975b6f4be146def4ffab063344532973052ff
input_heaps:
25555504e46b569cf22a309b1f721af8629de804
fb16144b26eb6a6115fa228e166dbf6a378a7734
2164a3e762b82df808c125c6e5334cef3542725b


