# isabelle_session_info

session_name: CCS
sources:
01733c6e4c2c1915db4efbdf15f8f48305e6bfb3
11c75d00b612dc5802f9f13afe0ef664507ffb5b
1d63adb9e2f7185391523dbb950c8407e64b769e
21ee2f691b40714640f5145644d0b81eb10528a2
2909ba99920f63a880b3e8e7ad8494ad01c07e9b
2d3de66ea801849aa0987edb5bbeb27198ea05d1
306941848f8b6748a98e5d2c5cdb60c343a6a9d3
3bb47bccf9c60672e53d4b13212d3dc75f4c2298
49d1932fb6b0a8391048aa1c31cea3999e08ea4c
51c55857ce18be4352fdd090ab576d218e59b0a3
5c234b0c27f6ff9f7630300885063c9501f1784c
5c67a0fc959472193f4df04615d8d890bc2bd34c
5d44ca43a410e7a28fed6e241b48c65f85021ff8
840c84568342edf8bac92454e3710d1cc9097920
8f2275b4e3a7eebfcb3f3011d89202e8a4fc2230
a1a8a914cc0eead1b931e4a16a21d49d347a0288
a5ab74f1e75fdbc09f0f8a270c4685962e5caefc
afef20cf74339f762775029bc50134796c5621fb
bbdfdb18aec08581c66ada7952f092ee36f5b5fb
bfafd70a7cd13b719b4067f0e670af8c67dfd2b4
f7cead6b809f1c1012f2032d957f24335fa8e914
f9d6eed25c58952c100f176b559b4a1fc0fc851b

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
a89f02d28a84921b68a3049deb12f3cca8ccf3e6


