# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: b3bed114c9f41bf6f9c5668fe1a92cbfe5b9c121
input_heaps:
1557763c55026864eeb1fbf92ab3ec60267ee348
5cf7dad23d1e903fd6eeee54e5217926f169a0e4
d91f6199c7d876e06c9dbf5892b0c95cbf2b86c6


