# isabelle_session_info

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

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
2f80d3f93a8e8908ea20a991b6190f7aaeac097c
0d881aaa295a35b756ecf9d47e429a03e66b955b


