# isabelle_session_info

session_name: Buchi_Complementation
sources: d3b9cd5ae5b55d0db49371c78db8f9a3e3d70e51
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
9491a640ee6bf72e55d03587fe1b9576e97fef2d
94aa7d7c80afebd1ff891ebe469ae58fe8419fe5
c916a99378321fb6e0ec3ca690855690e0fe02d8
c18bade9c0829d879d034fae30d5699d045acdd2
9da76f55ae0738f7a21f76b58c06786f7a8d376e


