# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: ac6d076849871005ca4117c529237b84191e15dd
input_heaps:
cc6d6598ca48f4c3791a98b19dd5cf828358a33f
c32e3c801900c6f94f6ade7ad7b143a3950847be
427cf9d7114876030c7d8845b1e22c8ab71d75e0


