# isabelle_session_info

session_name: Regex_Equivalence
output_heap: 776b80e7668dba23eb3123498c6d7d777dcd8767
sources:
2780af53be01111bec3f2cf4eb38ddd2126e1bd7
2b44293b6dd20a34d66bcdeac57b17e8d0e4c8a8
3d085b2f15013ab9cdd8983b82002e5b7e45d759
5b73e387aee49f1341bd29b64d90d0ffd7199994
5be75f193e816ce0c96027242618360b73e72d9e
5fa0227b70b5fca496a827935c5b9355c7bd2690
6123082d9510c71bf96b10452453388230bb2db6
6b3f34b31437c70042e95bdd0a1d13e4c08cf201
7c63cba2e15c1795d7a385567628f7024ddebaad
851ad684207c6c6f68ee9f2b6b0683326d8eb4c2
8c0efb52f8165feacf5a0bd13efd1575f3693a91
a6d32914e31475e6e7f5602f73bb2e4248d457dd
ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82
bd9fdd951b39941ee506debe24c2917119fad0f7
cd1b1d4e7bfc015c95eb67bfe01364aae6fdf0ff
ea6c88b7bf770ad21d04d2730aa6e0104dad84b7

input_heaps:
0ba1ca971c8be00bf94431f0078936b10d2759a5
0ce03196a7222f6488e31156b520bc36971a656f
839b44e946d25f579f005d34bf2b01c8c50a8382


