# isabelle_session_info

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

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
41ca8b1ef880b2caab86f2e624d077e228a12ed4
a1d4e989ad1a700e9d30ddaf5afc0202077fceef
081e2ea43e234aae88c54c36bdea8492ada09aff
409d324b6f7485c4d6e568aff4ddce6404a296bf


