# isabelle_session_info

session_name: Regex_Equivalence_Examples
sources: 3476a54be3d35fc21ff908b2fcb700924cfcb257
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
5fc4e321a4aa446d87b59c72e26ba2102a31a053
a27bbd2fe94a8cfec1e0e7826e03545d8edd4bc3


