# isabelle_session_info

session_name: Regex_Equivalence_Examples
sources: 17ebc1189c72db8c2b2bc7d0a001e69801298bf9
input_heaps:
f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a
a975b996cb0122f4bbc0d4d5892986a1c87209c0
5a572dc32cc04195d6c7f5bf6cf5447d2a5e7d0e


