# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 6ebb1ed46c15a9be3608bb203ddc51029f005c2b
input_heaps:
33e372010bd93d78618052a88797c5afe4f11382
7daf0c8bd7744b8053173dc61bbf05acdc7970ef
11588e9a03ab8c720592e3a342beced4d51e7d48


