# isabelle_session_info

session_name: Lazy-Lists-II
output_heap: 6cf50f59e5de0d2156ad658e74d6d01ced47416d
sources:
07cd6fc0d1d226aaf867878e5be0f229ea689e9d
7bfdf5ca69422decd4ad50f7254a4ef86e92218f
b044bc29763948d921e035013d5c578c5750edb4
e594d0302fc73b9c2525c4f236e433916a8632f0

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
c56ae9d5441b629f77cadaa07ce128a6fd02d228
eaf37427e14379c6b5bb0549a2d41983fecb41e3
662e2c93275b3f9c97faea279c1f2e9b30a29203
c879099ae14200fd1c420af5c5f0b0a4080e5d42


