# isabelle_session_info

session_name: Category3
output_heap: c9ed7caee264e807a36803f99935d9f5cda79306
sources:
0fd4defefc9c3a83c83167cb24b75edceca04601
1ab3678d37f3ffff77d84561f7d505243b0babe2
1c884124d672567ed7964c56690b35884e2adbcc
2353a25fa55d4bff60f600b96d2837efcbe81997
23a299694dd6e3da5ea616d9ee7cda7b48243c51
248e26121921de3fff5035082fa6f395fe632b8f
4065c00c4555547384ddbe4996d4b0659871b0d9
4c4e6a82a18c1d834c5f9dede7948f3ac8ddf992
4d119663667bd0ce8d63688ae8dfaa389f7ff749
5380f445bb249710308f4d8a0cad22f29628be62
6bfe540cbe8084ced469c7f55963133b0027d047
6c5b4c878e7dd9825071866366d46d92ace5f6ec
79be8feac973a70178000cee4a25fcc7e3872ae4
ab2d2b5abf0dd4b9f856d3c4705f4d16e8f25370
b4025a2897cdbc95e643e6f78ccc4bc9f30bc152
b7172841f6f106067ff5f33c2e89862f91d5e943
c6c09542b7beedf1a27b46b08c671e81300c98f3
dce1a78a7124e77a603c6bcc2bba1f671ef4818e
dd6b9c101eb1b4d4626d557ded32d1b6f21625b8
e85e14e8ed1327d1e8eaf3c086cbc520ccd602d4
eb2ac49e231730d17a6620fcc806fc95c0329add
fcd23409038bf74b6e034eb36fb78cff17075ebc

input_heaps:
728eda92c596448850baeaf541586ad0cbd7b32f
9daf9b2243525f9f5d1a1f22d380df7ef09d72de
3e315ae02238ba29ff4dfa91456277ea298bcd5c


