# isabelle_session_info

session_name: Tree-Automata
sources:
087a8bf4272df345025ccd0e4fca4134de43fc84
1870f020de3129faafd1aedac9c133b74f8f16ee
1c0286b9f92af61756bc77c363409f25aba8595b
4592185e600fb7146b1b61310aa01dfe60588acb
575be2b199753eeae2a6161bd5238095102c32f8
619f6b8246a487b5525aff0a4d20d64a270ff3f9
70e84d86e16886c1f82c603a41fe69d721a48e71
745b10f59fd8b7501d3e7de1d5559b3773dc2131
7d1b95dd68ecd261456dc46b20faa076287fc375
de99f67245cd832093c0b48899a742ad2a82e388
e397fbfb1d5da7c5e680e15249118d6f9d52e0a9

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
795c1bd37c9a10c78036956c13014edf15a60b39
ebcccb4ce8d9fa24447b254aebab539c14428239
3b834a811160f26c9950bbdf5d1edd0a5921b522


