# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: b39aa89cb0cbbbe52dad84b0cfe91a1836fcf91d
input_heaps:
fa9105eaeef06dbaa63a4bfa5d69a76d27f5166b
87842e15ef3ae8da7f57d4a175cedfd8e2ad26b2
b6b7d5080785e9295b59bd9a8da28efb073f60f8


