# isabelle_session_info

session_name: HOL-Word
input_heaps: b1b4bb7923f2739e3edc8ba69d5140b5156fd376 5d8dae86fd2069eaf279b211ed5f2a63cbd1998b
output_heap: 77d17a3feca692cf231448ad6e4aa16eeed1ee01
sources:
1d2823f6eafe595cb247e1c2779789a21fa81343
1e751a0ab7d878d8758f0a5a39d62ee9166fea28
26637486fa16c4a6c402ed96447722311bae3e03
30cd8da94f5f34145b9da7fb3289d009455833da
390f71d5c4033fddc1b8e864bb9db7ed049eba67
3fa0150ed58e22b0591fec277459309fbbcba97c
4cee7a4a8ff3a6a412156b24cb39563781feeea5
54a89e2b6281de8b26bb6f890f59db0c431e3c7f
54bc02edd20109ec5df1f897881ac82269c23e46
7bdc86c0ab88ed1a1003581f54f0e2dccf7e177d
7c021f29d0255a3de19b941cd5a05941d26dc6e0
8ebd2a5a70614ce4e9229427fb522b89f8c795be
977f3bc872f2fb41026333970ce3a27464ea90af
98e56112c94ef1e4b2b588c91ee96072cbda4b3d
a47109356e1f0d349f2a2777a5a6f25f3d257dd8
a6ac4e5e15908015cff3605109f72d722d0c2377
db4f6314dd91199e1c763a85a44c260d29235bb4
dcc916cd327a9b789361b9ba14c3a69c848a9faa
e1017a35dbe3ac17604b11f56a6cc9a3d1a8a5f0
e23824c3449cb1ef1350bf95f566d829ae0845c8


