# isabelle_session_info

session_name: Regex_Equivalence_Examples
sources: af1cd91dc3ee5502009c63ade6202a79652e3e5d
input_heaps:
97833069aaf33e80bb8bfd493abc152a39f1dded
dc78b241718cbecaa21e6c3d43f6dadbec9225f3
320ec80e19bbcf773546233e5a9a6f1eb2b1acc2


