# isabelle_session_info

session_name: Lorenz_C1
sources: 3031fdaf8e6dc311da3a78b87304f03c90085ec6
input_heaps:
7527c097151a176fe2b7115e283a3ad22f3623eb
46d6d70bad25fe7d15998c1bfe8de29513678f57
34f017f50e8f9831899f371b93beca4f99c352ea
3368da5687b5dae5fbbd3e274cf9a6abba46d378
715a0a1912d5801e4edba544c2964f2899e7980f
958911b55275f91a8482c2cb152ad843922e4c20


