# isabelle_session_info

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

input_heaps:
c7c621c8c679c6f81c939be460dee2fbe4c459ff
d97c8eeab5366846f6d9647d2a5501999e294803
b2d312af0499899efd129dfac8d55e9618d67906
008e680231f8175e0a1899cd5e9ca8f1a90003b2
52a3dec85af4a3c9a2602535a223636188fc5f02


