# isabelle_session_info

session_name: Regex_Equivalence_Examples
sources: 0e69d0ce5399e2f1aff78dff5f2ec0fc04e3b12f
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
fdfe4e61737996684170e76c942ea2a1237ad4bb
e788b5feab3af9c5f886dacc9c568699da365597


