# isabelle_session_info

session_name: Tree-Automata
sources:
0b567dbe31eb696a1ee69503687d09d12abb693f
1870f020de3129faafd1aedac9c133b74f8f16ee
1c0286b9f92af61756bc77c363409f25aba8595b
4592185e600fb7146b1b61310aa01dfe60588acb
5ead8a91e05ff0f4a8e2f5466083f3ba45f3c2b1
61d4bc27aa24967f383bc22cf2b52c227bb88470
624f6bca30125e3ee7ea304918a49de0600b96eb
70e84d86e16886c1f82c603a41fe69d721a48e71
745b10f59fd8b7501d3e7de1d5559b3773dc2131
e397fbfb1d5da7c5e680e15249118d6f9d52e0a9
f72f6d241d22a650ba33220529d50664fcb78a95

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
0b6bf360c9d294e321c171f738cb821c0903d51d
8466ebbd0c9f78b1ae12654b16bb281c4d878c57
97b7f300e0b4079e4148e5b8b1adb1615627614f


