# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 1d51444253089a4b2a652696d89993e012bb4f3c
input_heaps:
3fe17abdf9fa7db8d66f05d71667c93b38e5fadf
8e9bb4e670ef60c93ad8a51482f2cacfd3a804de
c87ebb44123ecc1e13496a35f5557c1f26d002a4


