# isabelle_session_info

session_name: Regex_Equivalence
output_heap: 6b1087bd81820cc234f6da05de3dfc51e182c162
sources:
02443c971ab4122d0f9dbdbfeff2bcd4aa365104
0d84c0c621ccc2a08019cb1973e2d2d67fc53d33
2780af53be01111bec3f2cf4eb38ddd2126e1bd7
3d085b2f15013ab9cdd8983b82002e5b7e45d759
4dcd975c156fb89c53d8121570fb10800764c0b5
529bf053a9f418441d4030fa2824471d967bd225
5be75f193e816ce0c96027242618360b73e72d9e
5fa0227b70b5fca496a827935c5b9355c7bd2690
6735e2520b3b26c54c995457f3c15c201552842f
6b3f34b31437c70042e95bdd0a1d13e4c08cf201
851ad684207c6c6f68ee9f2b6b0683326d8eb4c2
a6d32914e31475e6e7f5602f73bb2e4248d457dd
ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82
d864ef72fb1fc3ee898e573c5b39f2bd8daddd08
ea6c88b7bf770ad21d04d2730aa6e0104dad84b7
f39327178aa55c83f757272eeed83000986ec3e0

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1


