# isabelle_session_info

session_name: Regex_Equivalence_Examples
sources: 310f9a5cd65e47bffffbfc08cff6b7bc77a02901
input_heaps:
0779f416e0333e930b31960d36caa48e35918b68
b6896307526a9838816e0ef6f162a79ce98e509f
c4c7d1bee2f6d16d61f42601e5e792c15753d1ca


