# isabelle_session_info

session_name: Lam-ml-Normalization
sources:
41caa02d23e239f82f825159faa07a2ce18fcc1e
4a49da5adab9c9b9d878e1b41b1fe17f9cb449d6
4f85195f0384ef3a874c12c5bd663375611937e6
7cc7e252b39545aabb4716107961e3cfdda9b61c
817de0e320dd9640c7fad5af9e397d95d33e119f
8a7ee9c06386d9f09850521c5ddf20f3249a9540
d4f60f18aa580163f9123b4864e1ab9c83a94e8e
e1fb0b476d54d8cbdaad570f423786accca8bb9a

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
89b605c92193d7cd5766d91c4c315e9aa41d127d


