SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info P' t$ ]% Tree-Automata:threads=2elapsed=34.903cpu=61.952gc=2.704factor=1.777zXZִF! ir]ŗXf1-/6vRZyغgЕgQ+m$Q#3dY8lMcK,cOXbyɭf%8q~q(z x[^>ҧMZ2y!8JVHҳ92Xb+V+~ۛY`)aEfLjzK *v-;O,JsѲ #$s|}`]f>sF+ʁ.CmY%d-Wҩj;[fB~7l-#y}h b$0 |9ؐ57_,f/ݩ@Nz6==0{Xs<iKXFΆ|E:ў3v~OO!癹pq?Ș*-YmhJdVgO9B\jVKLǖ^HWEHĞ^MR ɡ($1 .:%=PXm7Ⱦ(+1V3ъYKhEyA {- DN#5jMs9_ PEʉZ2\@kg2:} ם,2 3t;nòt)_Dh O{5)RGnS~W ȹZB( "l9m c~j&IM]F TV^j'F/^4 !x[Vf>)cx 2vP8:+)>H:X&: K ]S4W!7Gg*(kM2I,+{W"](qi^͹b6:űgYZ7zXZִF! N ]ŗXi%6f 2.JňTr?=mjk@|*j;Aaiǝ١)jK9&6j$ evP;U܊7XGyV'"Ԅ?v)5I9מ0T\ `Sr(acի>55){۵ږa) D2-Td"|ѳc+WLM%hUr >fP͏)K!wģfpGd-0 IbFlXqO. *Ys A$=VViOB8!V[]S>B0SbU-ݢO4wf}3/MO쎟ؑ&,ͭIIcW;0ٍC䘴OOfZ[,bJ\>'A("?dۙf{7m2KwTe1֌+-/VrO#J.)dk]@^z$ߪ}͞s^n|2Znd qDN&H=h~`10QHɊ 2--E(uGPCo)B[^3м&$yo5cZWQlۅD$߭~K!B@?3ӸuG7̚Ip: G_?XIqW.jCپM?`#͌A ` i\U5{]r$9^ A,3S+jg]Ћ>1]>낼a#Fv.XGIxWZ 0lExy1ℇ`c0. DžW=BX#ԀMS~ #HK ZuܩIgs0d{ve 2HvVO[|)H⋸_x=K.8w1ZxX ꙓu7$JH슑X)\ND7>&6nGi_%!~1$YlTzU3 iB۩eث1r8{G} iJ9-趚*زf2}*$Zt#ZqαgYZ80468bea2af10c596584e9ca7493755e71eb27ed0a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 9ca4f7fb74afc5f154b6303d43705022aaef39f0 cc1c4ec4fe785614ffea874c259e7d17f07d837b c5709c5c0c0f9d97b0132db50c50fbe787c6c910 ' Tree-Automata