# isabelle_session_info

session_name: Lam-ml-Normalization
sources:
22153a9ee83c690aaec55d637858de1d3e4ec0dc
41caa02d23e239f82f825159faa07a2ce18fcc1e
4f85195f0384ef3a874c12c5bd663375611937e6
7cc7e252b39545aabb4716107961e3cfdda9b61c
817de0e320dd9640c7fad5af9e397d95d33e119f
8d065f375f639d3b9a5b76c07b27058e95555fe3
d4a744693dde4b2b4dcd1b586a909e4d25f5abd6
d4f60f18aa580163f9123b4864e1ab9c83a94e8e

input_heaps:
7df075489bbe200b6262e37edcd5270d19378d2e
9bfbf87d82e3125a825023e51521c6c0733cbb56
e2bed95b9cbcad14fb09be1a9f97d747f6a61bc0


