# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources:
0647717b3b50aa8e2ef37fb2e3e29c7e6491a56b
2502510f72ee28f1fdde549556e7bfc9927db6c2
27d345abdb90000e88de4f09620d1a0aa24ff072
2f1e7545c9d3ecd27bc351629dcc8cabfd6fafeb
42568fe36bd892a17601da091593ccc1104d5e23
491103d24dadb4539595f45155e814c10053aaca
59fbfea245001d6fac90e8bc750a7f13d680a43b
6b0dacf5366022bfc3b44fa3be0064e084e0fb6d
6d710bc24b51794b6c670a85824b239b1f04d387
78f6e391649cda5ee46725af01258a82ed88fb02
7fc3133d7f3111247e83a018399902c2708bfc05
ab069b1524cc4b64110c4d058f0c8e512a6f230f
d604a29cee484371110439ee25d87cb37f90acc0
de06ed2870136633117b4815938082d52def2efe

input_heaps:
b7a9b2dfe4980115e308a4222253abf01f3cba22
ac0ee46d42a46b8d0bd5ae0397e22d107e7ad682
0e167f5bc8ced30f2d2ba98e9d6efbe3099f6e14


