# isabelle_session_info

session_name: Regex_Equivalence_Examples
sources: 6b88116fb536b7692a482a9f12f309bd5c8eeab7
input_heaps:
0dc0541b39a07c11e5774461d9bd9c4bf977ffc8
70801ef29d848aa8eb383514e684c8076c0da75a
437765ffe534d10a5e4823f09fbcd55fc9bb33c9


