# isabelle_session_info

session_name: Regex_Equivalence_Examples
sources:
0fe0f3b87ecebdd26cd71a66041ff46ea4eacffa
49d41dc5abea0b582a1077eb3fcc6ea5d9a0711f
71405505afc60fdd14ade81ac50425a3a8039e2a
72315b892efbd2336c2078486b542b73284d5bfb
8405fd109fea665b70746821e961c5f723228be6
85b5b091b210ab178d4ee55d86a5bd4544ac4b3b
8b865632e05350cffbfb8f4aa9698a5de67828f8
96fd4ec011218dfd591cb1d23446d106edba3681
c32cdafc820e8361327aa7cc05bb604bd77c4c7c
d5ef92f7170f27bdca75b1ad2388762968b74d84
f471cfb89a1fdb016ac9d3c1a8a5d57bb8dd3b22

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef
3cd36b60b39257bb7e08e85e661201f9ea4e9acf


