# isabelle_session_info

session_name: Lazy-Lists-II
sources: e87e8645d25b8b1b75662475c3c20481bf3352a9
output_heap: c135eac4a78c0a069f8c5a2eb7711e69579305cd
input_heaps:
0a2796d42ac427cc44af631a8b97f23c746aecac
d64a82a2189953e009885b82ff3fe520b1ddd159
ecbaca1f759e0af4557375e3f3e93a75220211b8
9fd2ba49311f544ed16d60b38e1be4fe427c2983
d103d97c154fe7583cec09050d1ba4d3c0c3a95d


