# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 533fb008cc9a34d85d561b3d7ceabcde88d04232
input_heaps:
d1779d2ddc889cb6287b2680129b97571dba74da
6b61682130070f87aca58ebeac1f36c985eef21f
aa9a3ec6f3c6f0dec6675f6a08a47806836ac09d


