# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: cafac44a1c91522af0852f68a9e71ca34ca65033
input_heaps:
94f51dd4e7676acedffe74ec8d2e2647f4dbdd0c
2feb435dc45c22ba19ecfa070808cd954dbee802
5b9be724b4e84e82342264746cb3e0fea667b332


