# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 0a1bc517b0a39ff38f147e82e33eda84dc0262ca
input_heaps:
6450dc2aa913771fa0159410165f3f6e6149c480
a7ce1774be22ca0ed19dbea2c9b9e6e66619b0b5
33804995049ade748f632b86e01fbef78a53004a


