# isabelle_session_info

session_name: LEM
sources: 60839e7f3289b7cb4655c7b487467173dcadb0f9
output_heap: b94446b6413631f198ac9470c5d5d31d22b4bf90
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
f1715b405e31ccabbdc6fec58464e458364e7dc6
04e2628ece6af1d725778cf37e5368e06983deb5
6ec5a074f88e21307c28c2c9241302beb5a00b5c


