# isabelle_session_info

session_name: Regex_Equivalence_Examples
sources:
0fe0f3b87ecebdd26cd71a66041ff46ea4eacffa
5509e4f604397e983cc07a6a4f67b4dfee5d5a1f
71405505afc60fdd14ade81ac50425a3a8039e2a
72315b892efbd2336c2078486b542b73284d5bfb
8405fd109fea665b70746821e961c5f723228be6
85b5b091b210ab178d4ee55d86a5bd4544ac4b3b
860cf660c39c8f4e7e3488c01e349325ba82bd7f
8b865632e05350cffbfb8f4aa9698a5de67828f8
96fd4ec011218dfd591cb1d23446d106edba3681
bcfc1343bf8f4bc7dd44576a0ddd156c0058a4c8
f471cfb89a1fdb016ac9d3c1a8a5d57bb8dd3b22

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
6e537c63d802c0bec001927b9eed65abb991ddcd
f6925d5ba347f030568cd8e7a62478e287f17a31
e8dc4580c32d32c8da036bba8460498f0f592d9a


