# isabelle_session_info

session_name: Lazy-Lists-II
output_heap: da3eb62f0662d8e8351f1c520690c72570d22b70
sources:
07cd6fc0d1d226aaf867878e5be0f229ea689e9d
7bfdf5ca69422decd4ad50f7254a4ef86e92218f
98bf004bc849e9bdb1288cb3aea04b7c22192cc2
e594d0302fc73b9c2525c4f236e433916a8632f0

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb
d8625272701e7304f76db642b7fb0e61f9b07c0f
4e073c8ca9995e1513fd8205e4ed94aaafa60a26
dccd991973917f277bd972d0a732813b46f6f2e0


