# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 8dc3417bd369bc8149405dfe2f22bf76c18dcd2b
input_heaps:
00ea09bdec95d2f60a2d5101a53b5d2bb8a9550e
2794e690bc7c789dbf80ec81181bde6bcca20a2b
6cffbe10bcda1281e53e2d7e85db85e2715dc8aa


