# isabelle_session_info

session_name: Regex_Equivalence_Examples
sources: 96888769c973ff3086fe209adb724465bb08f3fd
input_heaps:
1478cd8cbae6c2903ff8b7580a1b47a0f1487a38
aa8d72250be55f6a4c5e37b817be58eab22b8e4e
cf9fd4ef3006ee4e0ed92bfaa49e94ffde8e0580


