# isabelle_session_info

session_name: Lam-ml-Normalization
sources: 8890ba272e32115aa81fc86c4dd04e777a9753d1
input_heaps:
e003033e0a1df248159cfae37f3521344e99dff4
bd9d5b59f62cee787b745a18e37ce78675bf828e
51bca5798766ae8b6082d8e3253d02652fec4031
08fab92b78f8a967c580450e53bbb48ff97639b2


