# isabelle_session_info

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

input_heaps:
07addc2441fed9b50c84968593d4ab6a353bb724
8db62e28615d4e139a28fa3d5b23cc3a3410b988
2c8670420f1e217147d01cec9bd2eec9fdce3aa3


