# isabelle_session_info

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

input_heaps:
c7c621c8c679c6f81c939be460dee2fbe4c459ff
c121e04b5193f7bc8e7b1316cf00321a124849d8
5f9cfbb3ee57725a294474ac53472d061591061e


