# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 4713b0f8f6c366bb24aa501b8dc8624bb7622eec
input_heaps:
63b1f4bc87078c4a404d2432b7da6c3c391c20b7
6b5716f4acaac0c8afde2d74e6603ed46b759ac9
40d95ebd37c5dfc144ebcc6e03423f6b9d892aaa


