# isabelle_session_info

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

input_heaps:
c27a9b4598ca656eb9c36aba33ff1f22941d7b72
64354e2142aad138813a04882ec6c2904dd4a4d3
beb8f9054dc0aa7e99e6a3cfa5f6cd75671a887c
296cc97e2d4b39cb394f472facabd6be0a26f630
7f3152b3d1938c0f14785785d6f4e87442176f96


