# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 76dbcbbf42db96e899b6e52ccf50e9e69231687b
input_heaps:
37873e0061f17d13c4a85581673448df5586ab38
676afdd0f22cd3ad42a2bd84ac613e2d29a5a368
6e8b6b7383345b390581356460eb581517710499


