# isabelle_session_info

session_name: Buchi_Complementation
sources: 8173e3e238745cdaf0612ba8ba5ca8fe90d84e72
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1
2f484737f9e309b1dda4db1db62345fe202c4f91
14de8d5ef97011d1aab90fe1ee9e6a72e94b032d
20ce141ce56eee59065d2403cf726ecb8d9be303
a239ec55b86b8eaad7e4f1ff6f49d470a3d9b544


