# isabelle_session_info

session_name: Buchi_Complementation
sources: 01bcd4ea9bbc1f762c750650586d80b51464d5cb
input_heaps:
273a065aaa7221aeab8448251fac00a4433003aa
e99e0684410df36373f4f2b5c5ea423968ee9625
7b399c3bd720ea69b0bb8af6e9cb16e42d46acc4
2bc5e6aeb6d33c3537b8d07a702e3dfb818d93ea
c875758061588b14031a1c01ad027789c0f73a60
374b890da88770bca069db8b51f3d5de151b6775


