# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 53a64fc3255dbdb6ae0b2ad48971c3229480cc0e
input_heaps:
0bf2a27c0ff6a611e74bb01f6f32875f555cab28
92784c842d19725f296c8ccac91815ef43f559b8
8445186510c20911744e8db6a4d0018ca811fb5f


