# isabelle_session_info

session_name: Tree-Automata
sources: 162cbce7e8396f4ff30532b4bf1c9f748a1575d5
input_heaps:
c3d726d89c950dda47a94cd6c59e05975f526e9c
4182a48763908451de8961309829ff336f2a9af6
41397749331004e6e89a92b9edf427dce3f44ef1
dfae79588919b5834a93298279b56c4625da02e1
38dfe9ed9785bf9e1605dafdceeaaa0aa60f6dd1


