# isabelle_session_info

session_name: Regex_Equivalence_Examples
sources: e420dc524a0f0cd1b3107747c704e7cd6ad3d04a
input_heaps:
19483222939fc489952fa9ff470a43a5bdddd767
6fb5181067c76ae090b98814e5ff8a3a2ed813cf
f18375841fe299aefe86e2d391079a60d26cb050


