# isabelle_session_info

session_name: Sepref_IICF
sources: 560c48db78212060d552d78b6edcbb58f0c4bb18
output_heap: 44468ce7ea5e9b1d0e22a6a23cfe0dffb8eef658
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
9491a640ee6bf72e55d03587fe1b9576e97fef2d
94aa7d7c80afebd1ff891ebe469ae58fe8419fe5
c916a99378321fb6e0ec3ca690855690e0fe02d8
c18bade9c0829d879d034fae30d5699d045acdd2
d623e19c8b22ab1d485013fee44631c31a35878b
1c211c4155fa10c294ce0f2bfbba809c23396aff


