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 ##Z1 2:Xjx1! Q^S ^J_Nγ)!ImTs ܺ$G^=Q;PvrT %x$#ֆE:n d4'}Zw.+qL?"KlÇRIeVӖySȉĻ?QW5W0%V$S.d!ӼeEU)꼛)GVRzi=GWSMIV\hU]N.w8K;|ۆ=hr_]%%y&>:_?b-j.KoVOoϪrNK.H8 w0|hk+)>'Lk%[u¸ )?Di{e āU/G e7>{FLǭ{|ә *Tj*zu9~Ҥ2PIr]RB͉|" HѺjFlxFO^VnΖn__8Lg&y>,}Mp|`6Rj]x7:z[ڶ%nX4-HG%>Cw i\i:=-I|m1Qǁ+_q2Hz2j^G|#P:^b%~{ٚ-LSC>?SJq޹|P.=I27]閗E'h q><@kcв˪>$TWL{ Ӆv48JU6:t9ԠBIӗrL?ιE5"Ͽn3#gXI̒,}^pL꒠2ss*^yad40.Doz'SPW^/H䁗jހ/pVhyZ\I`kU׉DgkՉ0vaG-/~)+w(^y95!d&CLZ{un5WaYuIaX|2D<䕟 |u~bͱgYZ0a948135ee375ea4a9fde11b1b2e43f711bbfba8 2985b56e92208257adea3966050bf183b257ecaa 43c4aba3fa8fbe8452df3c1a57b29dc018ff53a4 4a3509a5067f69ec582761a878c82629d873caad 5b6f1962f7b26f225598636f9468dfc58eeae340 76bcefd2ca58a529896b0792bd01747990c7413f d54a5383657af702cf1dc794b8843ff9111063b5 e1a001c8f1cae38e8131d767ac65efa5d07f4ccc e4b7116758457dde30f28616086b32c74ccb7ebf9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 1 Tree_Decomposition