# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 7856a4bc3a786ec4433fc9dd746ded97ed5cb22b
input_heaps:
5248afc86b05a1ac2f695003788f35082c9fc933
f1ca51ccd42b5a485854d78f2467698d231bd356
dc83035afd80b53feefc3d9619a961ca9da30b1d


