# isabelle_session_info

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

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
a89f02d28a84921b68a3049deb12f3cca8ccf3e6


