# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: b39aa89cb0cbbbe52dad84b0cfe91a1836fcf91d
input_heaps:
fccc52e90296d6bc1955ae993c338f1f3bed89b4
4c8bcaaf64a69424fe927deafa2ed2aa9a0162f8
4e4cff4dfa4fe7f5dc87e31d3b20415f25201fe1


