# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 88040d11da1ed5a1f506bb515f5ccf72061a92dd
input_heaps:
24a02e746c61040204a8bb5050040c0249134cdf
94f56250bb4f3fd3f203368dc609dc2dfcebeb97
35127df9ccad49e56992fab7bf07932b4eaba1ac


