# isabelle_session_info

session_name: Sepref_IICF
sources: c3e32e73d2b911c58079464e399201145b7f50fb
output_heap: 037b43248662ad9654dd6e4d7fa3f92051a38802
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
bd202fc155acc97a2913afab427799291ff8d096
f54c129950e2fc9884f41f1065bf5c6a8b57d392
b5b198f46c5acf9d6d89d51242f80d87d5b1e0e1
61f142bb61db1fb06af0518de2c18d71a315db24
3bc97698abe983e316d17e363bc9861b16bbab72
357c86b28c77e6abb60aef50589a881c0865f56a


