# isabelle_session_info

session_name: LOFT
sources: d8b68283f849ad6dee2f2e570deb7f611085fa18
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
f1715b405e31ccabbdc6fec58464e458364e7dc6
04e2628ece6af1d725778cf37e5368e06983deb5
6ec5a074f88e21307c28c2c9241302beb5a00b5c
a3070651a02e203a826c485fbd280a788e8bbbb7
28b6759a9923bb7e9465ea97f934a57cd926cfef
cc8766d73b3cb86be1db38b43d9af31a24ce864b
87f1f961acb96d7b53a8312c1040cdb8501401e8


