# isabelle_session_info

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

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
1db62621ad4f2dad0ca02fe9208704a369236541
d07b5b96533f030260cc77371e642f1847a2d541
2bae8fa0dbed7010d9ffb7df3f76fa1ed042871d


