# isabelle_session_info

session_name: Regex_Equivalence_Examples
sources: 99e586bd2ca8db3ee1ffd99e0c17e6da847601d9
input_heaps:
ee3210dd24a02fc2532bf9b24d649a5c6880067f
50500894c9f08017630fd27f91d8231f2cc9f198
df64b41f97d243df9c540d74ad0174af7bd039b2


