# isabelle_session_info

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

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
e62d7733884c28c7fb0a292b7be70c4f22bfd1a3
9987eeffaa47768225e03a8dbb99ff4465196cd4
7019a16803b89683be990817f3b3c411a9426f3f
9e9a03e109527f30dfe18211065d8061469f5cb1


