# isabelle_session_info

session_name: Regex_Equivalence_Examples
sources: 7a7bf55fdaf39993bafa7ddc494e9c586fb90418
input_heaps:
4adc5a97dc9dd2ec807ce476868ed35b984f32fa
6b844e499af244731e9df28f8a3632b143e06d3b
65a6a7afbb3453eb64db0604146843c88e68cf54


