# isabelle_session_info

session_name: Regex_Equivalence_Examples
sources: 4f383b488a7d50c5d478198ebaa6d0c34081e61a
input_heaps:
8ae0489170ffa4e9aeecb054da5126bd23bcab2b
a42132ca83816d0082ab6b716aea896bf4d99d0a
8eb995aa44171e4a0042cad4d9c21e0c3f1f982c


