# isabelle_session_info

session_name: Regex_Equivalence_Examples
sources: 970d43303e9de1a64b36ed3dc94de6a8f81b4932
input_heaps:
665af98eb5b604629a3a80f1bd6c88145ac43a21
27625c6a71bbe28fc0d93a17cd760af834a4e6e7
c874a6f18154f7f6fd796b2e37fe15f5f6f6e240


