# isabelle_session_info

session_name: Regex_Equivalence_Examples
sources: fa8200ac4d617b030254f7eb111d22c525613561
input_heaps:
4adc5a97dc9dd2ec807ce476868ed35b984f32fa
a910a225eb72423ba846a1a2a2015494a7f8dff4
286d7a2516a43e34770b8bb527a90499adb44c0b


