# isabelle_session_info

session_name: Regex_Equivalence_Examples
sources: 1599757dc5d064fb682a796c212dccf3e40ee9bf
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
80050be4066a2dc41dde228522a53110fc50a122
0b565e9d492baeddd5d4b76d001f58c169d04dc6


