# isabelle_session_info

session_name: Buchi_Complementation
sources: 18714bb7f81498ff9f21bfe36c0e899f17953caf
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
950ea4632527669f7c4dae144a0d8bd338d2ab61
59f8471b9eb28f8389d57dbc629325adf9ed0102
e06979a282f1cad2c8878efa0b6e086fca48e58a
09350559679a1c12698616b84a473e6a84c0e65d
6ff07eb7d7e5c6136f1ca9657ae38cb307f0b808


