# isabelle_session_info

session_name: Lazy-Lists-II
output_heap: 855e828f0f9c5b06728dffdeea49a0b15311e0c3
sources:
7bfdf5ca69422decd4ad50f7254a4ef86e92218f
98bf004bc849e9bdb1288cb3aea04b7c22192cc2
befca244d2113e6a2af1ab361decaf5a9f38d2d1
e594d0302fc73b9c2525c4f236e433916a8632f0

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
6e537c63d802c0bec001927b9eed65abb991ddcd
f6925d5ba347f030568cd8e7a62478e287f17a31
3b835f376bd1259847b1770587d8c1953bb248b3


