# isabelle_session_info

session_name: Regex_Equivalence_Examples
sources: bdfd8911a5d77eac7eab3b188cbfce743e38307a
input_heaps:
d6ac031d3e88d65563eac5f02a097b7a1de9a7e3
ffd3c2f455ccf76046f1a522696b8fe123ec936e
d73cc9f991d59b6f5b9b5ed81f66deb739512a01


