# isabelle_session_info

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

input_heaps:
b9c0e8f4a3ec48522e3484ee292a510c958aa05f
7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
0446cbee183b4375f1d1571ae2c911c242138661


