# isabelle_session_info

session_name: Lazy-Lists-II
sources: 717e9843a8c14da8dc275e73a2452bfdd09e170a
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
384240766f364b0530b95cc787b490d4a226797f
674eb2177a7a1aeb269732aebccc9887dc51fa48
c5c91a58d3859ee16e136bcaf6fa88419d70b567
6db9d5c43a4b1163ef82cea47cf13ac516630223


