# isabelle_session_info

session_name: Regex_Equivalence_Examples
sources: 53f7bdc5e6d6ce12879850436a75ffcee0eed6f6
input_heaps:
36562e7d7ef22324cec69c1c66e1bdd7ef81cf4c
6af7e1fb310f20123ed31ee9fc4502422cd6933f
e35d2be8b47513ef87ecc079bce4f9c9c33cfcca


