# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: d6179082b2f49f029b10c41a8ce9f9bfc72f97b1
input_heaps:
7c385341d59add624f3803e0e2d207c16fcf2b8b
4343be3d37156aa8739d2cac200a596017930174
4c40520ed3c3d04b50a8bda7062607b767c932c7


