# isabelle_session_info

session_name: Regex_Equivalence_Examples
sources: 0e69d0ce5399e2f1aff78dff5f2ec0fc04e3b12f
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
b2570be3314ffce30a94fb6d82651f19f907b353
286fe9ac1d9927a5f5f06b9ff4fc984560dd9a00


