# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources:
04b7a4b36802c3e540ffbb0d319654ba1d66494e
0647717b3b50aa8e2ef37fb2e3e29c7e6491a56b
2502510f72ee28f1fdde549556e7bfc9927db6c2
27d345abdb90000e88de4f09620d1a0aa24ff072
34d5357a1614100e4522bb9f8371a889135c0e1a
42568fe36bd892a17601da091593ccc1104d5e23
4bd7e1d80f70247d964bf7cacfecc66cf3c57a03
643ee2a2484e94a06f3aa097422c84dbc87171ad
6d710bc24b51794b6c670a85824b239b1f04d387
74d69894aa3679f583c3d97138a959e862a1c17d
78f6e391649cda5ee46725af01258a82ed88fb02
7fc3133d7f3111247e83a018399902c2708bfc05
a47109356e1f0d349f2a2777a5a6f25f3d257dd8
b3e8ec8cb234d4c930a4e6c1a74f7653a9de9afc
d604a29cee484371110439ee25d87cb37f90acc0
da16c92bb01abe57fbde29836cfa54e95db0bd06
db4f6314dd91199e1c763a85a44c260d29235bb4
dd12fbcc31a0b736edb5bdb2a77f705421a3f9b9
de06ed2870136633117b4815938082d52def2efe

input_heaps:
680aafe9229ef73c81f6b008c602c3fae9c15e45
03b53026763bfa23a5632c7d7b11d90f7afd0248
523ec7a2615a207e5f17b4458c538357ad19d6f6


