# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 3fdc89fa115d2d89900a67b79e0e24a82f7ec00b
input_heaps:
9884737fddd3e6081253c712523f8ecc142c72ee
a26171661ac87092335660b10885b138f2715297
6f6ee1dcf753695dfdd55b462e99571c038b10cb


