# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 545f45b9f48392fb0a9795bafd22db29f5c98642
input_heaps:
b35290ea035879260bf74094b8cdee6413c2aeaf
908a19d8d489b3872b4fc9a51102282f55c5ec76
067d329d118ef3b0b3b5cfd63b4ae7c9c63df576


