# isabelle_session_info

session_name: Buchi_Complementation
sources: d3b9cd5ae5b55d0db49371c78db8f9a3e3d70e51
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
87718d0c1aebf020a6cc483886932b0e8197300b
ae0c2408a41b9072c0aa6707a38ddff2733e593c
2d9a6f3b3cccde73edaa80476cba4207d9433261
58c41af98d78678701d98b926f2ac01f2f05508d
3a0850e34b7d44bdb3ff806e4eaf36baa40f44a3


