# isabelle_session_info

session_name: Buchi_Complementation
sources: e4eccf063d3bc8ef98d5afcd00c52d294aca699c
input_heaps:
a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b
246f6e81708adcf47b424e236c7a30d027d9b852
fd4a1de7cfdaa96338dbe3347f5407515b043eea
6fbafeec1e79015ba56735821f575f93f5df11be
50743a86349f365e1e34843bac14f4cf3bd32a23
d24fa1610cc2af6bf392934012cf30357c8f72c1


