# isabelle_session_info

session_name: Lam-ml-Normalization
sources: fd3ffa6f4eac4bade5bbb3a14341f68e7129b4b9
input_heaps:
4adc5a97dc9dd2ec807ce476868ed35b984f32fa
6b844e499af244731e9df28f8a3632b143e06d3b
b8020fa2e6b77cbf547e2fe43e535f50b0d5ec5a
a0dde66198c1a9a6028e235a5c48324c427e0300


