# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 57664ed339aabdcf45d8da46c26bc7cc3b3c3621
input_heaps:
1667ce1fcb30adc5ce6fcdb5feb10204550c27ec
e9aae1d42c4adf660df67523aa6bdbf83e56d019
0b7a805d67b1f4b2c23303e42650e59a0272afa7


