# isabelle_session_info

session_name: MSO_Regex_Equivalence
sources: 9e471ffcfe2c0a6ecd2537acba0c0d9b51a245c5
output_heap: 699545d2a689035a8edc352cc26488873dd391fe
input_heaps:
72476e49faf5ae81b565cd9a808c77e6c79a7cd3
1847274f423d78a61f6a5c9cd14f9851aa9995d5
8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28


