# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 53a64fc3255dbdb6ae0b2ad48971c3229480cc0e
input_heaps:
6ac43f2621aa23038ee2871857f943ba5725a1be
0a49de4572e2bdf8c075b39e270ef0518fd9ac93
b63b5076cf8c8def3924107d1e306e147a571b68


