# isabelle_session_info

session_name: Lorenz_C1
sources: 67599c8a773fcb467007410dca2850141764aeeb
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
f1715b405e31ccabbdc6fec58464e458364e7dc6
27380dc72e623c038461b5a833200b5803ef071c
79424fc2bd225bbe82e451975792da2a8c7bad88
f15b2805fe11f7d2e3aa91c73386f01c64d5dcdd
c12ec75a9031df107e950a785c7da05724bb9374
a244235f2408a3857b2819fddda2a7c7544884cf
9b512c0cdbb6cb2d84e8cf28dc83fd754aab1843


