# isabelle_session_info

session_name: Regex_Equivalence
output_heap: 7acbd45e786ecab473038b6eb3fa779b75007a0b
sources:
2780af53be01111bec3f2cf4eb38ddd2126e1bd7
29c8f77fa9f7b55ef49bcd884702899c85603e4e
2b44293b6dd20a34d66bcdeac57b17e8d0e4c8a8
52b0aace9d7980c050fa4e0a384a785c607e5f31
5b73e387aee49f1341bd29b64d90d0ffd7199994
5be75f193e816ce0c96027242618360b73e72d9e
5fa0227b70b5fca496a827935c5b9355c7bd2690
7c63cba2e15c1795d7a385567628f7024ddebaad
851ad684207c6c6f68ee9f2b6b0683326d8eb4c2
8c0efb52f8165feacf5a0bd13efd1575f3693a91
97b061e676e9173b1eac47f01f3b6bf0c7fa76ea
a6d32914e31475e6e7f5602f73bb2e4248d457dd
ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82
b3ba9423d2b67585ea70e28b21c0859605a0c6be
bd9fdd951b39941ee506debe24c2917119fad0f7
ea6c88b7bf770ad21d04d2730aa6e0104dad84b7

input_heaps:
8c20d9719dd3c794171052bf139f7df3bda5efd9
787d9064b94856bcceaf7fba7c00dfdb93321f07
0421e1d9e7fe672cb0ddc4007aa564f9dff1312a


