# isabelle_session_info

session_name: Lazy-Lists-II
output_heap: 0b9844e3277eb73743acdab86671658195b2e691
sources:
7bfdf5ca69422decd4ad50f7254a4ef86e92218f
98bf004bc849e9bdb1288cb3aea04b7c22192cc2
a9c7958a47cf8d9e7bc8af7dc9cfa6aeee0d6667
e594d0302fc73b9c2525c4f236e433916a8632f0

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
3f36a11d8c74ccb5219961f66c2ee8539a4707a9
30863ad5ee7decda41d3ccf6e6e580bd399820b2


