# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 88a2a56feebc56aad5e7e74c02fe98cae9ac7f56
input_heaps:
4bd67b285979e6f43cac76043955b384834a2c80
5036220c7d35dd2ef458845900033dd223e33096
ca91bb1e53b653a345b1d73b43290453ff99983d


